at_defns

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class at_defns

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.at_defns

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class at_defns
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`SubLTranslatedFile.SubL`

Field Summary
`static SubLSymbol`	$cache_suf_defn_meters$
`static SubLSymbol`	$cache_suf_function_meters$
`static SubLSymbol`	$cache_suf_quoted_defn_meters$
`static SubLObject`	`$const114$InferencePSC`
`static SubLObject`	`$const115$Function_Denotational`
`static SubLObject`	`$const116$SpecsFn`
`static SubLObject`	`$const118$EverythingPSC`
`static SubLObject`	`$const120$isa`
`static SubLObject`	`$const124$disjointWith`
`static SubLObject`	`$const126$defnSufficient`
`static SubLObject`	`$const23$defnIff`
`static SubLObject`	`$const230$evaluationResultQuotedIsa`
`static SubLObject`	`$const286$SkolemFunction`
`static SubLObject`	`$const50$genls`
`static SubLObject`	`$const59$defnNecessary`
`static SubLObject`	`$const74$quotedDefnIff`
`static SubLObject`	`$const88$quotedDefnNecessary`
`static SubLSymbol`	$defining_defns_status_meters$
`static SubLSymbol`	$defn_admits_intP_meters$
`static SubLSymbol`	$handle_added_genl_for_suf_functions_meters$
`static SubLSymbol`	$handle_removed_genl_for_suf_functions_meters$
`static SubLInteger`	`$int105$24`
`static SubLInteger`	`$int125$64`
`static SubLInteger`	`$int132$27`
`static SubLInteger`	`$int144$46`
`static SubLInteger`	`$int147$37`
`static SubLSymbol`	`$kw1$ADMITTED`
`static SubLSymbol`	`$kw106$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw11$FUNCTION`
`static SubLSymbol`	`$kw119$ISA`
`static SubLSymbol`	`$kw121$GENLS`
`static SubLSymbol`	`$kw122$DEFN`
`static SubLSymbol`	`$kw123$DISJOINTWITH`
`static SubLSymbol`	`$kw13$RESET`
`static SubLSymbol`	`$kw2$REJECTED`
`static SubLSymbol`	`$kw225$QUOTED_ISA`
`static SubLSymbol`	`$kw24$TRUE`
`static SubLSymbol`	`$kw25$VIA_GENL_PRED`
`static SubLSymbol`	`$kw26$AT_CONSTRAINT_GAF`
`static SubLSymbol`	`$kw27$MAL_ARG_WRT_QUOTED_IFF_DEFN`
`static SubLSymbol`	`$kw278$MAPPING_DONE`
`static SubLSymbol`	`$kw28$MAL_ARG_WRT_IFF_DEFN`
`static SubLSymbol`	`$kw33$MAL_ARG_WRT_QUOTED_SUF_DEFNS`
`static SubLSymbol`	`$kw34$MAL_ARG_WRT_SUF_DEFNS`
`static SubLSymbol`	`$kw39$BREADTH`
`static SubLSymbol`	`$kw40$QUEUE`
`static SubLSymbol`	`$kw41$STACK`
`static SubLSymbol`	`$kw43$ERROR`
`static SubLSymbol`	`$kw46$CERROR`
`static SubLSymbol`	`$kw48$WARN`
`static SubLSymbol`	`$kw5$CALLS`
`static SubLSymbol`	`$kw54$GAF`
`static SubLSymbol`	`$kw6$TIMES`
`static SubLSymbol`	`$kw60$MAL_ARG_WRT_QUOTED_NEC_DEFN`
`static SubLSymbol`	`$kw61$MAL_ARG_WRT_NEC_DEFN`
`static SubLSymbol`	`$kw7$RESULTS`
`static SubLSymbol`	`$kw8$ARGS`
`static SubLSymbol`	`$kw9$ARG_LIST`
`static SubLList`	`$list10`
`static SubLList`	`$list112`
`static SubLList`	`$list166`
`static SubLList`	`$list177`
`static SubLList`	`$list191`
`static SubLList`	`$list223`
`static SubLList`	`$list238`
`static SubLList`	`$list255`
`static SubLList`	`$list272`
`static SubLList`	`$list273`
`static SubLList`	`$list51`
`static SubLList`	`$list83`
`static SubLList`	`$list93`
`static SubLSymbol`	$necessary_defns_rejectP_meters$
`static SubLSymbol`	$old_defns_admitP_meters$
`static SubLSymbol`	$old_defns_rejectP_meters$
`static SubLSymbol`	$old_handle_added_genl_for_suf_defns_meters$
`static SubLSymbol`	$old_handle_added_genl_for_suf_quoted_defns_meters$
`static SubLSymbol`	$old_handle_removed_genl_for_suf_defns_meters$
`static SubLSymbol`	$old_handle_removed_genl_for_suf_quoted_defns_meters$
`static SubLSymbol`	$old_quoted_defns_admitP_meters$
`static SubLSymbol`	$old_quoted_defns_rejectP_meters$
`static SubLSymbol`	$quoted_defining_defns_status_meters$
`static SubLSymbol`	$quoted_defn_admits_intP_meters$
`static SubLSymbol`	$quoted_necessary_defns_rejectP_meters$
`static SubLSymbol`	$quoted_sufficient_defns_admitP_meters$
`static SubLSymbol`	$rejected_by_necessary_defns_meters$
`static SubLSymbol`	$rejected_by_quoted_necessary_defns_meters$
`static SubLString`	`$str0$___remove_sufficent_defn__a__a_`
`static SubLString`	`$str100$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str107$_s_has_invalid_defn___s`
`static SubLString`	`$str108$invalid_defn___s`
`static SubLString`	`$str109$_s_has_non_viable_defn___s`
`static SubLString`	`$str110$non_viable_defn___s`
`static SubLString`	`$str129$__warn__`
`static SubLString`	`$str131$____defn_module_meters_`
`static SubLString`	`$str133$_`
`static SubLString`	`$str134$_____a__`
`static SubLString`	`$str135$function`
`static SubLString`	`$str136$___calls___`
`static SubLString`	`$str137$___total_time___`
`static SubLString`	`$str138$____avg_time____`
`static SubLString`	`$str139$_s`
`static SubLString`	`$str141$____a___`
`static SubLString`	`$str142$_a`
`static SubLString`	`$str143$_`
`static SubLString`	`$str145$_s_`
`static SubLString`	`$str146$_____a`
`static SubLString`	`$str148$______call__`
`static SubLString`	`$str149$____a___`
`static SubLString`	`$str150$____result____`
`static SubLString`	`$str151$_____time_____`
`static SubLString`	`$str152$____a`
`static SubLString`	`$str153$total`
`static SubLString`	`$str157$skip_defn_op`
`static SubLString`	`$str158$_s_is_not_a_collection_in__s`
`static SubLString`	`$str159$_s_is_not_a_symbol`
`static SubLString`	`$str16$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str165$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str170$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str173$___add_sufficent_defn__a__a_`
`static SubLString`	`$str174$removed_sufficient_defn_not_found`
`static SubLString`	`$str176$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str181$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str192$Initializing_sufficient_defns_cac`
`static SubLString`	`$str195$skip_quoted_defn_op`
`static SubLString`	`$str20$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str201$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str205$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str208$___add_sufficent_quoted_defn__a__`
`static SubLString`	`$str209$removed_sufficient_quoted_defn_no`
`static SubLString`	`$str210$___remove_sufficent_quoted_defn__`
`static SubLString`	`$str212$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str216$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str224$Initializing_sufficient_quoted_de`
`static SubLString`	`$str231$oh_well___`
`static SubLString`	`$str232$_s_is_not_a_evaluatable_functor_i`
`static SubLString`	`$str233$_s_is_not_a_functor_in__s`
`static SubLString`	`$str237$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str242$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str245$____a__a__a_`
`static SubLString`	`$str246$add_sufficient_function`
`static SubLString`	`$str247$add_sufficient_quoted_function`
`static SubLString`	`$str248$removed_sufficient_function_not_f`
`static SubLString`	`$str249$remove_sufficient_function`
`static SubLString`	`$str250$remove_sufficient_quoted_function`
`static SubLString`	`$str252$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str257$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str268$___add_sufficent_function__a__a_`
`static SubLString`	`$str269$remove_sufficent_function`
`static SubLString`	`$str274$Initializing_sufficient_functions`
`static SubLString`	`$str275$Initializing_sufficient_quoted_fu`
`static SubLString`	`$str276$cdohash`
`static SubLString`	`$str277$stop`
`static SubLString`	`$str279$diagnostics__sufficient_functions`
`static SubLString`	`$str280$___suf_function_cache_mal_keys___`
`static SubLString`	`$str281$___suf_function_cache_key_w_o_val`
`static SubLString`	`$str282$___suf_function_cache_key_w_mal_v`
`static SubLString`	`$str283$___suf_function_cache_key_w_stale`
`static SubLString`	`$str284$___suf_function_cache_keys_w_o_in`
`static SubLString`	`$str285$___suf_function_cache_awol_direct`
`static SubLString`	`$str287$mapping_skolems`
`static SubLString`	`$str288$_a_`
`static SubLString`	`$str30$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str36$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str4$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str44$_A_is_not_a__A`
`static SubLString`	`$str47$continue_anyway`
`static SubLString`	`$str49$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str52$attempting_to_bind_direction_link`
`static SubLString`	`$str53$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str56$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str63$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str67$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str71$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str76$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str80$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str85$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str89$defn_stack_consistency_error___Ex`
`static SubLString`	`$str90$recursive_call_of_defn__a_with_ar`
`static SubLString`	`$str92$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str96$__defn_test__term__s__defn__s_of_`
`static SubLString`	`$str97$__defn_test__term__s__defn__s_of_`
`static SubLString`	`$str98$recursive_call_of_quoted_defn__a_`
`static SubLSymbol`	$sufficient_defns_admitP_meters$
`static SubLSymbol`	`$sym101$QUOTED_DEFN_ADMITS_INT_`
`static SubLSymbol`	`$sym102$RESET_QUOTED_DEFN_ADMITS_INT__METERS`
`static SubLSymbol`	`$sym103$DEFN_CYC_EVALUATE`
`static SubLSymbol`	`$sym104$_DEFN_CYC_EVALUATE_CACHING_STATE_`
`static SubLSymbol`	`$sym111$CYC_VAR_`
`static SubLSymbol`	`$sym113$QUIET_HAS_TYPE_MEMOIZED_`
`static SubLSymbol`	`$sym117$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym12$OLD_DEFNS_ADMIT_`
`static SubLSymbol`	`$sym127$COLLECTIONS_ADMITTING_TERM_VIA_DEFNS_1`
`static SubLSymbol`	`$sym128$GATHER_COLLECTIONS_ADMITTING_VIA_DEFNS`
`static SubLSymbol`	`$sym130$WARN`
`static SubLSymbol`	`$sym14$RESET_OLD_DEFNS_ADMIT__METERS`
`static SubLSymbol`	`$sym140$_`
`static SubLSymbol`	`$sym15$_OLD_DEFNS_REJECT__METERS_`
`static SubLSymbol`	`$sym154$ADD_SUF_DEFN`
`static SubLSymbol`	`$sym155$ADD_IFF_DEFN`
`static SubLSymbol`	`$sym156$RELEVANT_MT_IS_GENL_MT`
`static SubLSymbol`	`$sym160$OLD_ADD_SUF_DEFN`
`static SubLSymbol`	`$sym161$REMOVE_SUF_DEFN`
`static SubLSymbol`	`$sym162$REMOVE_IFF_DEFN`
`static SubLSymbol`	`$sym163$OLD_REMOVE_SUF_DEFN`
`static SubLSymbol`	`$sym164$_CACHE_SUF_DEFN_METERS_`
`static SubLSymbol`	`$sym167$CACHE_SUF_DEFN`
`static SubLSymbol`	`$sym168$RESET_CACHE_SUF_DEFN_METERS`
`static SubLSymbol`	`$sym169$_UNCACHE_SUF_DEFN_METERS_`
`static SubLSymbol`	`$sym17$OLD_DEFNS_REJECT_`
`static SubLSymbol`	`$sym171$UNCACHE_SUF_DEFN`
`static SubLSymbol`	`$sym172$RESET_UNCACHE_SUF_DEFN_METERS`
`static SubLSymbol`	`$sym175$_OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS_`
`static SubLSymbol`	`$sym178$OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS`
`static SubLSymbol`	`$sym179$RESET_OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS`
`static SubLSymbol`	`$sym18$RESET_OLD_DEFNS_REJECT__METERS`
`static SubLSymbol`	`$sym180$_OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS_`
`static SubLSymbol`	`$sym182$OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS`
`static SubLSymbol`	`$sym183$RESET_OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS`
`static SubLSymbol`	`$sym184$ADD_SUF_DEFN_ASSERTION`
`static SubLSymbol`	`$sym185$REMOVE_SUF_DEFN_ASSERTION`
`static SubLSymbol`	`$sym186$MERGE_SUF_DEFN_ASSERTIONS`
`static SubLSymbol`	`$sym187$REMOVE_SUF_DEFN_ASSERTIONS`
`static SubLSymbol`	`$sym188$VALID_ASSERTION`
`static SubLSymbol`	`$sym189$_`
`static SubLSymbol`	`$sym19$_DEFINING_DEFNS_STATUS_METERS_`
`static SubLSymbol`	`$sym190$ARG1_SPEC_CARDINALITY`
`static SubLSymbol`	`$sym193$ADD_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym194$ADD_IFF_QUOTED_DEFN`
`static SubLSymbol`	`$sym196$OLD_ADD_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym197$REMOVE_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym198$REMOVE_IFF_QUOTED_DEFN`
`static SubLSymbol`	`$sym199$OLD_REMOVE_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym200$_CACHE_SUF_QUOTED_DEFN_METERS_`
`static SubLSymbol`	`$sym202$CACHE_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym203$RESET_CACHE_SUF_QUOTED_DEFN_METERS`
`static SubLSymbol`	`$sym204$_UNCACHE_SUF_QUOTED_DEFN_METERS_`
`static SubLSymbol`	`$sym206$UNCACHE_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym207$RESET_UNCACHE_SUF_QUOTED_DEFN_METERS`
`static SubLSymbol`	`$sym21$DEFINING_DEFNS_STATUS`
`static SubLSymbol`	`$sym211$_OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_`
`static SubLSymbol`	`$sym213$OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS`
`static SubLSymbol`	`$sym214$RESET_OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS`
`static SubLSymbol`	`$sym215$_OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_`
`static SubLSymbol`	`$sym217$OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS`
`static SubLSymbol`	`$sym218$RESET_OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS`
`static SubLSymbol`	`$sym219$ADD_SUF_QUOTED_DEFN_ASSERTION`
`static SubLSymbol`	`$sym22$RESET_DEFINING_DEFNS_STATUS_METERS`
`static SubLSymbol`	`$sym220$REMOVE_SUF_QUOTED_DEFN_ASSERTION`
`static SubLSymbol`	`$sym221$MERGE_SUF_QUOTED_DEFN_ASSERTIONS`
`static SubLSymbol`	`$sym222$REMOVE_SUF_QUOTED_DEFN_ASSERTIONS`
`static SubLSymbol`	`$sym226$ADD_SUF_FUNCTION`
`static SubLSymbol`	`$sym227$REMOVE_SUF_FUNCTION`
`static SubLSymbol`	`$sym228$ADD_SUF_QUOTED_FUNCTION`
`static SubLSymbol`	`$sym229$REMOVE_SUF_QUOTED_FUNCTION`
`static SubLSymbol`	`$sym234$ADD_SUF_FUNCTION_INT`
`static SubLSymbol`	`$sym235$REMOVE_SUF_FUNCTION_INT`
`static SubLSymbol`	`$sym236$_CACHE_SUF_FUNCTION_METERS_`
`static SubLSymbol`	`$sym239$CACHE_SUF_FUNCTION`
`static SubLSymbol`	`$sym240$RESET_CACHE_SUF_FUNCTION_METERS`
`static SubLSymbol`	`$sym241$_UNCACHE_SUF_FUNCTION_METERS_`
`static SubLSymbol`	`$sym243$UNCACHE_SUF_FUNCTION`
`static SubLSymbol`	`$sym244$RESET_UNCACHE_SUF_FUNCTION_METERS`
`static SubLSymbol`	`$sym251$_HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS_METERS_`
`static SubLSymbol`	`$sym253$HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS`
`static SubLSymbol`	`$sym254$RESET_HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS_METERS`
`static SubLSymbol`	`$sym256$_HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS_METERS_`
`static SubLSymbol`	`$sym258$HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS`
`static SubLSymbol`	`$sym259$RESET_HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS_METERS`
`static SubLSymbol`	`$sym260$ADD_SUF_FUNCTION_ASSERTION`
`static SubLSymbol`	`$sym261$ADD_SUF_QUOTED_FUNCTION_ASSERTION`
`static SubLSymbol`	`$sym262$REMOVE_SUF_FUNCTION_ASSERTION`
`static SubLSymbol`	`$sym263$REMOVE_SUF_QUOTED_FUNCTION_ASSERTION`
`static SubLSymbol`	`$sym264$MERGE_SUF_FUNCTION_ASSERTIONS`
`static SubLSymbol`	`$sym265$MERGE_SUF_QUOTED_FUNCTION_ASSERTIONS`
`static SubLSymbol`	`$sym266$REMOVE_SUF_FUNCTION_ASSERTIONS`
`static SubLSymbol`	`$sym267$REMOVE_SUF_QUOTED_FUNCTION_ASSERTIONS`
`static SubLSymbol`	`$sym270$SUF_FUNCTION_SORT_PRED`
`static SubLSymbol`	`$sym271$GAF_ARG2`
`static SubLSymbol`	`$sym29$_SUFFICIENT_DEFNS_ADMIT__METERS_`
`static SubLSymbol`	`$sym3$_OLD_DEFNS_ADMIT__METERS_`
`static SubLSymbol`	`$sym31$SUFFICIENT_DEFNS_ADMIT_`
`static SubLSymbol`	`$sym32$RESET_SUFFICIENT_DEFNS_ADMIT__METERS`
`static SubLSymbol`	`$sym35$_NECESSARY_DEFNS_REJECT__METERS_`
`static SubLSymbol`	`$sym37$NECESSARY_DEFNS_REJECT_`
`static SubLSymbol`	`$sym38$RESET_NECESSARY_DEFNS_REJECT__METERS`
`static SubLSymbol`	`$sym42$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym45$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym55$_REJECTED_BY_NECESSARY_DEFNS_METERS_`
`static SubLSymbol`	`$sym57$REJECTED_BY_NECESSARY_DEFNS`
`static SubLSymbol`	`$sym58$RESET_REJECTED_BY_NECESSARY_DEFNS_METERS`
`static SubLSymbol`	`$sym62$_OLD_QUOTED_DEFNS_ADMIT__METERS_`
`static SubLSymbol`	`$sym64$OLD_QUOTED_DEFNS_ADMIT_`
`static SubLSymbol`	`$sym65$RESET_OLD_QUOTED_DEFNS_ADMIT__METERS`
`static SubLSymbol`	`$sym66$_OLD_QUOTED_DEFNS_REJECT__METERS_`
`static SubLSymbol`	`$sym68$OLD_QUOTED_DEFNS_REJECT_`
`static SubLSymbol`	`$sym69$RESET_OLD_QUOTED_DEFNS_REJECT__METERS`
`static SubLSymbol`	`$sym70$_QUOTED_DEFINING_DEFNS_STATUS_METERS_`
`static SubLSymbol`	`$sym72$QUOTED_DEFINING_DEFNS_STATUS`
`static SubLSymbol`	`$sym73$RESET_QUOTED_DEFINING_DEFNS_STATUS_METERS`
`static SubLSymbol`	`$sym75$_QUOTED_SUFFICIENT_DEFNS_ADMIT__METERS_`
`static SubLSymbol`	`$sym77$QUOTED_SUFFICIENT_DEFNS_ADMIT_`
`static SubLSymbol`	`$sym78$RESET_QUOTED_SUFFICIENT_DEFNS_ADMIT__METERS`
`static SubLSymbol`	`$sym79$_QUOTED_NECESSARY_DEFNS_REJECT__METERS_`
`static SubLSymbol`	`$sym81$QUOTED_NECESSARY_DEFNS_REJECT_`
`static SubLSymbol`	`$sym82$RESET_QUOTED_NECESSARY_DEFNS_REJECT__METERS`
`static SubLSymbol`	`$sym84$_REJECTED_BY_QUOTED_NECESSARY_DEFNS_METERS_`
`static SubLSymbol`	`$sym86$REJECTED_BY_QUOTED_NECESSARY_DEFNS`
`static SubLSymbol`	`$sym87$RESET_REJECTED_BY_QUOTED_NECESSARY_DEFNS_METERS`
`static SubLSymbol`	`$sym91$_DEFN_ADMITS_INT__METERS_`
`static SubLSymbol`	`$sym94$DEFN_ADMITS_INT_`
`static SubLSymbol`	`$sym95$RESET_DEFN_ADMITS_INT__METERS`
`static SubLSymbol`	`$sym99$_QUOTED_DEFN_ADMITS_INT__METERS_`
`static SubLSymbol`	$uncache_suf_defn_meters$
`static SubLSymbol`	$uncache_suf_function_meters$
`static SubLSymbol`	$uncache_suf_quoted_defn_meters$
`static SubLSymbol`	$use_new_defns_functionsP$
`static SubLFile`	`me`
`static java.lang.String`	`myName`

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`EMPTY_SUBL_OBJECT_ARRAY`

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary
`static SubLObject`	`any_sufficient_defn_anywhereP(SubLObject collection)`
`static SubLObject`	`any_sufficient_quoted_defn_anywhereP(SubLObject collection)`
`static SubLObject`	`at_denotational_term_p(SubLObject v_term, SubLObject varP)`
`static SubLObject`	`clear_defn_cyc_evaluate()`
`static SubLObject`	`clear_defn_space()`
`static SubLObject`	`clear_suf_defns()`
`static SubLObject`	`clear_suf_functions()`
`static SubLObject`	`clear_suf_quoted_defns()`
`static SubLObject`	`clear_suf_quoted_functions()`
`static SubLObject`	`collection_specific_defnP(SubLObject symbol)`
`static SubLObject`	`declare_at_defns_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`defn_admits_intP_metered(SubLObject defn, SubLObject v_term, SubLObject collection)`
`static SubLObject`	`defn_admits_intP(SubLObject defn, SubLObject v_term, SubLObject collection)`
`static SubLObject`	`defn_admitsP(SubLObject defn, SubLObject v_term, SubLObject collection, SubLObject mt)` does defn of collection admit ?
`static SubLObject`	`defn_funcall(SubLObject defn, SubLObject v_term)` Funcall DEFN on TERM, which returns non-NIL on success.
`static SubLObject`	`defn_history(SubLObject defn)`
`static SubLObject`	`defn_note(SubLObject level, SubLObject format_str, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5, SubLObject arg6)`
`static SubLObject`	`defn_stack_pop(SubLObject defn, SubLObject expected_term)`
`static SubLObject`	`defn_stack_push(SubLObject defn, SubLObject v_term)`
`static SubLObject`	`defns_admitP(SubLObject collection, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`defns_rejectP(SubLObject collection, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`denotational_term_admitted_by_defn_via_isaP(SubLObject v_term, SubLObject collection, SubLObject mt)`
`static SubLObject`	`denotational_term_admitted_by_quoted_defn_via_quoted_isaP(SubLObject v_term, SubLObject collection, SubLObject mt)`
`static SubLObject`	`get_defn_fn_history(SubLObject defn)`
`static SubLObject`	`get_quoted_defn_fn_history(SubLObject defn)`
`static SubLObject`	`get_suf_function_assertions(SubLObject collection, SubLObject type)`
`static SubLObject`	`handle_added_genl_for_suf_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`handle_added_genl_for_suf_functions_metered(SubLObject spec, SubLObject genl)`
`static SubLObject`	`handle_added_genl_for_suf_functions(SubLObject spec, SubLObject genl)`
`static SubLObject`	`handle_added_genl_for_suf_quoted_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`handle_removed_genl_for_suf_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`handle_removed_genl_for_suf_functions_metered(SubLObject spec, SubLObject genl)`
`static SubLObject`	`handle_removed_genl_for_suf_functions(SubLObject spec, SubLObject genl)`
`static SubLObject`	`handle_removed_genl_for_suf_quoted_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`has_typeP(SubLObject v_term, SubLObject collection, SubLObject mt)`
`static SubLObject`	`init_at_defns_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`new_defn_stack()`
`static SubLObject`	`quiet_defn_admitsP(SubLObject defn, SubLObject v_term, SubLObject collection, SubLObject mt)` see if defn of collection admits ; don't generate violation messages (e.g., for sufficient defns)
`static SubLObject`	`quiet_defns_admitP(SubLObject collection, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`quiet_has_type_memoizedP_internal(SubLObject v_term, SubLObject collection, SubLObject mt, SubLObject mt_info)`
`static SubLObject`	`quiet_has_type_memoizedP(SubLObject v_term, SubLObject collection, SubLObject mt, SubLObject mt_info)`
`static SubLObject`	`quiet_has_typeP(SubLObject v_term, SubLObject collection, SubLObject mt)`
`static SubLObject`	`quiet_sufficient_defns_admitP(SubLObject collection, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`quoted_defn_admits_intP_metered(SubLObject defn, SubLObject v_term, SubLObject collection)`
`static SubLObject`	`quoted_defn_admits_intP(SubLObject defn, SubLObject v_term, SubLObject collection)`
`static SubLObject`	`quoted_defn_admitsP(SubLObject defn, SubLObject v_term, SubLObject collection, SubLObject mt)` does defn of collection admit ?
`static SubLObject`	`quoted_defn_history(SubLObject defn)`
`static SubLObject`	`quoted_defns_admitP(SubLObject collection, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`quoted_has_typeP(SubLObject v_term, SubLObject collection, SubLObject mt)`
`static SubLObject`	`recursive_defn_callP(SubLObject defn, SubLObject v_term)`
`static SubLObject`	`reset_cache_suf_defn_meters()`
`static SubLObject`	`reset_cache_suf_function_meters()`
`static SubLObject`	`reset_cache_suf_quoted_defn_meters()`
`static SubLObject`	`reset_defining_defns_status_meters()`
`static SubLObject`	`reset_defn_admits_intP_meters()`
`static SubLObject`	`reset_handle_added_genl_for_suf_functions_meters()`
`static SubLObject`	`reset_handle_removed_genl_for_suf_functions_meters()`
`static SubLObject`	`reset_necessary_defns_rejectP_meters()`
`static SubLObject`	`reset_old_defns_admitP_meters()`
`static SubLObject`	`reset_old_defns_rejectP_meters()`
`static SubLObject`	`reset_old_handle_added_genl_for_suf_defns_meters()`
`static SubLObject`	`reset_old_handle_added_genl_for_suf_quoted_defns_meters()`
`static SubLObject`	`reset_old_handle_removed_genl_for_suf_defns_meters()`
`static SubLObject`	`reset_old_handle_removed_genl_for_suf_quoted_defns_meters()`
`static SubLObject`	`reset_old_quoted_defns_admitP_meters()`
`static SubLObject`	`reset_old_quoted_defns_rejectP_meters()`
`static SubLObject`	`reset_quoted_defining_defns_status_meters()`
`static SubLObject`	`reset_quoted_defn_admits_intP_meters()`
`static SubLObject`	`reset_quoted_necessary_defns_rejectP_meters()`
`static SubLObject`	`reset_quoted_sufficient_defns_admitP_meters()`
`static SubLObject`	`reset_rejected_by_necessary_defns_meters()`
`static SubLObject`	`reset_rejected_by_quoted_necessary_defns_meters()`
`static SubLObject`	`reset_sufficient_defns_admitP_meters()`
`static SubLObject`	`reset_uncache_suf_defn_meters()`
`static SubLObject`	`reset_uncache_suf_function_meters()`
`static SubLObject`	`reset_uncache_suf_quoted_defn_meters()`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_defn_fn_history(SubLObject defn, SubLObject result)`
`static SubLObject`	`setup_at_defns_file()`
`static SubLObject`	`suf_function_assertions(SubLObject collection, SubLObject type)`
`static SubLObject`	`suf_function_cache(SubLObject type)`
`static SubLObject`	`valid_defnP(SubLObject defn, SubLObject defn_collection)` return T iff DEFN is a valid defn
`static SubLObject`	`viable_defnP(SubLObject defn, SubLObject defn_collection)` return T iff DEFN is a viable defn

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`extractFunctionNamed`

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
`checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main`

Methods inherited from class java.lang.Object
`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:: Constant Field Values

$use_new_defns_functionsP$

public static SubLSymbol $use_new_defns_functionsP$

$old_defns_admitP_meters$

public static SubLSymbol $old_defns_admitP_meters$

$old_defns_rejectP_meters$

public static SubLSymbol $old_defns_rejectP_meters$

$defining_defns_status_meters$

public static SubLSymbol $defining_defns_status_meters$

$sufficient_defns_admitP_meters$

public static SubLSymbol $sufficient_defns_admitP_meters$

$necessary_defns_rejectP_meters$

public static SubLSymbol $necessary_defns_rejectP_meters$

$rejected_by_necessary_defns_meters$

public static SubLSymbol $rejected_by_necessary_defns_meters$

$old_quoted_defns_admitP_meters$

public static SubLSymbol $old_quoted_defns_admitP_meters$

$old_quoted_defns_rejectP_meters$

public static SubLSymbol $old_quoted_defns_rejectP_meters$

$quoted_defining_defns_status_meters$

public static SubLSymbol $quoted_defining_defns_status_meters$

$quoted_sufficient_defns_admitP_meters$

public static SubLSymbol $quoted_sufficient_defns_admitP_meters$

$quoted_necessary_defns_rejectP_meters$

public static SubLSymbol $quoted_necessary_defns_rejectP_meters$

$rejected_by_quoted_necessary_defns_meters$

public static SubLSymbol $rejected_by_quoted_necessary_defns_meters$

$defn_admits_intP_meters$

public static SubLSymbol $defn_admits_intP_meters$

$quoted_defn_admits_intP_meters$

public static SubLSymbol $quoted_defn_admits_intP_meters$

$cache_suf_defn_meters$

public static SubLSymbol $cache_suf_defn_meters$

$uncache_suf_defn_meters$

public static SubLSymbol $uncache_suf_defn_meters$

$old_handle_added_genl_for_suf_defns_meters$

public static SubLSymbol $old_handle_added_genl_for_suf_defns_meters$

$old_handle_removed_genl_for_suf_defns_meters$

public static SubLSymbol $old_handle_removed_genl_for_suf_defns_meters$

$cache_suf_quoted_defn_meters$

public static SubLSymbol $cache_suf_quoted_defn_meters$

$uncache_suf_quoted_defn_meters$

public static SubLSymbol $uncache_suf_quoted_defn_meters$

$old_handle_added_genl_for_suf_quoted_defns_meters$

public static SubLSymbol $old_handle_added_genl_for_suf_quoted_defns_meters$

$old_handle_removed_genl_for_suf_quoted_defns_meters$

public static SubLSymbol $old_handle_removed_genl_for_suf_quoted_defns_meters$

$cache_suf_function_meters$

public static SubLSymbol $cache_suf_function_meters$

$uncache_suf_function_meters$

public static SubLSymbol $uncache_suf_function_meters$

$handle_added_genl_for_suf_functions_meters$

public static SubLSymbol $handle_added_genl_for_suf_functions_meters$

$handle_removed_genl_for_suf_functions_meters$

public static SubLSymbol $handle_removed_genl_for_suf_functions_meters$

$str0$___remove_sufficent_defnaa_

public static final SubLString $str0$___remove_sufficent_defn__a__a_

$kw1$ADMITTED

public static final SubLSymbol $kw1$ADMITTED

$kw2$REJECTED

public static final SubLSymbol $kw2$REJECTED

$sym3$_OLD_DEFNS_ADMIT__METERS_

public static final SubLSymbol $sym3$_OLD_DEFNS_ADMIT__METERS_

$str4$metering_cache_for_calls_to_defn_

public static final SubLString $str4$metering_cache_for_calls_to_defn_

$kw5$CALLS

public static final SubLSymbol $kw5$CALLS

$kw6$TIMES

public static final SubLSymbol $kw6$TIMES

$kw7$RESULTS

public static final SubLSymbol $kw7$RESULTS

$kw8$ARGS

public static final SubLSymbol $kw8$ARGS

$kw9$ARG_LIST

public static final SubLSymbol $kw9$ARG_LIST

$list10

public static final SubLList $list10

$kw11$FUNCTION

public static final SubLSymbol $kw11$FUNCTION

$sym12$OLD_DEFNS_ADMIT_

public static final SubLSymbol $sym12$OLD_DEFNS_ADMIT_

$kw13$RESET

public static final SubLSymbol $kw13$RESET

$sym14$RESET_OLD_DEFNS_ADMIT__METERS

public static final SubLSymbol $sym14$RESET_OLD_DEFNS_ADMIT__METERS

$sym15$_OLD_DEFNS_REJECT__METERS_

public static final SubLSymbol $sym15$_OLD_DEFNS_REJECT__METERS_

$str16$metering_cache_for_calls_to_defn_

public static final SubLString $str16$metering_cache_for_calls_to_defn_

$sym17$OLD_DEFNS_REJECT_

public static final SubLSymbol $sym17$OLD_DEFNS_REJECT_

$sym18$RESET_OLD_DEFNS_REJECT__METERS

public static final SubLSymbol $sym18$RESET_OLD_DEFNS_REJECT__METERS

$sym19$_DEFINING_DEFNS_STATUS_METERS_

public static final SubLSymbol $sym19$_DEFINING_DEFNS_STATUS_METERS_

$str20$metering_cache_for_calls_to_defn_

public static final SubLString $str20$metering_cache_for_calls_to_defn_

$sym21$DEFINING_DEFNS_STATUS

public static final SubLSymbol $sym21$DEFINING_DEFNS_STATUS

$sym22$RESET_DEFINING_DEFNS_STATUS_METERS

public static final SubLSymbol $sym22$RESET_DEFINING_DEFNS_STATUS_METERS

$const23$defnIff

public static final SubLObject $const23$defnIff

$kw24$TRUE

public static final SubLSymbol $kw24$TRUE

$kw25$VIA_GENL_PRED

public static final SubLSymbol $kw25$VIA_GENL_PRED

$kw26$AT_CONSTRAINT_GAF

public static final SubLSymbol $kw26$AT_CONSTRAINT_GAF

$kw27$MAL_ARG_WRT_QUOTED_IFF_DEFN

public static final SubLSymbol $kw27$MAL_ARG_WRT_QUOTED_IFF_DEFN

$kw28$MAL_ARG_WRT_IFF_DEFN

public static final SubLSymbol $kw28$MAL_ARG_WRT_IFF_DEFN

$sym29$_SUFFICIENT_DEFNS_ADMIT__METERS_

public static final SubLSymbol $sym29$_SUFFICIENT_DEFNS_ADMIT__METERS_

$str30$metering_cache_for_calls_to_defn_

public static final SubLString $str30$metering_cache_for_calls_to_defn_

$sym31$SUFFICIENT_DEFNS_ADMIT_

public static final SubLSymbol $sym31$SUFFICIENT_DEFNS_ADMIT_

$sym32$RESET_SUFFICIENT_DEFNS_ADMIT__METERS

public static final SubLSymbol $sym32$RESET_SUFFICIENT_DEFNS_ADMIT__METERS

$kw33$MAL_ARG_WRT_QUOTED_SUF_DEFNS

public static final SubLSymbol $kw33$MAL_ARG_WRT_QUOTED_SUF_DEFNS

$kw34$MAL_ARG_WRT_SUF_DEFNS

public static final SubLSymbol $kw34$MAL_ARG_WRT_SUF_DEFNS

$sym35$_NECESSARY_DEFNS_REJECT__METERS_

public static final SubLSymbol $sym35$_NECESSARY_DEFNS_REJECT__METERS_

$str36$metering_cache_for_calls_to_defn_

public static final SubLString $str36$metering_cache_for_calls_to_defn_

$sym37$NECESSARY_DEFNS_REJECT_

public static final SubLSymbol $sym37$NECESSARY_DEFNS_REJECT_

$sym38$RESET_NECESSARY_DEFNS_REJECT__METERS

public static final SubLSymbol $sym38$RESET_NECESSARY_DEFNS_REJECT__METERS

$kw39$BREADTH

public static final SubLSymbol $kw39$BREADTH

$kw40$QUEUE

public static final SubLSymbol $kw40$QUEUE

$kw41$STACK

public static final SubLSymbol $kw41$STACK

$sym42$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym42$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw43$ERROR

public static final SubLSymbol $kw43$ERROR

$str44$_A_is_not_a__A

public static final SubLString $str44$_A_is_not_a__A

$sym45$SBHL_TRUE_TV_P

public static final SubLSymbol $sym45$SBHL_TRUE_TV_P

$kw46$CERROR

public static final SubLSymbol $kw46$CERROR

$str47$continue_anyway

public static final SubLString $str47$continue_anyway

$kw48$WARN

public static final SubLSymbol $kw48$WARN

$str49$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str49$_A_is_not_a_valid__sbhl_type_erro

$const50$genls

public static final SubLObject $const50$genls

$list51

public static final SubLList $list51

$str52$attempting_to_bind_direction_link

public static final SubLString $str52$attempting_to_bind_direction_link

$str53$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str53$Node__a_does_not_pass_sbhl_type_t

$kw54$GAF

public static final SubLSymbol $kw54$GAF

$sym55$_REJECTED_BY_NECESSARY_DEFNS_METERS_

public static final SubLSymbol $sym55$_REJECTED_BY_NECESSARY_DEFNS_METERS_

$str56$metering_cache_for_calls_to_defn_

public static final SubLString $str56$metering_cache_for_calls_to_defn_

$sym57$REJECTED_BY_NECESSARY_DEFNS

public static final SubLSymbol $sym57$REJECTED_BY_NECESSARY_DEFNS

$sym58$RESET_REJECTED_BY_NECESSARY_DEFNS_METERS

public static final SubLSymbol $sym58$RESET_REJECTED_BY_NECESSARY_DEFNS_METERS

$const59$defnNecessary

public static final SubLObject $const59$defnNecessary

$kw60$MAL_ARG_WRT_QUOTED_NEC_DEFN

public static final SubLSymbol $kw60$MAL_ARG_WRT_QUOTED_NEC_DEFN

$kw61$MAL_ARG_WRT_NEC_DEFN

public static final SubLSymbol $kw61$MAL_ARG_WRT_NEC_DEFN

$sym62$_OLD_QUOTED_DEFNS_ADMIT__METERS_

public static final SubLSymbol $sym62$_OLD_QUOTED_DEFNS_ADMIT__METERS_

$str63$metering_cache_for_calls_to_defn_

public static final SubLString $str63$metering_cache_for_calls_to_defn_

$sym64$OLD_QUOTED_DEFNS_ADMIT_

public static final SubLSymbol $sym64$OLD_QUOTED_DEFNS_ADMIT_

$sym65$RESET_OLD_QUOTED_DEFNS_ADMIT__METERS

public static final SubLSymbol $sym65$RESET_OLD_QUOTED_DEFNS_ADMIT__METERS

$sym66$_OLD_QUOTED_DEFNS_REJECT__METERS_

public static final SubLSymbol $sym66$_OLD_QUOTED_DEFNS_REJECT__METERS_

$str67$metering_cache_for_calls_to_defn_

public static final SubLString $str67$metering_cache_for_calls_to_defn_

$sym68$OLD_QUOTED_DEFNS_REJECT_

public static final SubLSymbol $sym68$OLD_QUOTED_DEFNS_REJECT_

$sym69$RESET_OLD_QUOTED_DEFNS_REJECT__METERS

public static final SubLSymbol $sym69$RESET_OLD_QUOTED_DEFNS_REJECT__METERS

$sym70$_QUOTED_DEFINING_DEFNS_STATUS_METERS_

public static final SubLSymbol $sym70$_QUOTED_DEFINING_DEFNS_STATUS_METERS_

$str71$metering_cache_for_calls_to_defn_

public static final SubLString $str71$metering_cache_for_calls_to_defn_

$sym72$QUOTED_DEFINING_DEFNS_STATUS

public static final SubLSymbol $sym72$QUOTED_DEFINING_DEFNS_STATUS

$sym73$RESET_QUOTED_DEFINING_DEFNS_STATUS_METERS

public static final SubLSymbol $sym73$RESET_QUOTED_DEFINING_DEFNS_STATUS_METERS

$const74$quotedDefnIff

public static final SubLObject $const74$quotedDefnIff

$sym75$_QUOTED_SUFFICIENT_DEFNS_ADMIT__METERS_

public static final SubLSymbol $sym75$_QUOTED_SUFFICIENT_DEFNS_ADMIT__METERS_

$str76$metering_cache_for_calls_to_defn_

public static final SubLString $str76$metering_cache_for_calls_to_defn_

$sym77$QUOTED_SUFFICIENT_DEFNS_ADMIT_

public static final SubLSymbol $sym77$QUOTED_SUFFICIENT_DEFNS_ADMIT_

$sym78$RESET_QUOTED_SUFFICIENT_DEFNS_ADMIT__METERS

public static final SubLSymbol $sym78$RESET_QUOTED_SUFFICIENT_DEFNS_ADMIT__METERS

$sym79$_QUOTED_NECESSARY_DEFNS_REJECT__METERS_

public static final SubLSymbol $sym79$_QUOTED_NECESSARY_DEFNS_REJECT__METERS_

$str80$metering_cache_for_calls_to_defn_

public static final SubLString $str80$metering_cache_for_calls_to_defn_

$sym81$QUOTED_NECESSARY_DEFNS_REJECT_

public static final SubLSymbol $sym81$QUOTED_NECESSARY_DEFNS_REJECT_

$sym82$RESET_QUOTED_NECESSARY_DEFNS_REJECT__METERS

public static final SubLSymbol $sym82$RESET_QUOTED_NECESSARY_DEFNS_REJECT__METERS

$list83

public static final SubLList $list83

$sym84$_REJECTED_BY_QUOTED_NECESSARY_DEFNS_METERS_

public static final SubLSymbol $sym84$_REJECTED_BY_QUOTED_NECESSARY_DEFNS_METERS_

$str85$metering_cache_for_calls_to_defn_

public static final SubLString $str85$metering_cache_for_calls_to_defn_

$sym86$REJECTED_BY_QUOTED_NECESSARY_DEFNS

public static final SubLSymbol $sym86$REJECTED_BY_QUOTED_NECESSARY_DEFNS

$sym87$RESET_REJECTED_BY_QUOTED_NECESSARY_DEFNS_METERS

public static final SubLSymbol $sym87$RESET_REJECTED_BY_QUOTED_NECESSARY_DEFNS_METERS

$const88$quotedDefnNecessary

public static final SubLObject $const88$quotedDefnNecessary

$str89$defn_stack_consistency_error___Ex

public static final SubLString $str89$defn_stack_consistency_error___Ex

$str90$recursive_call_of_defn__a_with_ar

public static final SubLString $str90$recursive_call_of_defn__a_with_ar

$sym91$_DEFN_ADMITS_INT__METERS_

public static final SubLSymbol $sym91$_DEFN_ADMITS_INT__METERS_

$str92$metering_cache_for_calls_to_defn_

public static final SubLString $str92$metering_cache_for_calls_to_defn_

$list93

public static final SubLList $list93

$sym94$DEFN_ADMITS_INT_

public static final SubLSymbol $sym94$DEFN_ADMITS_INT_

$sym95$RESET_DEFN_ADMITS_INT__METERS

public static final SubLSymbol $sym95$RESET_DEFN_ADMITS_INT__METERS

$str96$__defn_testtermsdefns_of_

public static final SubLString $str96$__defn_test__term__s__defn__s_of_

$str97$__defn_testtermsdefns_of_

public static final SubLString $str97$__defn_test__term__s__defn__s_of_

$str98$recursive_call_of_quoted_defn__a_

public static final SubLString $str98$recursive_call_of_quoted_defn__a_

$sym99$_QUOTED_DEFN_ADMITS_INT__METERS_

public static final SubLSymbol $sym99$_QUOTED_DEFN_ADMITS_INT__METERS_

$str100$metering_cache_for_calls_to_defn_

public static final SubLString $str100$metering_cache_for_calls_to_defn_

$sym101$QUOTED_DEFN_ADMITS_INT_

public static final SubLSymbol $sym101$QUOTED_DEFN_ADMITS_INT_

$sym102$RESET_QUOTED_DEFN_ADMITS_INT__METERS

public static final SubLSymbol $sym102$RESET_QUOTED_DEFN_ADMITS_INT__METERS

$sym103$DEFN_CYC_EVALUATE

public static final SubLSymbol $sym103$DEFN_CYC_EVALUATE

$sym104$_DEFN_CYC_EVALUATE_CACHING_STATE_

public static final SubLSymbol $sym104$_DEFN_CYC_EVALUATE_CACHING_STATE_

$int105$24

public static final SubLInteger $int105$24

$kw106$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw106$_MEMOIZED_ITEM_NOT_FOUND_

$str107$_s_has_invalid_defn___s

public static final SubLString $str107$_s_has_invalid_defn___s

$str108$invalid_defn___s

public static final SubLString $str108$invalid_defn___s

$str109$_s_has_non_viable_defn___s

public static final SubLString $str109$_s_has_non_viable_defn___s

$str110$non_viable_defn___s

public static final SubLString $str110$non_viable_defn___s

$sym111$CYC_VAR_

public static final SubLSymbol $sym111$CYC_VAR_

$list112

public static final SubLList $list112

$sym113$QUIET_HAS_TYPE_MEMOIZED_

public static final SubLSymbol $sym113$QUIET_HAS_TYPE_MEMOIZED_

$const114$InferencePSC

public static final SubLObject $const114$InferencePSC

$const115$Function_Denotational

public static final SubLObject $const115$Function_Denotational

$const116$SpecsFn

public static final SubLObject $const116$SpecsFn

$sym117$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym117$RELEVANT_MT_IS_EVERYTHING

$const118$EverythingPSC

public static final SubLObject $const118$EverythingPSC

$kw119$ISA

public static final SubLSymbol $kw119$ISA

$const120$isa

public static final SubLObject $const120$isa

$kw121$GENLS

public static final SubLSymbol $kw121$GENLS

$kw122$DEFN

public static final SubLSymbol $kw122$DEFN

$kw123$DISJOINTWITH

public static final SubLSymbol $kw123$DISJOINTWITH

$const124$disjointWith

public static final SubLObject $const124$disjointWith

$int125$64

public static final SubLInteger $int125$64

$const126$defnSufficient

public static final SubLObject $const126$defnSufficient

$sym127$COLLECTIONS_ADMITTING_TERM_VIA_DEFNS_1

public static final SubLSymbol $sym127$COLLECTIONS_ADMITTING_TERM_VIA_DEFNS_1

$sym128$GATHER_COLLECTIONS_ADMITTING_VIA_DEFNS

public static final SubLSymbol $sym128$GATHER_COLLECTIONS_ADMITTING_VIA_DEFNS

$str129$warn

public static final SubLString $str129$__warn__

$sym130$WARN

public static final SubLSymbol $sym130$WARN

$str131$____defn_module_meters_

public static final SubLString $str131$____defn_module_meters_

$int132$27

public static final SubLInteger $int132$27

$str133$_

public static final SubLString $str133$_

$str134$___a

public static final SubLString $str134$_____a__

$str135$function

public static final SubLString $str135$function

$str136$_calls_

public static final SubLString $str136$___calls___

$str137$___total_time___

public static final SubLString $str137$___total_time___

$str138$____avg_time____

public static final SubLString $str138$____avg_time____

$str139$_s

public static final SubLString $str139$_s

$sym140$_

public static final SubLSymbol $sym140$_

$str141$__a_

public static final SubLString $str141$____a___

$str142$_a

public static final SubLString $str142$_a

$str143$_

public static final SubLString $str143$_

$int144$46

public static final SubLInteger $int144$46

$str145$_s_

public static final SubLString $str145$_s_

$str146$_____a

public static final SubLString $str146$_____a

$int147$37

public static final SubLInteger $int147$37

$str148$____call

public static final SubLString $str148$______call__

$str149$__a_

public static final SubLString $str149$____a___

$str150$result

public static final SubLString $str150$____result____

$str151$_time_

public static final SubLString $str151$_____time_____

$str152$____a

public static final SubLString $str152$____a

$str153$total

public static final SubLString $str153$total

$sym154$ADD_SUF_DEFN

public static final SubLSymbol $sym154$ADD_SUF_DEFN

$sym155$ADD_IFF_DEFN

public static final SubLSymbol $sym155$ADD_IFF_DEFN

$sym156$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym156$RELEVANT_MT_IS_GENL_MT

$str157$skip_defn_op

public static final SubLString $str157$skip_defn_op

$str158$_s_is_not_a_collection_in__s

public static final SubLString $str158$_s_is_not_a_collection_in__s

$str159$_s_is_not_a_symbol

public static final SubLString $str159$_s_is_not_a_symbol

$sym160$OLD_ADD_SUF_DEFN

public static final SubLSymbol $sym160$OLD_ADD_SUF_DEFN

$sym161$REMOVE_SUF_DEFN

public static final SubLSymbol $sym161$REMOVE_SUF_DEFN

$sym162$REMOVE_IFF_DEFN

public static final SubLSymbol $sym162$REMOVE_IFF_DEFN

$sym163$OLD_REMOVE_SUF_DEFN

public static final SubLSymbol $sym163$OLD_REMOVE_SUF_DEFN

$sym164$_CACHE_SUF_DEFN_METERS_

public static final SubLSymbol $sym164$_CACHE_SUF_DEFN_METERS_

$str165$metering_cache_for_calls_to_defn_

public static final SubLString $str165$metering_cache_for_calls_to_defn_

$list166

public static final SubLList $list166

$sym167$CACHE_SUF_DEFN

public static final SubLSymbol $sym167$CACHE_SUF_DEFN

$sym168$RESET_CACHE_SUF_DEFN_METERS

public static final SubLSymbol $sym168$RESET_CACHE_SUF_DEFN_METERS

$sym169$_UNCACHE_SUF_DEFN_METERS_

public static final SubLSymbol $sym169$_UNCACHE_SUF_DEFN_METERS_

$str170$metering_cache_for_calls_to_defn_

public static final SubLString $str170$metering_cache_for_calls_to_defn_

$sym171$UNCACHE_SUF_DEFN

public static final SubLSymbol $sym171$UNCACHE_SUF_DEFN

$sym172$RESET_UNCACHE_SUF_DEFN_METERS

public static final SubLSymbol $sym172$RESET_UNCACHE_SUF_DEFN_METERS

$str173$___add_sufficent_defnaa_

public static final SubLString $str173$___add_sufficent_defn__a__a_

$str174$removed_sufficient_defn_not_found

public static final SubLString $str174$removed_sufficient_defn_not_found

$sym175$_OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS_

public static final SubLSymbol $sym175$_OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS_

$str176$metering_cache_for_calls_to_defn_

public static final SubLString $str176$metering_cache_for_calls_to_defn_

$list177

public static final SubLList $list177

$sym178$OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS

public static final SubLSymbol $sym178$OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS

$sym179$RESET_OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS

public static final SubLSymbol $sym179$RESET_OLD_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS

$sym180$_OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS_

public static final SubLSymbol $sym180$_OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS_

$str181$metering_cache_for_calls_to_defn_

public static final SubLString $str181$metering_cache_for_calls_to_defn_

$sym182$OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS

public static final SubLSymbol $sym182$OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS

$sym183$RESET_OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS

public static final SubLSymbol $sym183$RESET_OLD_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS

$sym184$ADD_SUF_DEFN_ASSERTION

public static final SubLSymbol $sym184$ADD_SUF_DEFN_ASSERTION

$sym185$REMOVE_SUF_DEFN_ASSERTION

public static final SubLSymbol $sym185$REMOVE_SUF_DEFN_ASSERTION

$sym186$MERGE_SUF_DEFN_ASSERTIONS

public static final SubLSymbol $sym186$MERGE_SUF_DEFN_ASSERTIONS

$sym187$REMOVE_SUF_DEFN_ASSERTIONS

public static final SubLSymbol $sym187$REMOVE_SUF_DEFN_ASSERTIONS

$sym188$VALID_ASSERTION

public static final SubLSymbol $sym188$VALID_ASSERTION

$sym189$_

public static final SubLSymbol $sym189$_

$sym190$ARG1_SPEC_CARDINALITY

public static final SubLSymbol $sym190$ARG1_SPEC_CARDINALITY

$list191

public static final SubLList $list191

$str192$Initializing_sufficient_defns_cac

public static final SubLString $str192$Initializing_sufficient_defns_cac

$sym193$ADD_SUF_QUOTED_DEFN

public static final SubLSymbol $sym193$ADD_SUF_QUOTED_DEFN

$sym194$ADD_IFF_QUOTED_DEFN

public static final SubLSymbol $sym194$ADD_IFF_QUOTED_DEFN

$str195$skip_quoted_defn_op

public static final SubLString $str195$skip_quoted_defn_op

$sym196$OLD_ADD_SUF_QUOTED_DEFN

public static final SubLSymbol $sym196$OLD_ADD_SUF_QUOTED_DEFN

$sym197$REMOVE_SUF_QUOTED_DEFN

public static final SubLSymbol $sym197$REMOVE_SUF_QUOTED_DEFN

$sym198$REMOVE_IFF_QUOTED_DEFN

public static final SubLSymbol $sym198$REMOVE_IFF_QUOTED_DEFN

$sym199$OLD_REMOVE_SUF_QUOTED_DEFN

public static final SubLSymbol $sym199$OLD_REMOVE_SUF_QUOTED_DEFN

$sym200$_CACHE_SUF_QUOTED_DEFN_METERS_

public static final SubLSymbol $sym200$_CACHE_SUF_QUOTED_DEFN_METERS_

$str201$metering_cache_for_calls_to_defn_

public static final SubLString $str201$metering_cache_for_calls_to_defn_

$sym202$CACHE_SUF_QUOTED_DEFN

public static final SubLSymbol $sym202$CACHE_SUF_QUOTED_DEFN

$sym203$RESET_CACHE_SUF_QUOTED_DEFN_METERS

public static final SubLSymbol $sym203$RESET_CACHE_SUF_QUOTED_DEFN_METERS

$sym204$_UNCACHE_SUF_QUOTED_DEFN_METERS_

public static final SubLSymbol $sym204$_UNCACHE_SUF_QUOTED_DEFN_METERS_

$str205$metering_cache_for_calls_to_defn_

public static final SubLString $str205$metering_cache_for_calls_to_defn_

$sym206$UNCACHE_SUF_QUOTED_DEFN

public static final SubLSymbol $sym206$UNCACHE_SUF_QUOTED_DEFN

$sym207$RESET_UNCACHE_SUF_QUOTED_DEFN_METERS

public static final SubLSymbol $sym207$RESET_UNCACHE_SUF_QUOTED_DEFN_METERS

$str208$___add_sufficent_quoted_defna

public static final SubLString $str208$___add_sufficent_quoted_defn__a__

$str209$removed_sufficient_quoted_defn_no

public static final SubLString $str209$removed_sufficient_quoted_defn_no

$str210$___remove_sufficent_quoted_defn__

public static final SubLString $str210$___remove_sufficent_quoted_defn__

$sym211$_OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

public static final SubLSymbol $sym211$_OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

$str212$metering_cache_for_calls_to_defn_

public static final SubLString $str212$metering_cache_for_calls_to_defn_

$sym213$OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS

public static final SubLSymbol $sym213$OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS

$sym214$RESET_OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

public static final SubLSymbol $sym214$RESET_OLD_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

$sym215$_OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

public static final SubLSymbol $sym215$_OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

$str216$metering_cache_for_calls_to_defn_

public static final SubLString $str216$metering_cache_for_calls_to_defn_

$sym217$OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS

public static final SubLSymbol $sym217$OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS

$sym218$RESET_OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

public static final SubLSymbol $sym218$RESET_OLD_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

$sym219$ADD_SUF_QUOTED_DEFN_ASSERTION

public static final SubLSymbol $sym219$ADD_SUF_QUOTED_DEFN_ASSERTION

$sym220$REMOVE_SUF_QUOTED_DEFN_ASSERTION

public static final SubLSymbol $sym220$REMOVE_SUF_QUOTED_DEFN_ASSERTION

$sym221$MERGE_SUF_QUOTED_DEFN_ASSERTIONS

public static final SubLSymbol $sym221$MERGE_SUF_QUOTED_DEFN_ASSERTIONS

$sym222$REMOVE_SUF_QUOTED_DEFN_ASSERTIONS

public static final SubLSymbol $sym222$REMOVE_SUF_QUOTED_DEFN_ASSERTIONS

$list223

public static final SubLList $list223

$str224$Initializing_sufficient_quoted_de

public static final SubLString $str224$Initializing_sufficient_quoted_de

$kw225$QUOTED_ISA

public static final SubLSymbol $kw225$QUOTED_ISA

$sym226$ADD_SUF_FUNCTION

public static final SubLSymbol $sym226$ADD_SUF_FUNCTION

$sym227$REMOVE_SUF_FUNCTION

public static final SubLSymbol $sym227$REMOVE_SUF_FUNCTION

$sym228$ADD_SUF_QUOTED_FUNCTION

public static final SubLSymbol $sym228$ADD_SUF_QUOTED_FUNCTION

$sym229$REMOVE_SUF_QUOTED_FUNCTION

public static final SubLSymbol $sym229$REMOVE_SUF_QUOTED_FUNCTION

$const230$evaluationResultQuotedIsa

public static final SubLObject $const230$evaluationResultQuotedIsa

$str231$oh_well___

public static final SubLString $str231$oh_well___

$str232$_s_is_not_a_evaluatable_functor_i

public static final SubLString $str232$_s_is_not_a_evaluatable_functor_i

$str233$_s_is_not_a_functor_in__s

public static final SubLString $str233$_s_is_not_a_functor_in__s

$sym234$ADD_SUF_FUNCTION_INT

public static final SubLSymbol $sym234$ADD_SUF_FUNCTION_INT

$sym235$REMOVE_SUF_FUNCTION_INT

public static final SubLSymbol $sym235$REMOVE_SUF_FUNCTION_INT

$sym236$_CACHE_SUF_FUNCTION_METERS_

public static final SubLSymbol $sym236$_CACHE_SUF_FUNCTION_METERS_

$str237$metering_cache_for_calls_to_defn_

public static final SubLString $str237$metering_cache_for_calls_to_defn_

$list238

public static final SubLList $list238

$sym239$CACHE_SUF_FUNCTION

public static final SubLSymbol $sym239$CACHE_SUF_FUNCTION

$sym240$RESET_CACHE_SUF_FUNCTION_METERS

public static final SubLSymbol $sym240$RESET_CACHE_SUF_FUNCTION_METERS

$sym241$_UNCACHE_SUF_FUNCTION_METERS_

public static final SubLSymbol $sym241$_UNCACHE_SUF_FUNCTION_METERS_

$str242$metering_cache_for_calls_to_defn_

public static final SubLString $str242$metering_cache_for_calls_to_defn_

$sym243$UNCACHE_SUF_FUNCTION

public static final SubLSymbol $sym243$UNCACHE_SUF_FUNCTION

$sym244$RESET_UNCACHE_SUF_FUNCTION_METERS

public static final SubLSymbol $sym244$RESET_UNCACHE_SUF_FUNCTION_METERS

$str245$aaa_

public static final SubLString $str245$____a__a__a_

$str246$add_sufficient_function

public static final SubLString $str246$add_sufficient_function

$str247$add_sufficient_quoted_function

public static final SubLString $str247$add_sufficient_quoted_function

$str248$removed_sufficient_function_not_f

public static final SubLString $str248$removed_sufficient_function_not_f

$str249$remove_sufficient_function

public static final SubLString $str249$remove_sufficient_function

$str250$remove_sufficient_quoted_function

public static final SubLString $str250$remove_sufficient_quoted_function

$sym251$_HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS_METERS_

public static final SubLSymbol $sym251$_HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS_METERS_

$str252$metering_cache_for_calls_to_defn_

public static final SubLString $str252$metering_cache_for_calls_to_defn_

$sym253$HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS

public static final SubLSymbol $sym253$HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS

$sym254$RESET_HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS_METERS

public static final SubLSymbol $sym254$RESET_HANDLE_ADDED_GENL_FOR_SUF_FUNCTIONS_METERS

$list255

public static final SubLList $list255

$sym256$_HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS_METERS_

public static final SubLSymbol $sym256$_HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS_METERS_

$str257$metering_cache_for_calls_to_defn_

public static final SubLString $str257$metering_cache_for_calls_to_defn_

$sym258$HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS

public static final SubLSymbol $sym258$HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS

$sym259$RESET_HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS_METERS

public static final SubLSymbol $sym259$RESET_HANDLE_REMOVED_GENL_FOR_SUF_FUNCTIONS_METERS

$sym260$ADD_SUF_FUNCTION_ASSERTION

public static final SubLSymbol $sym260$ADD_SUF_FUNCTION_ASSERTION

$sym261$ADD_SUF_QUOTED_FUNCTION_ASSERTION

public static final SubLSymbol $sym261$ADD_SUF_QUOTED_FUNCTION_ASSERTION

$sym262$REMOVE_SUF_FUNCTION_ASSERTION

public static final SubLSymbol $sym262$REMOVE_SUF_FUNCTION_ASSERTION

$sym263$REMOVE_SUF_QUOTED_FUNCTION_ASSERTION

public static final SubLSymbol $sym263$REMOVE_SUF_QUOTED_FUNCTION_ASSERTION

$sym264$MERGE_SUF_FUNCTION_ASSERTIONS

public static final SubLSymbol $sym264$MERGE_SUF_FUNCTION_ASSERTIONS

$sym265$MERGE_SUF_QUOTED_FUNCTION_ASSERTIONS

public static final SubLSymbol $sym265$MERGE_SUF_QUOTED_FUNCTION_ASSERTIONS

$sym266$REMOVE_SUF_FUNCTION_ASSERTIONS

public static final SubLSymbol $sym266$REMOVE_SUF_FUNCTION_ASSERTIONS

$sym267$REMOVE_SUF_QUOTED_FUNCTION_ASSERTIONS

public static final SubLSymbol $sym267$REMOVE_SUF_QUOTED_FUNCTION_ASSERTIONS

$str268$___add_sufficent_functionaa_

public static final SubLString $str268$___add_sufficent_function__a__a_

$str269$remove_sufficent_function

public static final SubLString $str269$remove_sufficent_function

$sym270$SUF_FUNCTION_SORT_PRED

public static final SubLSymbol $sym270$SUF_FUNCTION_SORT_PRED

$sym271$GAF_ARG2

public static final SubLSymbol $sym271$GAF_ARG2

$list272

public static final SubLList $list272

$list273

public static final SubLList $list273

$str274$Initializing_sufficient_functions

public static final SubLString $str274$Initializing_sufficient_functions

$str275$Initializing_sufficient_quoted_fu

public static final SubLString $str275$Initializing_sufficient_quoted_fu

$str276$cdohash

public static final SubLString $str276$cdohash

$str277$stop

public static final SubLString $str277$stop

$kw278$MAPPING_DONE

public static final SubLSymbol $kw278$MAPPING_DONE

$str279$diagnostics__sufficient_functions

public static final SubLString $str279$diagnostics__sufficient_functions

$str280$___suf_function_cache_mal_keys___

public static final SubLString $str280$___suf_function_cache_mal_keys___

$str281$___suf_function_cache_key_w_o_val

public static final SubLString $str281$___suf_function_cache_key_w_o_val

$str282$___suf_function_cache_key_w_mal_v

public static final SubLString $str282$___suf_function_cache_key_w_mal_v

$str283$___suf_function_cache_key_w_stale

public static final SubLString $str283$___suf_function_cache_key_w_stale

$str284$___suf_function_cache_keys_w_o_in

public static final SubLString $str284$___suf_function_cache_keys_w_o_in

$str285$___suf_function_cache_awol_direct

public static final SubLString $str285$___suf_function_cache_awol_direct

$const286$SkolemFunction

public static final SubLObject $const286$SkolemFunction

$str287$mapping_skolems

public static final SubLString $str287$mapping_skolems

$str288$_a_

public static final SubLString $str288$_a_

Method Detail

clear_suf_defns

public static final SubLObject clear_suf_defns()

clear_suf_quoted_defns

public static final SubLObject clear_suf_quoted_defns()

quiet_sufficient_defns_admitP

public static final SubLObject quiet_sufficient_defns_admitP(SubLObject collection,
                                                             SubLObject v_term,
                                                             SubLObject mt)

Returns:: boolean; t iff some sufficient defn of COLLECTION admits TERM; don't generate violation messages

defns_admitP

public static final SubLObject defns_admitP(SubLObject collection,
                                            SubLObject v_term,
                                            SubLObject mt)

reset_old_defns_admitP_meters

public static final SubLObject reset_old_defns_admitP_meters()

defns_rejectP

public static final SubLObject defns_rejectP(SubLObject collection,
                                             SubLObject v_term,
                                             SubLObject mt)

reset_old_defns_rejectP_meters

public static final SubLObject reset_old_defns_rejectP_meters()

reset_defining_defns_status_meters

public static final SubLObject reset_defining_defns_status_meters()

reset_sufficient_defns_admitP_meters

public static final SubLObject reset_sufficient_defns_admitP_meters()

reset_necessary_defns_rejectP_meters

public static final SubLObject reset_necessary_defns_rejectP_meters()

denotational_term_admitted_by_defn_via_isaP

public static final SubLObject denotational_term_admitted_by_defn_via_isaP(SubLObject v_term,
                                                                           SubLObject collection,
                                                                           SubLObject mt)

reset_rejected_by_necessary_defns_meters

public static final SubLObject reset_rejected_by_necessary_defns_meters()

quoted_defns_admitP

public static final SubLObject quoted_defns_admitP(SubLObject collection,
                                                   SubLObject v_term,
                                                   SubLObject mt)

reset_old_quoted_defns_admitP_meters

public static final SubLObject reset_old_quoted_defns_admitP_meters()

reset_old_quoted_defns_rejectP_meters

public static final SubLObject reset_old_quoted_defns_rejectP_meters()

reset_quoted_defining_defns_status_meters

public static final SubLObject reset_quoted_defining_defns_status_meters()

reset_quoted_sufficient_defns_admitP_meters

public static final SubLObject reset_quoted_sufficient_defns_admitP_meters()

reset_quoted_necessary_defns_rejectP_meters

public static final SubLObject reset_quoted_necessary_defns_rejectP_meters()

denotational_term_admitted_by_quoted_defn_via_quoted_isaP

public static final SubLObject denotational_term_admitted_by_quoted_defn_via_quoted_isaP(SubLObject v_term,
                                                                                         SubLObject collection,
                                                                                         SubLObject mt)

reset_rejected_by_quoted_necessary_defns_meters

public static final SubLObject reset_rejected_by_quoted_necessary_defns_meters()

new_defn_stack

public static final SubLObject new_defn_stack()

defn_stack_push

public static final SubLObject defn_stack_push(SubLObject defn,
                                               SubLObject v_term)

defn_stack_pop

public static final SubLObject defn_stack_pop(SubLObject defn,
                                              SubLObject expected_term)

recursive_defn_callP

public static final SubLObject recursive_defn_callP(SubLObject defn,
                                                    SubLObject v_term)

get_defn_fn_history

public static final SubLObject get_defn_fn_history(SubLObject defn)

set_defn_fn_history

public static final SubLObject set_defn_fn_history(SubLObject defn,
                                                   SubLObject result)

get_quoted_defn_fn_history

public static final SubLObject get_quoted_defn_fn_history(SubLObject defn)

quiet_defns_admitP

public static final SubLObject quiet_defns_admitP(SubLObject collection,
                                                  SubLObject v_term,
                                                  SubLObject mt)

Returns:: boolean; t iff some defn of COLLECTION admits TERM; don't generate violation messages (e.g., for sufficient defns)

quiet_defn_admitsP

public static final SubLObject quiet_defn_admitsP(SubLObject defn,
                                                  SubLObject v_term,
                                                  SubLObject collection,
                                                  SubLObject mt)

see if defn of collection admits ; don't generate violation messages (e.g., for sufficient defns)

defn_admitsP

public static final SubLObject defn_admitsP(SubLObject defn,
                                            SubLObject v_term,
                                            SubLObject collection,
                                            SubLObject mt)

does defn of collection admit ?

collection_specific_defnP

public static final SubLObject collection_specific_defnP(SubLObject symbol)

defn_history

public static final SubLObject defn_history(SubLObject defn)

reset_defn_admits_intP_meters

public static final SubLObject reset_defn_admits_intP_meters()

defn_admits_intP_metered

public static final SubLObject defn_admits_intP_metered(SubLObject defn,
                                                        SubLObject v_term,
                                                        SubLObject collection)

defn_admits_intP

public static final SubLObject defn_admits_intP(SubLObject defn,
                                                SubLObject v_term,
                                                SubLObject collection)

quoted_defn_admitsP

public static final SubLObject quoted_defn_admitsP(SubLObject defn,
                                                   SubLObject v_term,
                                                   SubLObject collection,
                                                   SubLObject mt)

does defn of collection admit ?

quoted_defn_history

public static final SubLObject quoted_defn_history(SubLObject defn)

reset_quoted_defn_admits_intP_meters

public static final SubLObject reset_quoted_defn_admits_intP_meters()

quoted_defn_admits_intP_metered

public static final SubLObject quoted_defn_admits_intP_metered(SubLObject defn,
                                                               SubLObject v_term,
                                                               SubLObject collection)

quoted_defn_admits_intP

public static final SubLObject quoted_defn_admits_intP(SubLObject defn,
                                                       SubLObject v_term,
                                                       SubLObject collection)

clear_defn_cyc_evaluate

public static final SubLObject clear_defn_cyc_evaluate()

valid_defnP

public static final SubLObject valid_defnP(SubLObject defn,
                                           SubLObject defn_collection)

return T iff DEFN is a valid defn

viable_defnP

public static final SubLObject viable_defnP(SubLObject defn,
                                            SubLObject defn_collection)

return T iff DEFN is a viable defn

defn_funcall

public static final SubLObject defn_funcall(SubLObject defn,
                                            SubLObject v_term)

Funcall DEFN on TERM, which returns non-NIL on success.

at_denotational_term_p

public static final SubLObject at_denotational_term_p(SubLObject v_term,
                                                      SubLObject varP)

clear_defn_space

public static final SubLObject clear_defn_space()

has_typeP

public static final SubLObject has_typeP(SubLObject v_term,
                                         SubLObject collection,
                                         SubLObject mt)

Returns:: booleanp; t iff TERM either isa COLLECTION (via isa sbhl module) or admitted by (via defns module) COLLECTION?

quiet_has_typeP

public static final SubLObject quiet_has_typeP(SubLObject v_term,
                                               SubLObject collection,
                                               SubLObject mt)

Returns:: booleanp; t iff is TERM isa COLLECTION (via isa sbhl module) or admitted by COLLECTION? (via defns module)
See Also:: (quiet: generate no violations)

quiet_has_type_memoizedP_internal

public static final SubLObject quiet_has_type_memoizedP_internal(SubLObject v_term,
                                                                 SubLObject collection,
                                                                 SubLObject mt,
                                                                 SubLObject mt_info)

quiet_has_type_memoizedP

public static final SubLObject quiet_has_type_memoizedP(SubLObject v_term,
                                                        SubLObject collection,
                                                        SubLObject mt,
                                                        SubLObject mt_info)

defn_note

public static final SubLObject defn_note(SubLObject level,
                                         SubLObject format_str,
                                         SubLObject arg1,
                                         SubLObject arg2,
                                         SubLObject arg3,
                                         SubLObject arg4,
                                         SubLObject arg5,
                                         SubLObject arg6)

any_sufficient_defn_anywhereP

public static final SubLObject any_sufficient_defn_anywhereP(SubLObject collection)

reset_cache_suf_defn_meters

public static final SubLObject reset_cache_suf_defn_meters()

reset_uncache_suf_defn_meters

public static final SubLObject reset_uncache_suf_defn_meters()

handle_added_genl_for_suf_defns

public static final SubLObject handle_added_genl_for_suf_defns(SubLObject spec,
                                                               SubLObject genl)

reset_old_handle_added_genl_for_suf_defns_meters

public static final SubLObject reset_old_handle_added_genl_for_suf_defns_meters()

handle_removed_genl_for_suf_defns

public static final SubLObject handle_removed_genl_for_suf_defns(SubLObject spec,
                                                                 SubLObject genl)

reset_old_handle_removed_genl_for_suf_defns_meters

public static final SubLObject reset_old_handle_removed_genl_for_suf_defns_meters()

any_sufficient_quoted_defn_anywhereP

public static final SubLObject any_sufficient_quoted_defn_anywhereP(SubLObject collection)

quoted_has_typeP

public static final SubLObject quoted_has_typeP(SubLObject v_term,
                                                SubLObject collection,
                                                SubLObject mt)

Returns:: booleanp; t iff TERM either isa COLLECTION (via isa sbhl module) or admitted by (via defns module) COLLECTION?

reset_cache_suf_quoted_defn_meters

public static final SubLObject reset_cache_suf_quoted_defn_meters()

reset_uncache_suf_quoted_defn_meters

public static final SubLObject reset_uncache_suf_quoted_defn_meters()

handle_added_genl_for_suf_quoted_defns

public static final SubLObject handle_added_genl_for_suf_quoted_defns(SubLObject spec,
                                                                      SubLObject genl)

reset_old_handle_added_genl_for_suf_quoted_defns_meters

public static final SubLObject reset_old_handle_added_genl_for_suf_quoted_defns_meters()

handle_removed_genl_for_suf_quoted_defns

public static final SubLObject handle_removed_genl_for_suf_quoted_defns(SubLObject spec,
                                                                        SubLObject genl)

reset_old_handle_removed_genl_for_suf_quoted_defns_meters

public static final SubLObject reset_old_handle_removed_genl_for_suf_quoted_defns_meters()

suf_function_cache

public static final SubLObject suf_function_cache(SubLObject type)

get_suf_function_assertions

public static final SubLObject get_suf_function_assertions(SubLObject collection,
                                                           SubLObject type)

suf_function_assertions

public static final SubLObject suf_function_assertions(SubLObject collection,
                                                       SubLObject type)

reset_cache_suf_function_meters

public static final SubLObject reset_cache_suf_function_meters()

reset_uncache_suf_function_meters

public static final SubLObject reset_uncache_suf_function_meters()

reset_handle_added_genl_for_suf_functions_meters

public static final SubLObject reset_handle_added_genl_for_suf_functions_meters()

handle_added_genl_for_suf_functions_metered

public static final SubLObject handle_added_genl_for_suf_functions_metered(SubLObject spec,
                                                                           SubLObject genl)

handle_added_genl_for_suf_functions

public static final SubLObject handle_added_genl_for_suf_functions(SubLObject spec,
                                                                   SubLObject genl)

reset_handle_removed_genl_for_suf_functions_meters

public static final SubLObject reset_handle_removed_genl_for_suf_functions_meters()

handle_removed_genl_for_suf_functions_metered

public static final SubLObject handle_removed_genl_for_suf_functions_metered(SubLObject spec,
                                                                             SubLObject genl)

handle_removed_genl_for_suf_functions

public static final SubLObject handle_removed_genl_for_suf_functions(SubLObject spec,
                                                                     SubLObject genl)

clear_suf_functions

public static final SubLObject clear_suf_functions()

clear_suf_quoted_functions

public static final SubLObject clear_suf_quoted_functions()

declare_at_defns_file

public static final SubLObject declare_at_defns_file()

init_at_defns_file

public static final SubLObject init_at_defns_file()

setup_at_defns_file

public static final SubLObject setup_at_defns_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class at_defns

me

myName

$use_new_defns_functionsP$

$old_defns_admitP_meters$

$old_defns_rejectP_meters$

$defining_defns_status_meters$

$sufficient_defns_admitP_meters$

$necessary_defns_rejectP_meters$

$rejected_by_necessary_defns_meters$

$old_quoted_defns_admitP_meters$

$old_quoted_defns_rejectP_meters$

$quoted_defining_defns_status_meters$

$quoted_sufficient_defns_admitP_meters$

$quoted_necessary_defns_rejectP_meters$

$rejected_by_quoted_necessary_defns_meters$

$defn_admits_intP_meters$

$quoted_defn_admits_intP_meters$

$cache_suf_defn_meters$

$uncache_suf_defn_meters$

$old_handle_added_genl_for_suf_defns_meters$

$old_handle_removed_genl_for_suf_defns_meters$

$cache_suf_quoted_defn_meters$

$uncache_suf_quoted_defn_meters$

$old_handle_added_genl_for_suf_quoted_defns_meters$

$old_handle_removed_genl_for_suf_quoted_defns_meters$

$cache_suf_function_meters$

$uncache_suf_function_meters$

$handle_added_genl_for_suf_functions_meters$

$handle_removed_genl_for_suf_functions_meters$

$str0$___remove_sufficent_defn__a__a_

$kw1$ADMITTED

$kw2$REJECTED

$sym3$_OLD_DEFNS_ADMIT__METERS_

$str4$metering_cache_for_calls_to_defn_

$kw5$CALLS

$kw6$TIMES

$kw7$RESULTS

$kw8$ARGS

$kw9$ARG_LIST

$list10

$kw11$FUNCTION

$sym12$OLD_DEFNS_ADMIT_

$kw13$RESET

$sym14$RESET_OLD_DEFNS_ADMIT__METERS

$sym15$_OLD_DEFNS_REJECT__METERS_

$str16$metering_cache_for_calls_to_defn_

$sym17$OLD_DEFNS_REJECT_

$sym18$RESET_OLD_DEFNS_REJECT__METERS

$sym19$_DEFINING_DEFNS_STATUS_METERS_

$str20$metering_cache_for_calls_to_defn_

$sym21$DEFINING_DEFNS_STATUS

$sym22$RESET_DEFINING_DEFNS_STATUS_METERS

$const23$defnIff

$kw24$TRUE

$kw25$VIA_GENL_PRED

$kw26$AT_CONSTRAINT_GAF

$kw27$MAL_ARG_WRT_QUOTED_IFF_DEFN

$kw28$MAL_ARG_WRT_IFF_DEFN

$sym29$_SUFFICIENT_DEFNS_ADMIT__METERS_

$str30$metering_cache_for_calls_to_defn_

$sym31$SUFFICIENT_DEFNS_ADMIT_

$sym32$RESET_SUFFICIENT_DEFNS_ADMIT__METERS

$kw33$MAL_ARG_WRT_QUOTED_SUF_DEFNS

$kw34$MAL_ARG_WRT_SUF_DEFNS

$sym35$_NECESSARY_DEFNS_REJECT__METERS_

$str36$metering_cache_for_calls_to_defn_

$sym37$NECESSARY_DEFNS_REJECT_

$sym38$RESET_NECESSARY_DEFNS_REJECT__METERS

$kw39$BREADTH

$kw40$QUEUE

$kw41$STACK

$sym42$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw43$ERROR

$str44$_A_is_not_a__A

$sym45$SBHL_TRUE_TV_P

$kw46$CERROR

$str47$continue_anyway

$kw48$WARN

$str49$_A_is_not_a_valid__sbhl_type_erro

com.cyc.cycjava.cycl
Class at_defns

$str0$___remove_sufficent_defnaa_

$str96$__defn_testtermsdefns_of_

$str97$__defn_testtermsdefns_of_