com.cyc.cycjava.cycl.inference.modules.removal
Class removal_modules_tva_lookup
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_tva_lookup
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class removal_modules_tva_lookup
- extends SubLTranslatedFile
| 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 |
declare_removal_modules_tva_lookup_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_removal_modules_tva_lookup_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
no_nested_variables_p(SubLObject asent)
|
static SubLObject |
removal_tva_check_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_tva_required(SubLObject asent)
|
static SubLObject |
removal_tva_unify_closure_conjunction_applicability(SubLObject contextualized_dnf_clause)
|
static SubLObject |
removal_tva_unify_closure_conjunction_appropriate_asentP(SubLObject asent,
SubLObject mt)
|
static SubLObject |
removal_tva_unify_closure_conjunction_appropriate_predicateP(SubLObject predicate)
|
static SubLObject |
removal_tva_unify_closure_required(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_tva_unify_cost(SubLObject asent,
SubLObject sense)
|
static SubLObject |
removal_tva_unify_required_int_internal(SubLObject asent,
SubLObject mt)
|
static SubLObject |
removal_tva_unify_required_int(SubLObject asent,
SubLObject mt)
|
static SubLObject |
removal_tva_unify_required(SubLObject asent,
SubLObject sense)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_removal_modules_tva_lookup_file()
|
static SubLObject |
tva_applicable_to_some_bindable_argP(SubLObject asent,
SubLObject bindable_vars)
|
static SubLObject |
tva_asent_has_fully_bound_argP(SubLObject asent)
|
static SubLObject |
tva_pos_preference(SubLObject asent,
SubLObject bindable_vars,
SubLObject strategic_context)
|
static SubLObject |
tva_unify_from_cache_possibleP(SubLObject asent)
|
static SubLObject |
tva_unify_usefulP(SubLObject asent)
TVA will only be useful on ASENT if ASENT has some non-variable terms in transitivity arg positions. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$kw0$TVA_POS
public static final SubLSymbol $kw0$TVA_POS
$list1
public static final SubLList $list1
$kw2$REMOVAL_TVA_CHECK
public static final SubLSymbol $kw2$REMOVAL_TVA_CHECK
$kw3$REMOVAL_TVA_UNIFY
public static final SubLSymbol $kw3$REMOVAL_TVA_UNIFY
$kw4$REMOVAL_TVA_UNIFY_CLOSURE
public static final SubLSymbol $kw4$REMOVAL_TVA_UNIFY_CLOSURE
$kw5$NONE
public static final SubLSymbol $kw5$NONE
$kw6$PREFERRED
public static final SubLSymbol $kw6$PREFERRED
$list7
public static final SubLList $list7
$list8
public static final SubLList $list8
$kw9$DISALLOWED
public static final SubLSymbol $kw9$DISALLOWED
$kw10$TACTICAL
public static final SubLSymbol $kw10$TACTICAL
$kw11$DISPREFERRED
public static final SubLSymbol $kw11$DISPREFERRED
$kw12$ALL
public static final SubLSymbol $kw12$ALL
$kw13$GROSSLY_DISPREFERRED
public static final SubLSymbol $kw13$GROSSLY_DISPREFERRED
$kw14$IGNORE
public static final SubLSymbol $kw14$IGNORE
$kw15$POS
public static final SubLSymbol $kw15$POS
$kw16$GAF_ARG
public static final SubLSymbol $kw16$GAF_ARG
$kw17$GAF
public static final SubLSymbol $kw17$GAF
$kw18$PREDICATE_EXTENT
public static final SubLSymbol $kw18$PREDICATE_EXTENT
$kw19$OVERLAP
public static final SubLSymbol $kw19$OVERLAP
$sym20$FULLY_BOUND_P
public static final SubLSymbol $sym20$FULLY_BOUND_P
$list21
public static final SubLList $list21
$list22
public static final SubLList $list22
$sym23$INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED
public static final SubLSymbol $sym23$INFERENCE_MAX_FLOOR_MTS_WITH_CYCLES_PRUNED
$sym24$HLMT_EQUAL
public static final SubLSymbol $sym24$HLMT_EQUAL
$sym25$FIRST
public static final SubLSymbol $sym25$FIRST
$sym26$RELEVANT_MT_IS_ANY_MT
public static final SubLSymbol $sym26$RELEVANT_MT_IS_ANY_MT
$const27$InferencePSC
public static final SubLObject $const27$InferencePSC
$sym28$SECOND
public static final SubLSymbol $sym28$SECOND
$sym29$TVA_MAX_FLOOR_MTS_OF_JUST
public static final SubLSymbol $sym29$TVA_MAX_FLOOR_MTS_OF_JUST
$kw30$TVA
public static final SubLSymbol $kw30$TVA
$sym31$FAST_NON_SKOLEM_INDETERMINATE_TERM_
public static final SubLSymbol $sym31$FAST_NON_SKOLEM_INDETERMINATE_TERM_
$sym32$NON_SKOLEM_INDETERMINATE_TERM_
public static final SubLSymbol $sym32$NON_SKOLEM_INDETERMINATE_TERM_
$list33
public static final SubLList $list33
$sym34$REMOVAL_TVA_UNIFY_REQUIRED_INT
public static final SubLSymbol $sym34$REMOVAL_TVA_UNIFY_REQUIRED_INT
$kw35$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw35$_MEMOIZED_ITEM_NOT_FOUND_
$kw36$DEPTH
public static final SubLSymbol $kw36$DEPTH
$kw37$STACK
public static final SubLSymbol $kw37$STACK
$kw38$QUEUE
public static final SubLSymbol $kw38$QUEUE
$sym39$RELEVANT_SBHL_TV_IS_GENERAL_TV
public static final SubLSymbol $sym39$RELEVANT_SBHL_TV_IS_GENERAL_TV
$kw40$ERROR
public static final SubLSymbol $kw40$ERROR
$str41$_A_is_not_a__A
public static final SubLString $str41$_A_is_not_a__A
$sym42$SBHL_TRUE_TV_P
public static final SubLSymbol $sym42$SBHL_TRUE_TV_P
$kw43$CERROR
public static final SubLSymbol $kw43$CERROR
$str44$continue_anyway
public static final SubLString $str44$continue_anyway
$kw45$WARN
public static final SubLSymbol $kw45$WARN
$str46$_A_is_not_a_valid__sbhl_type_erro
public static final SubLString $str46$_A_is_not_a_valid__sbhl_type_erro
$const47$genlPreds
public static final SubLObject $const47$genlPreds
$const48$transitiveViaArg
public static final SubLObject $const48$transitiveViaArg
$const49$conservativeViaArg
public static final SubLObject $const49$conservativeViaArg
$const50$transitiveViaArgInverse
public static final SubLObject $const50$transitiveViaArgInverse
$const51$conservativeViaArgInverse
public static final SubLObject $const51$conservativeViaArgInverse
$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
$sym54$HL_VARIABLE_P
public static final SubLSymbol $sym54$HL_VARIABLE_P
$list55
public static final SubLList $list55
$list56
public static final SubLList $list56
$list57
public static final SubLList $list57
$kw58$REMOVAL_TVA_UNIFY_CLOSURE_CONJUNCTION
public static final SubLSymbol $kw58$REMOVAL_TVA_UNIFY_CLOSURE_CONJUNCTION
$list59
public static final SubLList $list59
$list60
public static final SubLList $list60
$list61
public static final SubLList $list61
$sym62$_
public static final SubLSymbol $sym62$_
$sym63$TVA_CLOSURE_CRM_ITERATOR_DONE
public static final SubLSymbol $sym63$TVA_CLOSURE_CRM_ITERATOR_DONE
$sym64$TVA_CLOSURE_CRM_ITERATOR_NEXT
public static final SubLSymbol $sym64$TVA_CLOSURE_CRM_ITERATOR_NEXT
$sym65$TVA_CLOSURE_CRM_ITERATOR_FINALIZE
public static final SubLSymbol $sym65$TVA_CLOSURE_CRM_ITERATOR_FINALIZE
$list66
public static final SubLList $list66
tva_pos_preference
public static final SubLObject tva_pos_preference(SubLObject asent,
SubLObject bindable_vars,
SubLObject strategic_context)
tva_asent_has_fully_bound_argP
public static final SubLObject tva_asent_has_fully_bound_argP(SubLObject asent)
tva_applicable_to_some_bindable_argP
public static final SubLObject tva_applicable_to_some_bindable_argP(SubLObject asent,
SubLObject bindable_vars)
removal_tva_required
public static final SubLObject removal_tva_required(SubLObject asent)
- Returns:
- booleanp. Whether ASENT meets the requirements to be proved by :tva
removal_tva_check_required
public static final SubLObject removal_tva_check_required(SubLObject asent,
SubLObject sense)
removal_tva_unify_required
public static final SubLObject removal_tva_unify_required(SubLObject asent,
SubLObject sense)
removal_tva_unify_required_int_internal
public static final SubLObject removal_tva_unify_required_int_internal(SubLObject asent,
SubLObject mt)
removal_tva_unify_required_int
public static final SubLObject removal_tva_unify_required_int(SubLObject asent,
SubLObject mt)
tva_unify_usefulP
public static final SubLObject tva_unify_usefulP(SubLObject asent)
- TVA will only be useful on ASENT if ASENT has some non-variable terms in transitivity arg positions.
tva_unify_from_cache_possibleP
public static final SubLObject tva_unify_from_cache_possibleP(SubLObject asent)
no_nested_variables_p
public static final SubLObject no_nested_variables_p(SubLObject asent)
removal_tva_unify_cost
public static final SubLObject removal_tva_unify_cost(SubLObject asent,
SubLObject sense)
removal_tva_unify_closure_required
public static final SubLObject removal_tva_unify_closure_required(SubLObject asent,
SubLObject sense)
removal_tva_unify_closure_conjunction_applicability
public static final SubLObject removal_tva_unify_closure_conjunction_applicability(SubLObject contextualized_dnf_clause)
removal_tva_unify_closure_conjunction_appropriate_asentP
public static final SubLObject removal_tva_unify_closure_conjunction_appropriate_asentP(SubLObject asent,
SubLObject mt)
removal_tva_unify_closure_conjunction_appropriate_predicateP
public static final SubLObject removal_tva_unify_closure_conjunction_appropriate_predicateP(SubLObject predicate)
declare_removal_modules_tva_lookup_file
public static final SubLObject declare_removal_modules_tva_lookup_file()
init_removal_modules_tva_lookup_file
public static final SubLObject init_removal_modules_tva_lookup_file()
setup_removal_modules_tva_lookup_file
public static final SubLObject setup_removal_modules_tva_lookup_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.