inference_trampolines

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.inference
Class inference_trampolines

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_trampolines
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_trampolines.$clear_indeterminate_term_p$ZeroArityFunction`
`static class`	`inference_trampolines.$inference_commutative_predicate_p$UnaryFunction`
`static class`	`inference_trampolines.$inference_evaluatable_predicateP$UnaryFunction`
`static class`	`inference_trampolines.$inference_partially_commutative_predicate_p$UnaryFunction`
`static class`	`inference_trampolines.$inference_predicate_p$UnaryFunction`
`static class`	`inference_trampolines.$inference_reflexive_predicateP$UnaryFunction`
`static class`	`inference_trampolines.$inference_some_genl_pred_or_inverseP$UnaryFunction`
`static class`	`inference_trampolines.$inference_some_spec_pred_or_inverseP$UnaryFunction`
`static class`	`inference_trampolines.$inference_symmetric_predicateP$UnaryFunction`
`static class`	`inference_trampolines.$inference_transitive_predicateP$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const0$Collection`
`static SubLObject`	`$const24$genlPreds`
`static SubLObject`	`$const4$IndeterminateTerm`
`static SubLObject`	`$const52$isa`
`static SubLObject`	`$const53$genls`
`static SubLObject`	`$const62$highlyRelevantMt`
`static SubLObject`	`$const64$highlyRelevantAssertion`
`static SubLObject`	`$const65$highlyRelevantPredAssertion`
`static SubLObject`	`$const66$highlyRelevantTerm`
`static SubLObject`	`$const67$irrelevantMt`
`static SubLObject`	`$const68$irrelevantAssertion`
`static SubLObject`	`$const69$irrelevantPredAssertion`
`static SubLObject`	`$const70$irrelevantTerm`
`static SubLObject`	`$const71$assertionUtility`
`static SubLObject`	`$const81$InferencePSC`
`static SubLObject`	`$const84$TheSetOf`
`static SubLInteger`	`$int32$256`
`static SubLSymbol`	`$kw13$DEPTH`
`static SubLSymbol`	`$kw14$STACK`
`static SubLSymbol`	`$kw15$QUEUE`
`static SubLSymbol`	`$kw17$ERROR`
`static SubLSymbol`	`$kw2$_MEMOIZED_ITEM_NOT_FOUND_`
`static SubLSymbol`	`$kw20$CERROR`
`static SubLSymbol`	`$kw22$WARN`
`static SubLSymbol`	`$kw41$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw42$DONE`
`static SubLSymbol`	`$kw45$TRUTH`
`static SubLSymbol`	`$kw63$TRUE`
`static SubLSymbol`	`$kw73$ALLOWED_MODULES`
`static SubLSymbol`	`$kw75$FALSE`
`static SubLSymbol`	`$kw77$MAX_NUMBER`
`static SubLSymbol`	`$kw82$MAX_TRANSFORMATION_DEPTH`
`static SubLList`	`$list39`
`static SubLList`	`$list40`
`static SubLList`	`$list51`
`static SubLList`	`$list79`
`static SubLList`	`$list83`
`static SubLString`	`$str18$_A_is_not_a__A`
`static SubLString`	`$str21$continue_anyway`
`static SubLString`	`$str23$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str25$attempting_to_bind_direction_link`
`static SubLString`	`$str26$Node__a_does_not_pass_sbhl_type_t`
`static SubLSymbol`	`$sym1$INFERENCE_PARTIALLY_COMMUTATIVE_PREDICATE_P`
`static SubLSymbol`	`$sym10$INFERENCE_ALL_GENL_INVERSES`
`static SubLSymbol`	`$sym11$INFERENCE_ALL_SPEC_INVERSES_INT`
`static SubLSymbol`	`$sym12$INFERENCE_ALL_PROPER_GENL_PREDICATES_WITH_AXIOM_INDEX`
`static SubLSymbol`	`$sym16$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym19$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym27$INFERENCE_ALL_PROPER_SPEC_PREDICATES_WITH_AXIOM_INDEX_INT`
`static SubLSymbol`	`$sym28$INFERENCE_ALL_NEGATION_PREDICATES_WITH_AXIOM_INDEX`
`static SubLSymbol`	`$sym29$HLMT_EQUAL`
`static SubLSymbol`	`$sym3$INDETERMINATE_TERM_P`
`static SubLSymbol`	`$sym30$SOME_MAX_FLOOR_MTS__CACHED`
`static SubLSymbol`	`$sym31$_SOME_MAX_FLOOR_MTS__CACHED_CACHING_STATE_`
`static SubLSymbol`	`$sym33$CLEAR_SOME_MAX_FLOOR_MTS__CACHED`
`static SubLSymbol`	`$sym34$INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED`
`static SubLSymbol`	`$sym35$_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED_CACHING_STATE_`
`static SubLSymbol`	`$sym36$CLEAR_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED`
`static SubLSymbol`	`$sym37$INFERENCE_MAX_FLOOR_MTS_OF_NAT`
`static SubLSymbol`	`$sym38$INFERENCE_APPLICABLE_SDCT_`
`static SubLSymbol`	`$sym43$DO_GAF_LOOKUP_INDEX`
`static SubLSymbol`	`$sym44$INFERENCE_GAF_LOOKUP_INDEX`
`static SubLSymbol`	`$sym46$SENSE_TRUTH`
`static SubLSymbol`	`$sym47$INFERENCE_NUM_GAF_LOOKUP_INDEX`
`static SubLSymbol`	`$sym48$INFERENCE_RELEVANT_NUM_GAF_LOOKUP_INDEX`
`static SubLSymbol`	`$sym49$INFERENCE_KEY_GAF_ARG_INDEX`
`static SubLSymbol`	`$sym5$_INDETERMINATE_TERM_P_CACHING_STATE_`
`static SubLSymbol`	`$sym50$PROBLEM_P`
`static SubLSymbol`	`$sym54$INFERENCE_PREDICATE_BACKCHAIN_REQUIRED_`
`static SubLSymbol`	`$sym55$INFERENCE_BACKCHAIN_FORBIDDEN_`
`static SubLSymbol`	`$sym56$INFERENCE_COLLECTION_ISA_BACKCHAIN_ENCOURAGED_`
`static SubLSymbol`	`$sym57$INFERENCE_COLLECTION_GENLS_BACKCHAIN_ENCOURAGED_`
`static SubLSymbol`	`$sym58$INFERENCE_COLLECTION_BACKCHAIN_ENCOURAGED_`
`static SubLSymbol`	`$sym59$INFERENCE_COLLECTION_BACKCHAIN_REQUIRED_`
`static SubLSymbol`	`$sym6$CLEAR_INDETERMINATE_TERM_P`
`static SubLSymbol`	`$sym60$INFERENCE_COLLECTION_ISA_BACKCHAIN_REQUIRED_`
`static SubLSymbol`	`$sym61$INFERENCE_COLLECTION_GENLS_BACKCHAIN_REQUIRED_`
`static SubLSymbol`	`$sym7$MEMOIZED_INFERENCE_INDETERMINATE_TERM_`
`static SubLSymbol`	`$sym72$INFERENCE_KNOWN_SENTENCE_REMOVAL_QUERY`
`static SubLSymbol`	`$sym74$REMOVAL_ASK_QUERY_PROPERTY_P`
`static SubLSymbol`	`$sym76$INFERENCE_TRUE_SENTENCE_RECURSIVE_QUERY`
`static SubLSymbol`	`$sym78$INFERENCE_MTS_WHERE_GAF_SENTENCE_TRUE`
`static SubLSymbol`	`$sym8$INFERENCE_ALL_GENL_PREDICATES`
`static SubLSymbol`	`$sym80$INFERENCE_MTS_WHERE_GAF_SENTENCE_TRUE_JUSTIFIED_MEMOIZED`
`static SubLSymbol`	`$sym85$INFERENCE_RULE_TYPE_CONSTRAINTS`
`static SubLSymbol`	`$sym9$INFERENCE_ALL_SPEC_PREDICATES_INT`
`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`	`backchain_control_mt(SubLObject mt)` Assuming that we are doing inference MT, return the mt in which to look for assertions that control the behaviour of backchaining.
`static SubLObject`	`clear_indeterminate_term_p()`
`static SubLObject`	`clear_inference_max_floor_mts_with_cycles_pruned_cached()`
`static SubLObject`	`clear_some_max_floor_mtsP_cached()`
`static SubLObject`	`declare_inference_trampolines_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`indeterminate_term_p_internal(SubLObject fort)`
`static SubLObject`	`indeterminate_term_p(SubLObject fort)`
`static SubLObject`	`inference_all_proper_spec_predicates_with_axiom_index_int_internal(SubLObject pred, SubLObject sense)`
`static SubLObject`	`inference_all_proper_spec_predicates_with_axiom_index_int(SubLObject pred, SubLObject sense)`
`static SubLObject`	`inference_all_proper_spec_predicates_with_axiom_index(SubLObject pred, SubLObject sense)`
`static SubLObject`	`inference_all_spec_inverses_int_internal(SubLObject predicate)`
`static SubLObject`	`inference_all_spec_inverses_int(SubLObject predicate)`
`static SubLObject`	`inference_all_spec_inverses(SubLObject predicate)`
`static SubLObject`	`inference_all_spec_predicates_int_internal(SubLObject predicate)`
`static SubLObject`	`inference_all_spec_predicates_int(SubLObject predicate)`
`static SubLObject`	`inference_all_spec_predicates(SubLObject predicate)`
`static SubLObject`	`inference_at_least_partially_commutative_predicate_p(SubLObject predicate)`
`static SubLObject`	`inference_backchain_forbiddenP_internal(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`inference_backchain_forbiddenP(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`inference_backchain_required_asentP(SubLObject asent, SubLObject mt)`
`static SubLObject`	`inference_backchain_required_contextualized_asentP(SubLObject contextualized_asent)`
`static SubLObject`	`inference_collection_backchain_requiredP_internal(SubLObject col, SubLObject mt)`
`static SubLObject`	`inference_collection_backchain_requiredP(SubLObject col, SubLObject mt)`
`static SubLObject`	`inference_collection_genls_backchain_requiredP_internal(SubLObject col, SubLObject mt)`
`static SubLObject`	`inference_collection_genls_backchain_requiredP(SubLObject col, SubLObject mt)`
`static SubLObject`	`inference_collection_isa_backchain_requiredP_internal(SubLObject col, SubLObject mt)`
`static SubLObject`	`inference_collection_isa_backchain_requiredP(SubLObject col, SubLObject mt)`
`static SubLObject`	`inference_collectionP(SubLObject object, SubLObject mt)`
`static SubLObject`	`inference_commutative_predicate_p(SubLObject predicate)`
`static SubLObject`	`inference_commutative_relationP(SubLObject relation)`
`static SubLObject`	`inference_evaluatable_predicateP(SubLObject predicate)`
`static SubLObject`	`inference_gaf_lookup_index_internal(SubLObject asent, SubLObject sense)`
`static SubLObject`	`inference_gaf_lookup_index(SubLObject asent, SubLObject sense)`
`static SubLObject`	`inference_indeterminate_termP(SubLObject value)`
`static SubLObject`	`inference_irreflexive_predicateP(SubLObject predicate)`
`static SubLObject`	`inference_irrelevant_mtP(SubLObject assertion_mt, SubLObject inference_mt)`
`static SubLObject`	`inference_max_floor_mts_with_cycles_pruned_cached_internal(SubLObject mts)`
`static SubLObject`	`inference_max_floor_mts_with_cycles_pruned_cached(SubLObject mts)`
`static SubLObject`	`inference_max_floor_mts_with_cycles_pruned(SubLObject mts, SubLObject candidates)`
`static SubLObject`	`inference_num_gaf_lookup_index_internal(SubLObject asent, SubLObject sense)`
`static SubLObject`	`inference_num_gaf_lookup_index(SubLObject asent, SubLObject sense)`
`static SubLObject`	`inference_partially_commutative_predicate_p_internal(SubLObject predicate)`
`static SubLObject`	`inference_partially_commutative_predicate_p(SubLObject predicate)`
`static SubLObject`	`inference_predicate_backchain_requiredP_internal(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`inference_predicate_backchain_requiredP(SubLObject predicate, SubLObject mt)`
`static SubLObject`	`inference_predicate_p(SubLObject object)`
`static SubLObject`	`inference_reflexive_predicateP(SubLObject predicate)`
`static SubLObject`	`inference_relevant_mtP(SubLObject assertion_mt, SubLObject inference_mt)`
`static SubLObject`	`inference_some_backchain_required_asent_in_clauseP(SubLObject contextualized_dnf_clause)`
`static SubLObject`	`inference_some_genl_pred_or_inverseP(SubLObject pred)`
`static SubLObject`	`inference_some_max_floor_mts(SubLObject mts)`
`static SubLObject`	`inference_some_spec_pred_or_inverseP(SubLObject pred)`
`static SubLObject`	`inference_symmetric_predicateP(SubLObject predicate)`
`static SubLObject`	`inference_transitive_predicateP(SubLObject predicate)`
`static SubLObject`	`init_inference_trampolines_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`memoized_inference_indeterminate_termP_internal(SubLObject value)`
`static SubLObject`	`memoized_inference_indeterminate_termP(SubLObject value)`
`static SubLObject`	`problem_backchain_requiredP(SubLObject problem)` Return T iff PROBLEM is backchain required
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_inference_trampolines_file()`
`static SubLObject`	`some_max_floor_mtsP_cached_internal(SubLObject mts)`
`static SubLObject`	`some_max_floor_mtsP_cached(SubLObject mts)`
`static SubLObject`	`some_max_floor_mtsP(SubLObject mts)`

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

$const0$Collection

public static final SubLObject $const0$Collection

$sym1$INFERENCE_PARTIALLY_COMMUTATIVE_PREDICATE_P

public static final SubLSymbol $sym1$INFERENCE_PARTIALLY_COMMUTATIVE_PREDICATE_P

$kw2$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw2$_MEMOIZED_ITEM_NOT_FOUND_

$sym3$INDETERMINATE_TERM_P

public static final SubLSymbol $sym3$INDETERMINATE_TERM_P

$const4$IndeterminateTerm

public static final SubLObject $const4$IndeterminateTerm

$sym5$_INDETERMINATE_TERM_P_CACHING_STATE_

public static final SubLSymbol $sym5$_INDETERMINATE_TERM_P_CACHING_STATE_

$sym6$CLEAR_INDETERMINATE_TERM_P

public static final SubLSymbol $sym6$CLEAR_INDETERMINATE_TERM_P

$sym7$MEMOIZED_INFERENCE_INDETERMINATE_TERM_

public static final SubLSymbol $sym7$MEMOIZED_INFERENCE_INDETERMINATE_TERM_

$sym8$INFERENCE_ALL_GENL_PREDICATES

public static final SubLSymbol $sym8$INFERENCE_ALL_GENL_PREDICATES

$sym9$INFERENCE_ALL_SPEC_PREDICATES_INT

public static final SubLSymbol $sym9$INFERENCE_ALL_SPEC_PREDICATES_INT

$sym10$INFERENCE_ALL_GENL_INVERSES

public static final SubLSymbol $sym10$INFERENCE_ALL_GENL_INVERSES

$sym11$INFERENCE_ALL_SPEC_INVERSES_INT

public static final SubLSymbol $sym11$INFERENCE_ALL_SPEC_INVERSES_INT

$sym12$INFERENCE_ALL_PROPER_GENL_PREDICATES_WITH_AXIOM_INDEX

public static final SubLSymbol $sym12$INFERENCE_ALL_PROPER_GENL_PREDICATES_WITH_AXIOM_INDEX

$kw13$DEPTH

public static final SubLSymbol $kw13$DEPTH

$kw14$STACK

public static final SubLSymbol $kw14$STACK

$kw15$QUEUE

public static final SubLSymbol $kw15$QUEUE

$sym16$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym16$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw17$ERROR

public static final SubLSymbol $kw17$ERROR

$str18$_A_is_not_a__A

public static final SubLString $str18$_A_is_not_a__A

$sym19$SBHL_TRUE_TV_P

public static final SubLSymbol $sym19$SBHL_TRUE_TV_P

$kw20$CERROR

public static final SubLSymbol $kw20$CERROR

$str21$continue_anyway

public static final SubLString $str21$continue_anyway

$kw22$WARN

public static final SubLSymbol $kw22$WARN

$str23$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str23$_A_is_not_a_valid__sbhl_type_erro

$const24$genlPreds

public static final SubLObject $const24$genlPreds

$str25$attempting_to_bind_direction_link

public static final SubLString $str25$attempting_to_bind_direction_link

$str26$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str26$Node__a_does_not_pass_sbhl_type_t

$sym27$INFERENCE_ALL_PROPER_SPEC_PREDICATES_WITH_AXIOM_INDEX_INT

public static final SubLSymbol $sym27$INFERENCE_ALL_PROPER_SPEC_PREDICATES_WITH_AXIOM_INDEX_INT

$sym28$INFERENCE_ALL_NEGATION_PREDICATES_WITH_AXIOM_INDEX

public static final SubLSymbol $sym28$INFERENCE_ALL_NEGATION_PREDICATES_WITH_AXIOM_INDEX

$sym29$HLMT_EQUAL

public static final SubLSymbol $sym29$HLMT_EQUAL

$sym30$SOME_MAX_FLOOR_MTS__CACHED

public static final SubLSymbol $sym30$SOME_MAX_FLOOR_MTS__CACHED

$sym31$_SOME_MAX_FLOOR_MTS__CACHED_CACHING_STATE_

public static final SubLSymbol $sym31$_SOME_MAX_FLOOR_MTS__CACHED_CACHING_STATE_

$int32$256

public static final SubLInteger $int32$256

$sym33$CLEAR_SOME_MAX_FLOOR_MTS__CACHED

public static final SubLSymbol $sym33$CLEAR_SOME_MAX_FLOOR_MTS__CACHED

$sym34$INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED

public static final SubLSymbol $sym34$INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED

$sym35$_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED_CACHING_STATE_

public static final SubLSymbol $sym35$_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED_CACHING_STATE_

$sym36$CLEAR_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED

public static final SubLSymbol $sym36$CLEAR_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED

$sym37$INFERENCE_MAX_FLOOR_MTS_OF_NAT

public static final SubLSymbol $sym37$INFERENCE_MAX_FLOOR_MTS_OF_NAT

$sym38$INFERENCE_APPLICABLE_SDCT_

public static final SubLSymbol $sym38$INFERENCE_APPLICABLE_SDCT_

$list39

public static final SubLList $list39

$list40

public static final SubLList $list40

$kw41$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw41$ALLOW_OTHER_KEYS

$kw42$DONE

public static final SubLSymbol $kw42$DONE

$sym43$DO_GAF_LOOKUP_INDEX

public static final SubLSymbol $sym43$DO_GAF_LOOKUP_INDEX

$sym44$INFERENCE_GAF_LOOKUP_INDEX

public static final SubLSymbol $sym44$INFERENCE_GAF_LOOKUP_INDEX

$kw45$TRUTH

public static final SubLSymbol $kw45$TRUTH

$sym46$SENSE_TRUTH

public static final SubLSymbol $sym46$SENSE_TRUTH

$sym47$INFERENCE_NUM_GAF_LOOKUP_INDEX

public static final SubLSymbol $sym47$INFERENCE_NUM_GAF_LOOKUP_INDEX

$sym48$INFERENCE_RELEVANT_NUM_GAF_LOOKUP_INDEX

public static final SubLSymbol $sym48$INFERENCE_RELEVANT_NUM_GAF_LOOKUP_INDEX

$sym49$INFERENCE_KEY_GAF_ARG_INDEX

public static final SubLSymbol $sym49$INFERENCE_KEY_GAF_ARG_INDEX

$sym50$PROBLEM_P

public static final SubLSymbol $sym50$PROBLEM_P

$list51

public static final SubLList $list51

$const52$isa

public static final SubLObject $const52$isa

$const53$genls

public static final SubLObject $const53$genls

$sym54$INFERENCE_PREDICATE_BACKCHAIN_REQUIRED_

public static final SubLSymbol $sym54$INFERENCE_PREDICATE_BACKCHAIN_REQUIRED_

$sym55$INFERENCE_BACKCHAIN_FORBIDDEN_

public static final SubLSymbol $sym55$INFERENCE_BACKCHAIN_FORBIDDEN_

$sym56$INFERENCE_COLLECTION_ISA_BACKCHAIN_ENCOURAGED_

public static final SubLSymbol $sym56$INFERENCE_COLLECTION_ISA_BACKCHAIN_ENCOURAGED_

$sym57$INFERENCE_COLLECTION_GENLS_BACKCHAIN_ENCOURAGED_

public static final SubLSymbol $sym57$INFERENCE_COLLECTION_GENLS_BACKCHAIN_ENCOURAGED_

$sym58$INFERENCE_COLLECTION_BACKCHAIN_ENCOURAGED_

public static final SubLSymbol $sym58$INFERENCE_COLLECTION_BACKCHAIN_ENCOURAGED_

$sym59$INFERENCE_COLLECTION_BACKCHAIN_REQUIRED_

public static final SubLSymbol $sym59$INFERENCE_COLLECTION_BACKCHAIN_REQUIRED_

$sym60$INFERENCE_COLLECTION_ISA_BACKCHAIN_REQUIRED_

public static final SubLSymbol $sym60$INFERENCE_COLLECTION_ISA_BACKCHAIN_REQUIRED_

$sym61$INFERENCE_COLLECTION_GENLS_BACKCHAIN_REQUIRED_

public static final SubLSymbol $sym61$INFERENCE_COLLECTION_GENLS_BACKCHAIN_REQUIRED_

$const62$highlyRelevantMt

public static final SubLObject $const62$highlyRelevantMt

$kw63$TRUE

public static final SubLSymbol $kw63$TRUE

$const64$highlyRelevantAssertion

public static final SubLObject $const64$highlyRelevantAssertion

$const65$highlyRelevantPredAssertion

public static final SubLObject $const65$highlyRelevantPredAssertion

$const66$highlyRelevantTerm

public static final SubLObject $const66$highlyRelevantTerm

$const67$irrelevantMt

public static final SubLObject $const67$irrelevantMt

$const68$irrelevantAssertion

public static final SubLObject $const68$irrelevantAssertion

$const69$irrelevantPredAssertion

public static final SubLObject $const69$irrelevantPredAssertion

$const70$irrelevantTerm

public static final SubLObject $const70$irrelevantTerm

$const71$assertionUtility

public static final SubLObject $const71$assertionUtility

$sym72$INFERENCE_KNOWN_SENTENCE_REMOVAL_QUERY

public static final SubLSymbol $sym72$INFERENCE_KNOWN_SENTENCE_REMOVAL_QUERY

$kw73$ALLOWED_MODULES

public static final SubLSymbol $kw73$ALLOWED_MODULES

$sym74$REMOVAL_ASK_QUERY_PROPERTY_P

public static final SubLSymbol $sym74$REMOVAL_ASK_QUERY_PROPERTY_P

$kw75$FALSE

public static final SubLSymbol $kw75$FALSE

$sym76$INFERENCE_TRUE_SENTENCE_RECURSIVE_QUERY

public static final SubLSymbol $sym76$INFERENCE_TRUE_SENTENCE_RECURSIVE_QUERY

$kw77$MAX_NUMBER

public static final SubLSymbol $kw77$MAX_NUMBER

$sym78$INFERENCE_MTS_WHERE_GAF_SENTENCE_TRUE

public static final SubLSymbol $sym78$INFERENCE_MTS_WHERE_GAF_SENTENCE_TRUE

$list79

public static final SubLList $list79

$sym80$INFERENCE_MTS_WHERE_GAF_SENTENCE_TRUE_JUSTIFIED_MEMOIZED

public static final SubLSymbol $sym80$INFERENCE_MTS_WHERE_GAF_SENTENCE_TRUE_JUSTIFIED_MEMOIZED

$const81$InferencePSC

public static final SubLObject $const81$InferencePSC

$kw82$MAX_TRANSFORMATION_DEPTH

public static final SubLSymbol $kw82$MAX_TRANSFORMATION_DEPTH

$list83

public static final SubLList $list83

$const84$TheSetOf

public static final SubLObject $const84$TheSetOf

$sym85$INFERENCE_RULE_TYPE_CONSTRAINTS

public static final SubLSymbol $sym85$INFERENCE_RULE_TYPE_CONSTRAINTS

Method Detail

inference_collectionP

public static final SubLObject inference_collectionP(SubLObject object,
                                                     SubLObject mt)

inference_predicate_p

public static final SubLObject inference_predicate_p(SubLObject object)

inference_commutative_relationP

public static final SubLObject inference_commutative_relationP(SubLObject relation)

inference_symmetric_predicateP

public static final SubLObject inference_symmetric_predicateP(SubLObject predicate)

inference_commutative_predicate_p

public static final SubLObject inference_commutative_predicate_p(SubLObject predicate)

inference_partially_commutative_predicate_p_internal

public static final SubLObject inference_partially_commutative_predicate_p_internal(SubLObject predicate)

inference_partially_commutative_predicate_p

public static final SubLObject inference_partially_commutative_predicate_p(SubLObject predicate)

inference_at_least_partially_commutative_predicate_p

public static final SubLObject inference_at_least_partially_commutative_predicate_p(SubLObject predicate)

inference_transitive_predicateP

public static final SubLObject inference_transitive_predicateP(SubLObject predicate)

inference_evaluatable_predicateP

public static final SubLObject inference_evaluatable_predicateP(SubLObject predicate)

inference_reflexive_predicateP

public static final SubLObject inference_reflexive_predicateP(SubLObject predicate)

inference_irreflexive_predicateP

public static final SubLObject inference_irreflexive_predicateP(SubLObject predicate)

inference_indeterminate_termP

public static final SubLObject inference_indeterminate_termP(SubLObject value)

clear_indeterminate_term_p

public static final SubLObject clear_indeterminate_term_p()

indeterminate_term_p_internal

public static final SubLObject indeterminate_term_p_internal(SubLObject fort)

indeterminate_term_p

public static final SubLObject indeterminate_term_p(SubLObject fort)

memoized_inference_indeterminate_termP_internal

public static final SubLObject memoized_inference_indeterminate_termP_internal(SubLObject value)

memoized_inference_indeterminate_termP

public static final SubLObject memoized_inference_indeterminate_termP(SubLObject value)

inference_some_genl_pred_or_inverseP

public static final SubLObject inference_some_genl_pred_or_inverseP(SubLObject pred)

inference_some_spec_pred_or_inverseP

public static final SubLObject inference_some_spec_pred_or_inverseP(SubLObject pred)

inference_all_spec_predicates

public static final SubLObject inference_all_spec_predicates(SubLObject predicate)

inference_all_spec_predicates_int_internal

public static final SubLObject inference_all_spec_predicates_int_internal(SubLObject predicate)

inference_all_spec_predicates_int

public static final SubLObject inference_all_spec_predicates_int(SubLObject predicate)

inference_all_spec_inverses

public static final SubLObject inference_all_spec_inverses(SubLObject predicate)

inference_all_spec_inverses_int_internal

public static final SubLObject inference_all_spec_inverses_int_internal(SubLObject predicate)

inference_all_spec_inverses_int

public static final SubLObject inference_all_spec_inverses_int(SubLObject predicate)

inference_all_proper_spec_predicates_with_axiom_index

public static final SubLObject inference_all_proper_spec_predicates_with_axiom_index(SubLObject pred,
                                                                                     SubLObject sense)

inference_all_proper_spec_predicates_with_axiom_index_int_internal

public static final SubLObject inference_all_proper_spec_predicates_with_axiom_index_int_internal(SubLObject pred,
                                                                                                  SubLObject sense)

Returns:: 0 listp; a list of all proper specPreds of PRED with a relevant predicate rule index wrt sense SENSE.

inference_all_proper_spec_predicates_with_axiom_index_int

public static final SubLObject inference_all_proper_spec_predicates_with_axiom_index_int(SubLObject pred,
                                                                                         SubLObject sense)

inference_some_max_floor_mts

public static final SubLObject inference_some_max_floor_mts(SubLObject mts)

clear_some_max_floor_mtsP_cached

public static final SubLObject clear_some_max_floor_mtsP_cached()

some_max_floor_mtsP_cached_internal

public static final SubLObject some_max_floor_mtsP_cached_internal(SubLObject mts)

some_max_floor_mtsP_cached

public static final SubLObject some_max_floor_mtsP_cached(SubLObject mts)

inference_max_floor_mts_with_cycles_pruned

public static final SubLObject inference_max_floor_mts_with_cycles_pruned(SubLObject mts,
                                                                          SubLObject candidates)

clear_inference_max_floor_mts_with_cycles_pruned_cached

public static final SubLObject clear_inference_max_floor_mts_with_cycles_pruned_cached()

inference_max_floor_mts_with_cycles_pruned_cached_internal

public static final SubLObject inference_max_floor_mts_with_cycles_pruned_cached_internal(SubLObject mts)

inference_max_floor_mts_with_cycles_pruned_cached

public static final SubLObject inference_max_floor_mts_with_cycles_pruned_cached(SubLObject mts)

some_max_floor_mtsP

public static final SubLObject some_max_floor_mtsP(SubLObject mts)

inference_gaf_lookup_index_internal

public static final SubLObject inference_gaf_lookup_index_internal(SubLObject asent,
                                                                   SubLObject sense)

inference_gaf_lookup_index

public static final SubLObject inference_gaf_lookup_index(SubLObject asent,
                                                          SubLObject sense)

inference_num_gaf_lookup_index_internal

public static final SubLObject inference_num_gaf_lookup_index_internal(SubLObject asent,
                                                                       SubLObject sense)

inference_num_gaf_lookup_index

public static final SubLObject inference_num_gaf_lookup_index(SubLObject asent,
                                                              SubLObject sense)

problem_backchain_requiredP

public static final SubLObject problem_backchain_requiredP(SubLObject problem)

Return T iff PROBLEM is backchain required

inference_some_backchain_required_asent_in_clauseP

public static final SubLObject inference_some_backchain_required_asent_in_clauseP(SubLObject contextualized_dnf_clause)

inference_backchain_required_contextualized_asentP

public static final SubLObject inference_backchain_required_contextualized_asentP(SubLObject contextualized_asent)

inference_backchain_required_asentP

public static final SubLObject inference_backchain_required_asentP(SubLObject asent,
                                                                   SubLObject mt)

inference_predicate_backchain_requiredP_internal

public static final SubLObject inference_predicate_backchain_requiredP_internal(SubLObject predicate,
                                                                                SubLObject mt)

inference_predicate_backchain_requiredP

public static final SubLObject inference_predicate_backchain_requiredP(SubLObject predicate,
                                                                       SubLObject mt)

inference_backchain_forbiddenP_internal

public static final SubLObject inference_backchain_forbiddenP_internal(SubLObject predicate,
                                                                       SubLObject mt)

inference_backchain_forbiddenP

public static final SubLObject inference_backchain_forbiddenP(SubLObject predicate,
                                                              SubLObject mt)

inference_collection_backchain_requiredP_internal

public static final SubLObject inference_collection_backchain_requiredP_internal(SubLObject col,
                                                                                 SubLObject mt)

inference_collection_backchain_requiredP

public static final SubLObject inference_collection_backchain_requiredP(SubLObject col,
                                                                        SubLObject mt)

inference_collection_isa_backchain_requiredP_internal

public static final SubLObject inference_collection_isa_backchain_requiredP_internal(SubLObject col,
                                                                                     SubLObject mt)

inference_collection_isa_backchain_requiredP

public static final SubLObject inference_collection_isa_backchain_requiredP(SubLObject col,
                                                                            SubLObject mt)

inference_collection_genls_backchain_requiredP_internal

public static final SubLObject inference_collection_genls_backchain_requiredP_internal(SubLObject col,
                                                                                       SubLObject mt)

inference_collection_genls_backchain_requiredP

public static final SubLObject inference_collection_genls_backchain_requiredP(SubLObject col,
                                                                              SubLObject mt)

backchain_control_mt

public static final SubLObject backchain_control_mt(SubLObject mt)

Assuming that we are doing inference MT, return the mt in which to look for assertions that control the behaviour of backchaining. If all mts are relevant, we need to be conservative and only look for universally true backchain control assertions.

inference_relevant_mtP

public static final SubLObject inference_relevant_mtP(SubLObject assertion_mt,
                                                      SubLObject inference_mt)

inference_irrelevant_mtP

public static final SubLObject inference_irrelevant_mtP(SubLObject assertion_mt,
                                                        SubLObject inference_mt)

declare_inference_trampolines_file

public static final SubLObject declare_inference_trampolines_file()

init_inference_trampolines_file

public static final SubLObject init_inference_trampolines_file()

setup_inference_trampolines_file

public static final SubLObject setup_inference_trampolines_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.inference Class inference_trampolines

me

myName

$const0$Collection

$sym1$INFERENCE_PARTIALLY_COMMUTATIVE_PREDICATE_P

$kw2$_MEMOIZED_ITEM_NOT_FOUND_

$sym3$INDETERMINATE_TERM_P

$const4$IndeterminateTerm

$sym5$_INDETERMINATE_TERM_P_CACHING_STATE_

$sym6$CLEAR_INDETERMINATE_TERM_P

$sym7$MEMOIZED_INFERENCE_INDETERMINATE_TERM_

$sym8$INFERENCE_ALL_GENL_PREDICATES

$sym9$INFERENCE_ALL_SPEC_PREDICATES_INT

$sym10$INFERENCE_ALL_GENL_INVERSES

$sym11$INFERENCE_ALL_SPEC_INVERSES_INT

$sym12$INFERENCE_ALL_PROPER_GENL_PREDICATES_WITH_AXIOM_INDEX

$kw13$DEPTH

$kw14$STACK

$kw15$QUEUE

$sym16$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw17$ERROR

$str18$_A_is_not_a__A

$sym19$SBHL_TRUE_TV_P

$kw20$CERROR

$str21$continue_anyway

$kw22$WARN

$str23$_A_is_not_a_valid__sbhl_type_erro

$const24$genlPreds

$str25$attempting_to_bind_direction_link

$str26$Node__a_does_not_pass_sbhl_type_t

$sym27$INFERENCE_ALL_PROPER_SPEC_PREDICATES_WITH_AXIOM_INDEX_INT

$sym28$INFERENCE_ALL_NEGATION_PREDICATES_WITH_AXIOM_INDEX

$sym29$HLMT_EQUAL

$sym30$SOME_MAX_FLOOR_MTS__CACHED

$sym31$_SOME_MAX_FLOOR_MTS__CACHED_CACHING_STATE_

$int32$256

$sym33$CLEAR_SOME_MAX_FLOOR_MTS__CACHED

$sym34$INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED

$sym35$_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED_CACHING_STATE_

$sym36$CLEAR_INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED_CACHED

$sym37$INFERENCE_MAX_FLOOR_MTS_OF_NAT

$sym38$INFERENCE_APPLICABLE_SDCT_

$list39

$list40

$kw41$ALLOW_OTHER_KEYS

$kw42$DONE

$sym43$DO_GAF_LOOKUP_INDEX

$sym44$INFERENCE_GAF_LOOKUP_INDEX

$kw45$TRUTH

$sym46$SENSE_TRUTH

$sym47$INFERENCE_NUM_GAF_LOOKUP_INDEX

$sym48$INFERENCE_RELEVANT_NUM_GAF_LOOKUP_INDEX

$sym49$INFERENCE_KEY_GAF_ARG_INDEX

$sym50$PROBLEM_P

$list51

$const52$isa

$const53$genls

$sym54$INFERENCE_PREDICATE_BACKCHAIN_REQUIRED_

$sym55$INFERENCE_BACKCHAIN_FORBIDDEN_

$sym56$INFERENCE_COLLECTION_ISA_BACKCHAIN_ENCOURAGED_

$sym57$INFERENCE_COLLECTION_GENLS_BACKCHAIN_ENCOURAGED_

$sym58$INFERENCE_COLLECTION_BACKCHAIN_ENCOURAGED_

$sym59$INFERENCE_COLLECTION_BACKCHAIN_REQUIRED_

$sym60$INFERENCE_COLLECTION_ISA_BACKCHAIN_REQUIRED_

$sym61$INFERENCE_COLLECTION_GENLS_BACKCHAIN_REQUIRED_

$const62$highlyRelevantMt

$kw63$TRUE

$const64$highlyRelevantAssertion

$const65$highlyRelevantPredAssertion

$const66$highlyRelevantTerm

$const67$irrelevantMt

$const68$irrelevantAssertion

$const69$irrelevantPredAssertion

$const70$irrelevantTerm

$const71$assertionUtility

$sym72$INFERENCE_KNOWN_SENTENCE_REMOVAL_QUERY

$kw73$ALLOWED_MODULES

$sym74$REMOVAL_ASK_QUERY_PROPERTY_P

$kw75$FALSE

$sym76$INFERENCE_TRUE_SENTENCE_RECURSIVE_QUERY

com.cyc.cycjava.cycl.inference
Class inference_trampolines