inference_modules

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.harness
Class inference_modules

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_modules
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_modules.$allowed_modules_spec_p$UnaryFunction`
`static class`	`inference_modules.$hl_module_native`
`static class`	`inference_modules.$hl_module_p$UnaryFunction`
`static class`	`inference_modules.$hl_module_sense$UnaryFunction`
`static class`	`inference_modules.$sxhash_hl_module_method$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_hl_module$
`static SubLInteger`	`$int144$32`
`static SubLInteger`	`$int150$50`
`static SubLInteger`	`$int189$256`
`static SubLInteger`	`$int76$212`
`static SubLSymbol`	`$kw100$RULE_FILTER`
`static SubLSymbol`	`$kw101$EXPAND`
`static SubLSymbol`	`$kw102$REMOVAL`
`static SubLSymbol`	`$kw106$EXPAND_PATTERN`
`static SubLSymbol`	`$kw107$EXPAND_ITERATIVE_PATTERN`
`static SubLSymbol`	`$kw109$FORWARD`
`static SubLSymbol`	`$kw11$KB`
`static SubLSymbol`	`$kw110$INPUT_EXTRACT_PATTERN`
`static SubLSymbol`	`$kw111$INPUT_VERIFY_PATTERN`
`static SubLSymbol`	`$kw112$INPUT_ENCODE_PATTERN`
`static SubLSymbol`	`$kw113$OUTPUT_CHECK_PATTERN`
`static SubLSymbol`	`$kw114$OUTPUT_GENERATE_PATTERN`
`static SubLSymbol`	`$kw115$OUTPUT_DECODE_PATTERN`
`static SubLSymbol`	`$kw116$OUTPUT_VERIFY_PATTERN`
`static SubLSymbol`	`$kw117$OUTPUT_CONSTRUCT_PATTERN`
`static SubLSymbol`	`$kw118$SUPPORT_PATTERN`
`static SubLSymbol`	`$kw119$SUPPORT`
`static SubLSymbol`	`$kw120$SUPPORT_MODULE`
`static SubLSymbol`	`$kw121$SUPPORT_MT`
`static SubLSymbol`	`$kw122$SUPPORT_STRENGTH`
`static SubLSymbol`	`$kw123$EVERY_PREDICATES`
`static SubLSymbol`	`$kw124$APPLICABILITY`
`static SubLSymbol`	`$kw125$APPLICABILITY_PATTERN`
`static SubLSymbol`	`$kw126$DOCUMENTATION`
`static SubLSymbol`	`$kw127$EXAMPLE`
`static SubLSymbol`	`$kw128$COMPLETE`
`static SubLSymbol`	`$kw129$INCOMPLETE`
`static SubLSymbol`	`$kw13$MODULE_SUBTYPE`
`static SubLSymbol`	`$kw130$COMPLETE_PATTERN`
`static SubLSymbol`	`$kw131$COMPLETENESS_PATTERN`
`static SubLSymbol`	`$kw132$EXTERNAL`
`static SubLSymbol`	`$kw15$ALL`
`static SubLSymbol`	`$kw151$POS`
`static SubLSymbol`	`$kw152$NEG`
`static SubLSymbol`	`$kw16$OR`
`static SubLSymbol`	`$kw161$REMOVAL_CONJUNCTIVE`
`static SubLSymbol`	`$kw165$META_REMOVAL`
`static SubLSymbol`	`$kw170$TRANSFORMATION`
`static SubLSymbol`	`$kw175$META_TRANSFORMATION`
`static SubLSymbol`	`$kw178$REWRITE_SUPPORT`
`static SubLSymbol`	`$kw179$REWRITE_CLOSURE`
`static SubLSymbol`	`$kw18$AND`
`static SubLSymbol`	`$kw180$REWRITE`
`static SubLSymbol`	`$kw183$STRUCTURAL`
`static SubLSymbol`	`$kw188$META_STRUCTURAL`
`static SubLSymbol`	`$kw19$NOT`
`static SubLSymbol`	`$kw20$MODULE_TYPE`
`static SubLSymbol`	`$kw53$NAME`
`static SubLSymbol`	`$kw54$PLIST`
`static SubLSymbol`	`$kw55$SENSE`
`static SubLSymbol`	`$kw56$PREDICATE`
`static SubLSymbol`	`$kw57$ANY_PREDICATES`
`static SubLSymbol`	`$kw58$ARITY`
`static SubLSymbol`	`$kw59$DIRECTION`
`static SubLSymbol`	`$kw60$REQUIRED_PATTERN`
`static SubLSymbol`	`$kw61$REQUIRED_MT`
`static SubLSymbol`	`$kw62$EXCLUSIVE_FUNC`
`static SubLSymbol`	`$kw63$REQUIRED_FUNC`
`static SubLSymbol`	`$kw64$COMPLETENESS`
`static SubLSymbol`	`$kw70$EXCLUSIVE`
`static SubLSymbol`	`$kw71$SUPPLANTS`
`static SubLSymbol`	`$kw73$FREE`
`static SubLSymbol`	`$kw74$DEFAULT`
`static SubLSymbol`	`$kw79$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw80$DONE`
`static SubLSymbol`	`$kw87$ABDUCTION`
`static SubLSymbol`	`$kw88$UNIVERSAL`
`static SubLSymbol`	`$kw89$MODULE_SOURCE`
`static SubLSymbol`	`$kw90$ANYTHING`
`static SubLSymbol`	`$kw91$REQUIRED`
`static SubLSymbol`	`$kw92$COST_PATTERN`
`static SubLSymbol`	`$kw93$COST_EXPRESSION`
`static SubLSymbol`	`$kw94$COST`
`static SubLSymbol`	`$kw95$CHECK`
`static SubLSymbol`	`$kw96$UNKNOWN`
`static SubLSymbol`	`$kw97$NOT_FULLY_BOUND`
`static SubLSymbol`	`$kw99$RULE_SELECT`
`static SubLList`	`$list1`
`static SubLList`	`$list10`
`static SubLList`	`$list12`
`static SubLList`	`$list134`
`static SubLList`	`$list136`
`static SubLList`	`$list14`
`static SubLList`	`$list155`
`static SubLList`	`$list157`
`static SubLList`	`$list158`
`static SubLList`	`$list162`
`static SubLList`	`$list167`
`static SubLList`	`$list172`
`static SubLList`	`$list177`
`static SubLList`	`$list185`
`static SubLList`	`$list2`
`static SubLList`	`$list23`
`static SubLList`	`$list24`
`static SubLList`	`$list25`
`static SubLList`	`$list26`
`static SubLList`	`$list6`
`static SubLList`	`$list77`
`static SubLList`	`$list78`
`static SubLList`	`$list83`
`static SubLString`	`$str153$removal_module__S_must_have_a__SE`
`static SubLString`	`$str181$rewrite_module__S_must_have_a__SE`
`static SubLString`	`$str65$Invalid_slot__S_for_construction_`
`static SubLString`	`$str66$_HL_Module___a_`
`static SubLString`	`$str72$_supplants_is_meaningless_without`
`static SubLString`	`$str98$check`
`static SubLSymbol`	`$sym0$_META_REMOVAL_MODULES_`
`static SubLSymbol`	`$sym103$INFERENCE_REMOVE_CHECK_DEFAULT`
`static SubLSymbol`	`$sym104$INFERENCE_REMOVE_UNIFY_DEFAULT`
`static SubLSymbol`	`$sym105$DEFAULT_EXPAND_FUNC`
`static SubLSymbol`	`$sym108$PATTERN_MATCHES_FORMULA`
`static SubLSymbol`	`$sym133$_REMOVAL_MODULES_`
`static SubLSymbol`	`$sym135$DO_SET`
`static SubLSymbol`	`$sym137$REMOVAL_MODULES`
`static SubLSymbol`	`$sym138$DO_REMOVAL_MODULES`
`static SubLSymbol`	`$sym139$_REMOVAL_MODULES_EXTERNAL_`
`static SubLSymbol`	`$sym140$_REMOVAL_MODULES_GENERIC_`
`static SubLSymbol`	`$sym141$HL_MODULE_SENSE`
`static SubLSymbol`	`$sym142$_REMOVAL_MODULES_UNIVERSAL_`
`static SubLSymbol`	`$sym143$_REMOVAL_MODULES_SPECIFIC_`
`static SubLSymbol`	`$sym145$FORT_P`
`static SubLSymbol`	`$sym146$_REMOVAL_MODULES_SPECIFIC_USE_GENERIC_`
`static SubLSymbol`	`$sym147$_REMOVAL_MODULES_SPECIFIC_USE_META_REMOVAL_`
`static SubLSymbol`	`$sym148$_REMOVAL_MODULES_SPECIFIC_DONT_USE_UNIVERSAL_`
`static SubLSymbol`	`$sym149$_SOLELY_SPECIFIC_REMOVAL_MODULE_PREDICATE_STORE_`
`static SubLSymbol`	`$sym154$CAR`
`static SubLSymbol`	`$sym156$_CONJUNCTIVE_REMOVAL_MODULES_`
`static SubLSymbol`	`$sym159$REMOVAL_MODULES_CONJUNCTIVE`
`static SubLSymbol`	`$sym160$DO_CONJUNCTIVE_REMOVAL_MODULES`
`static SubLSymbol`	`$sym163$META_REMOVAL_MODULES`
`static SubLSymbol`	`$sym164$DO_META_REMOVAL_MODULES`
`static SubLSymbol`	`$sym166$_TRANSFORMATION_MODULES_`
`static SubLSymbol`	`$sym168$TRANSFORMATION_MODULES`
`static SubLSymbol`	`$sym169$DO_TRANSFORMATION_MODULES`
`static SubLSymbol`	`$sym17$ALLOWED_MODULES_SPEC_P`
`static SubLSymbol`	`$sym171$_META_TRANSFORMATION_MODULES_`
`static SubLSymbol`	`$sym173$META_TRANSFORMATION_MODULES`
`static SubLSymbol`	`$sym174$DO_META_TRANSFORMATION_MODULES`
`static SubLSymbol`	`$sym176$_REWRITE_MODULES_`
`static SubLSymbol`	`$sym182$_STRUCTURAL_MODULES_`
`static SubLSymbol`	`$sym184$_META_STRUCTURAL_MODULES_`
`static SubLSymbol`	`$sym186$META_STRUCTURAL_MODULES`
`static SubLSymbol`	`$sym187$DO_META_STRUCTURAL_MODULES`
`static SubLSymbol`	`$sym190$CFASL_INPUT_HL_MODULE`
`static SubLSymbol`	`$sym191$CFASL_OUTPUT_OBJECT_HL_MODULE_METHOD`
`static SubLSymbol`	`$sym21$HL_MODULE_P`
`static SubLSymbol`	`$sym22$HL_MODULE`
`static SubLSymbol`	`$sym27$PRINT_HL_MODULE`
`static SubLSymbol`	`$sym28$HL_MODULE_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym29$HL_MOD_NAME`
`static SubLSymbol`	`$sym3$MODULE_VAR`
`static SubLSymbol`	`$sym30$_CSETF_HL_MOD_NAME`
`static SubLSymbol`	`$sym31$HL_MOD_PLIST`
`static SubLSymbol`	`$sym32$_CSETF_HL_MOD_PLIST`
`static SubLSymbol`	`$sym33$HL_MOD_SENSE`
`static SubLSymbol`	`$sym34$_CSETF_HL_MOD_SENSE`
`static SubLSymbol`	`$sym35$HL_MOD_PREDICATE`
`static SubLSymbol`	`$sym36$_CSETF_HL_MOD_PREDICATE`
`static SubLSymbol`	`$sym37$HL_MOD_ANY_PREDICATES`
`static SubLSymbol`	`$sym38$_CSETF_HL_MOD_ANY_PREDICATES`
`static SubLSymbol`	`$sym39$HL_MOD_ARITY`
`static SubLSymbol`	`$sym4$CLET`
`static SubLSymbol`	`$sym40$_CSETF_HL_MOD_ARITY`
`static SubLSymbol`	`$sym41$HL_MOD_DIRECTION`
`static SubLSymbol`	`$sym42$_CSETF_HL_MOD_DIRECTION`
`static SubLSymbol`	`$sym43$HL_MOD_REQUIRED_PATTERN`
`static SubLSymbol`	`$sym44$_CSETF_HL_MOD_REQUIRED_PATTERN`
`static SubLSymbol`	`$sym45$HL_MOD_REQUIRED_MT`
`static SubLSymbol`	`$sym46$_CSETF_HL_MOD_REQUIRED_MT`
`static SubLSymbol`	`$sym47$HL_MOD_EXCLUSIVE_FUNC`
`static SubLSymbol`	`$sym48$_CSETF_HL_MOD_EXCLUSIVE_FUNC`
`static SubLSymbol`	`$sym49$HL_MOD_REQUIRED_FUNC`
`static SubLSymbol`	`$sym5$DO_LIST`
`static SubLSymbol`	`$sym50$_CSETF_HL_MOD_REQUIRED_FUNC`
`static SubLSymbol`	`$sym51$HL_MOD_COMPLETENESS`
`static SubLSymbol`	`$sym52$_CSETF_HL_MOD_COMPLETENESS`
`static SubLSymbol`	`$sym67$SXHASH_HL_MODULE_METHOD`
`static SubLSymbol`	`$sym68$PROPERTY_LIST_P`
`static SubLSymbol`	`$sym69$HL_MODULE_PROPERTY_P`
`static SubLSymbol`	`$sym7$PWHEN`
`static SubLSymbol`	`$sym75$_HL_MODULE_STORE_`
`static SubLSymbol`	`$sym8$HL_MODULE_PROPERTY_NOT_DEFAULT_`
`static SubLSymbol`	`$sym81$NAME_VAR`
`static SubLSymbol`	`$sym82$DO_HASH_TABLE`
`static SubLSymbol`	`$sym84$IGNORE`
`static SubLSymbol`	`$sym85$HL_MODULE_STORE`
`static SubLSymbol`	`$sym86$DO_HL_MODULES`
`static SubLSymbol`	`$sym9$HL_MODULE_PROPERTY_WITHOUT_VALUES`
`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`	`_csetf_hl_mod_name(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_hl_mod_plist(SubLObject object, SubLObject value)`
`static SubLObject`	`add_hl_module(SubLObject hl_module)`
`static SubLObject`	`allocate_hl_module(SubLObject name)`
`static SubLObject`	`canonicalize_hl_module_plist(SubLObject plist)` Right now the only thing this changes is a single module-subtype canonicalizes into a singleton list.
`static SubLObject`	`check_hl_module_property_list(SubLObject plist)`
`static SubLObject`	`classify_removal_module(SubLObject hl_module)`
`static SubLObject`	`clear_removal_modules()`
`static SubLObject`	`conjunctive_allowed_modules_spec_p(SubLObject object)`
`static SubLObject`	`conjunctive_removal_module_p(SubLObject object)` Return T iff OBJECT is a conjunctive removal module.
`static SubLObject`	`declare_inference_modules_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`default_expand_func_for_hl_module(SubLObject hl_module)`
`static SubLObject`	`disjunctive_allowed_modules_spec_p(SubLObject object)`
`static SubLObject`	`find_hl_module_by_name(SubLObject name)`
`static SubLObject`	`generic_removal_modules_for_sense(SubLObject sense)`
`static SubLObject`	`get_modules_from_simple_allowed_modules_spec(SubLObject allowed_modules_spec)`
`static SubLObject`	`guess_hl_module_is_checkP(SubLObject hl_module)`
`static SubLObject`	`hl_mod_name(SubLObject object)`
`static SubLObject`	`hl_mod_plist(SubLObject object)`
`static SubLObject`	`hl_module_activeP(SubLObject hl_module, SubLObject inactive_hl_modules)`
`static SubLObject`	`hl_module_allowed_by_allowed_modules_specP(SubLObject hl_module, SubLObject allowed_modules_spec)`
`static SubLObject`	`hl_module_any_predicates(SubLObject hl_module)`
`static SubLObject`	`hl_module_applicability_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_applicability_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_arity_relevant_p(SubLObject hl_module, SubLObject asent)`
`static SubLObject`	`hl_module_arity(SubLObject hl_module)`
`static SubLObject`	`hl_module_asent_cost(SubLObject hl_module, SubLObject asent)`
`static SubLObject`	`hl_module_completeness(SubLObject hl_module, SubLObject asent, SubLObject default_completeness)`
`static SubLObject`	`hl_module_cost_expression_result(SubLObject hl_module)` Determines the estimated # of child nodes generated by HL-MODULE based on the :cost-expression property of HL-MODULE.
`static SubLObject`	`hl_module_cost_expression(SubLObject hl_module)`
`static SubLObject`	`hl_module_cost_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_cost_function_result(SubLObject hl_module, SubLObject object)` Determines the estimated # of child nodes generated by HL-MODULE when applied to OBJECT based on the :cost property of HL-MODULE.
`static SubLObject`	`hl_module_cost_pattern_result(SubLObject hl_module, SubLObject formula)` Determines the estimated # of child nodes generated by HL-MODULE when applied to FORMULA based on the :cost-pattern property of HL-MODULE.
`static SubLObject`	`hl_module_cost_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_cost(SubLObject hl_module, SubLObject object, SubLObject sense)` Determines the estimated # of child nodes generated by HL-MODULE when applied to OBJECT with sense SENSE
`static SubLObject`	`hl_module_direction_relevantP(SubLObject hl_module)`
`static SubLObject`	`hl_module_direction(SubLObject hl_module)`
`static SubLObject`	`hl_module_every_predicates(SubLObject hl_module)`
`static SubLObject`	`hl_module_exclusive_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_expand_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_expand_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_externalP(SubLObject hl_module)`
`static SubLObject`	`hl_module_input_encode_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_input_extract_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_input_verify_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_is_checkP(SubLObject hl_module)`
`static SubLObject`	`hl_module_name(SubLObject hl_module)`
`static SubLObject`	`hl_module_output_check_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_output_construct_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_output_decode_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_output_generate_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_output_verify_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_p(SubLObject object)`
`static SubLObject`	`hl_module_plist(SubLObject hl_module)`
`static SubLObject`	`hl_module_predicate_relevant_p(SubLObject hl_module, SubLObject predicate)`
`static SubLObject`	`hl_module_predicate(SubLObject hl_module)`
`static SubLObject`	`hl_module_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`hl_module_property_without_values(SubLObject hl_module, SubLObject property)`
`static SubLObject`	`hl_module_property(SubLObject hl_module, SubLObject property)`
`static SubLObject`	`hl_module_required_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_required_mt_relevantP(SubLObject hl_module)`
`static SubLObject`	`hl_module_required_mt_result(SubLObject hl_module)`
`static SubLObject`	`hl_module_required_mt(SubLObject hl_module)`
`static SubLObject`	`hl_module_required_pattern_matched_p(SubLObject hl_module, SubLObject asent)`
`static SubLObject`	`hl_module_required_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_rule_filter_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_rule_select_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_sense_relevant_p(SubLObject hl_module, SubLObject sense)`
`static SubLObject`	`hl_module_sense(SubLObject hl_module)`
`static SubLObject`	`hl_module_subtype_spec_p(SubLObject object)`
`static SubLObject`	`hl_module_supplants_info(SubLObject hl_module)`
`static SubLObject`	`hl_module_support_func(SubLObject hl_module)`
`static SubLObject`	`hl_module_support_module(SubLObject hl_module)`
`static SubLObject`	`hl_module_support_mt_result(SubLObject hl_module)`
`static SubLObject`	`hl_module_support_mt(SubLObject hl_module)`
`static SubLObject`	`hl_module_support_pattern(SubLObject hl_module)`
`static SubLObject`	`hl_module_support_strength(SubLObject hl_module)`
`static SubLObject`	`hl_module_type_spec_p(SubLObject object)`
`static SubLObject`	`hl_module_type(SubLObject hl_module)`
`static SubLObject`	`hl_module_universal(SubLObject hl_module)`
`static SubLObject`	`inference_conjunctive_removal_module(SubLObject name, SubLObject plist)` Declare a conjunctive inference removal module named NAME.
`static SubLObject`	`inference_meta_removal_module(SubLObject name, SubLObject plist)` Meta-removal modules are modules which execute other removal tactics on the same problem.
`static SubLObject`	`inference_meta_structural_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`inference_meta_transformation_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`inference_removal_module_dont_use_universal(SubLObject predicate, SubLObject name)` State that the universal removal module named NAME should not be used for PREDICATE.
`static SubLObject`	`inference_removal_module_note_specific(SubLObject predicate, SubLObject hl_module)`
`static SubLObject`	`inference_removal_module_use_generic(SubLObject predicate, SubLObject name)` State that the generic removal module named NAME should also be used for PREDICATE.
`static SubLObject`	`inference_removal_module_use_meta_removal(SubLObject predicate, SubLObject name)` State that the meta-removal module named NAME should also be used for PREDICATE.
`static SubLObject`	`inference_removal_module(SubLObject name, SubLObject plist)` Declare an inference removal module named NAME with properties in PLIST.
`static SubLObject`	`inference_rewrite_module(SubLObject name, SubLObject plist)` Declares NAME to be a rewrite module, with properties specified by PLIST.
`static SubLObject`	`inference_structural_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`inference_transformation_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`init_inference_modules_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`interpret_hl_module_mt_prop(SubLObject mt_prop)`
`static SubLObject`	`make_hl_module(SubLObject arglist)`
`static SubLObject`	`meta_removal_module_p(SubLObject object)`
`static SubLObject`	`meta_removal_module_specific_predicateP(SubLObject meta_removal_module, SubLObject predicate)`
`static SubLObject`	`meta_removal_module_specific_predicates(SubLObject meta_removal_module)`
`static SubLObject`	`meta_removal_modules()`
`static SubLObject`	`meta_structural_module_p(SubLObject object)`
`static SubLObject`	`meta_transformation_module_p(SubLObject object)`
`static SubLObject`	`negated_allowed_modules_spec_p(SubLObject object)`
`static SubLObject`	`new_hl_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`predicate_uses_meta_removal_moduleP(SubLObject predicate, SubLObject meta_removal_module)` All predicates use all meta-removal modules unless they are solely specific and have not been stated as @xref inference-removal-module-use-meta-removal.
`static SubLObject`	`property_allowed_modules_spec_p(SubLObject object)`
`static SubLObject`	`rebuild_solely_specific_removal_module_predicate_store()`
`static SubLObject`	`reclassify_removal_modules()`
`static SubLObject`	`register_solely_specific_removal_module_predicate(SubLObject predicate)` If you want the specific removal modules for PREDICATE to supplant ALL generic removal modules, then register this property.
`static SubLObject`	`removal_module_p(SubLObject object)`
`static SubLObject`	`removal_modules_conjunctive()`
`static SubLObject`	`removal_modules_specific_for_sense(SubLObject predicate, SubLObject sense)` Return the removal modules declared specific to PREDICATE in SENSE literals.
`static SubLObject`	`removal_modules_universal_for_predicate_and_sense(SubLObject predicate, SubLObject sense)` Return universal removal modules declared to use in SENSE literals and which have not been declared as dont-use for PREDICATE.
`static SubLObject`	`removal_modules()`
`static SubLObject`	`remove_hl_module(SubLObject hl_module)`
`static SubLObject`	`rewrite_module_p(SubLObject object)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_inference_modules_file()`
`static SubLObject`	`setup_module(SubLObject name, SubLObject type, SubLObject plist)`
`static SubLObject`	`simple_allowed_modules_spec_p(SubLObject allowed_modules_spec)`
`static SubLObject`	`solely_specific_removal_module_predicateP(SubLObject predicate)`
`static SubLObject`	`strengthen_removal_module_properties(SubLObject name, SubLObject plist)`
`static SubLObject`	`strengthen_rewrite_module_properties(SubLObject name, SubLObject plist)`
`static SubLObject`	`structural_module_p(SubLObject object)`
`static SubLObject`	`sxhash_hl_module_method(SubLObject object)`
`static SubLObject`	`transformation_module_p(SubLObject object)`
`static SubLObject`	`transformation_modules()`
`static SubLObject`	`universal_removal_modules_for_sense(SubLObject sense)`

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

$dtp_hl_module$

public static SubLSymbol $dtp_hl_module$

$sym0$_META_REMOVAL_MODULES_

public static final SubLSymbol $sym0$_META_REMOVAL_MODULES_

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$sym3$MODULE_VAR

public static final SubLSymbol $sym3$MODULE_VAR

$sym4$CLET

public static final SubLSymbol $sym4$CLET

$sym5$DO_LIST

public static final SubLSymbol $sym5$DO_LIST

$list6

public static final SubLList $list6

$sym7$PWHEN

public static final SubLSymbol $sym7$PWHEN

$sym8$HL_MODULE_PROPERTY_NOT_DEFAULT_

public static final SubLSymbol $sym8$HL_MODULE_PROPERTY_NOT_DEFAULT_

$sym9$HL_MODULE_PROPERTY_WITHOUT_VALUES

public static final SubLSymbol $sym9$HL_MODULE_PROPERTY_WITHOUT_VALUES

$list10

public static final SubLList $list10

$kw11$KB

public static final SubLSymbol $kw11$KB

$list12

public static final SubLList $list12

$kw13$MODULE_SUBTYPE

public static final SubLSymbol $kw13$MODULE_SUBTYPE

$list14

public static final SubLList $list14

$kw15$ALL

public static final SubLSymbol $kw15$ALL

$kw16$OR

public static final SubLSymbol $kw16$OR

$sym17$ALLOWED_MODULES_SPEC_P

public static final SubLSymbol $sym17$ALLOWED_MODULES_SPEC_P

$kw18$AND

public static final SubLSymbol $kw18$AND

$kw19$NOT

public static final SubLSymbol $kw19$NOT

$kw20$MODULE_TYPE

public static final SubLSymbol $kw20$MODULE_TYPE

$sym21$HL_MODULE_P

public static final SubLSymbol $sym21$HL_MODULE_P

$sym22$HL_MODULE

public static final SubLSymbol $sym22$HL_MODULE

$list23

public static final SubLList $list23

$list24

public static final SubLList $list24

$list25

public static final SubLList $list25

$list26

public static final SubLList $list26

$sym27$PRINT_HL_MODULE

public static final SubLSymbol $sym27$PRINT_HL_MODULE

$sym28$HL_MODULE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym28$HL_MODULE_PRINT_FUNCTION_TRAMPOLINE

$sym29$HL_MOD_NAME

public static final SubLSymbol $sym29$HL_MOD_NAME

$sym30$_CSETF_HL_MOD_NAME

public static final SubLSymbol $sym30$_CSETF_HL_MOD_NAME

$sym31$HL_MOD_PLIST

public static final SubLSymbol $sym31$HL_MOD_PLIST

$sym32$_CSETF_HL_MOD_PLIST

public static final SubLSymbol $sym32$_CSETF_HL_MOD_PLIST

$sym33$HL_MOD_SENSE

public static final SubLSymbol $sym33$HL_MOD_SENSE

$sym34$_CSETF_HL_MOD_SENSE

public static final SubLSymbol $sym34$_CSETF_HL_MOD_SENSE

$sym35$HL_MOD_PREDICATE

public static final SubLSymbol $sym35$HL_MOD_PREDICATE

$sym36$_CSETF_HL_MOD_PREDICATE

public static final SubLSymbol $sym36$_CSETF_HL_MOD_PREDICATE

$sym37$HL_MOD_ANY_PREDICATES

public static final SubLSymbol $sym37$HL_MOD_ANY_PREDICATES

$sym38$_CSETF_HL_MOD_ANY_PREDICATES

public static final SubLSymbol $sym38$_CSETF_HL_MOD_ANY_PREDICATES

$sym39$HL_MOD_ARITY

public static final SubLSymbol $sym39$HL_MOD_ARITY

$sym40$_CSETF_HL_MOD_ARITY

public static final SubLSymbol $sym40$_CSETF_HL_MOD_ARITY

$sym41$HL_MOD_DIRECTION

public static final SubLSymbol $sym41$HL_MOD_DIRECTION

$sym42$_CSETF_HL_MOD_DIRECTION

public static final SubLSymbol $sym42$_CSETF_HL_MOD_DIRECTION

$sym43$HL_MOD_REQUIRED_PATTERN

public static final SubLSymbol $sym43$HL_MOD_REQUIRED_PATTERN

$sym44$_CSETF_HL_MOD_REQUIRED_PATTERN

public static final SubLSymbol $sym44$_CSETF_HL_MOD_REQUIRED_PATTERN

$sym45$HL_MOD_REQUIRED_MT

public static final SubLSymbol $sym45$HL_MOD_REQUIRED_MT

$sym46$_CSETF_HL_MOD_REQUIRED_MT

public static final SubLSymbol $sym46$_CSETF_HL_MOD_REQUIRED_MT

$sym47$HL_MOD_EXCLUSIVE_FUNC

public static final SubLSymbol $sym47$HL_MOD_EXCLUSIVE_FUNC

$sym48$_CSETF_HL_MOD_EXCLUSIVE_FUNC

public static final SubLSymbol $sym48$_CSETF_HL_MOD_EXCLUSIVE_FUNC

$sym49$HL_MOD_REQUIRED_FUNC

public static final SubLSymbol $sym49$HL_MOD_REQUIRED_FUNC

$sym50$_CSETF_HL_MOD_REQUIRED_FUNC

public static final SubLSymbol $sym50$_CSETF_HL_MOD_REQUIRED_FUNC

$sym51$HL_MOD_COMPLETENESS

public static final SubLSymbol $sym51$HL_MOD_COMPLETENESS

$sym52$_CSETF_HL_MOD_COMPLETENESS

public static final SubLSymbol $sym52$_CSETF_HL_MOD_COMPLETENESS

$kw53$NAME

public static final SubLSymbol $kw53$NAME

$kw54$PLIST

public static final SubLSymbol $kw54$PLIST

$kw55$SENSE

public static final SubLSymbol $kw55$SENSE

$kw56$PREDICATE

public static final SubLSymbol $kw56$PREDICATE

$kw57$ANY_PREDICATES

public static final SubLSymbol $kw57$ANY_PREDICATES

$kw58$ARITY

public static final SubLSymbol $kw58$ARITY

$kw59$DIRECTION

public static final SubLSymbol $kw59$DIRECTION

$kw60$REQUIRED_PATTERN

public static final SubLSymbol $kw60$REQUIRED_PATTERN

$kw61$REQUIRED_MT

public static final SubLSymbol $kw61$REQUIRED_MT

$kw62$EXCLUSIVE_FUNC

public static final SubLSymbol $kw62$EXCLUSIVE_FUNC

$kw63$REQUIRED_FUNC

public static final SubLSymbol $kw63$REQUIRED_FUNC

$kw64$COMPLETENESS

public static final SubLSymbol $kw64$COMPLETENESS

$str65$Invalid_slot__S_for_construction_

public static final SubLString $str65$Invalid_slot__S_for_construction_

$str66$_HL_Module___a_

public static final SubLString $str66$_HL_Module___a_

$sym67$SXHASH_HL_MODULE_METHOD

public static final SubLSymbol $sym67$SXHASH_HL_MODULE_METHOD

$sym68$PROPERTY_LIST_P

public static final SubLSymbol $sym68$PROPERTY_LIST_P

$sym69$HL_MODULE_PROPERTY_P

public static final SubLSymbol $sym69$HL_MODULE_PROPERTY_P

$kw70$EXCLUSIVE

public static final SubLSymbol $kw70$EXCLUSIVE

$kw71$SUPPLANTS

public static final SubLSymbol $kw71$SUPPLANTS

$str72$_supplants_is_meaningless_without

public static final SubLString $str72$_supplants_is_meaningless_without

$kw73$FREE

public static final SubLSymbol $kw73$FREE

$kw74$DEFAULT

public static final SubLSymbol $kw74$DEFAULT

$sym75$_HL_MODULE_STORE_

public static final SubLSymbol $sym75$_HL_MODULE_STORE_

$int76$212

public static final SubLInteger $int76$212

$list77

public static final SubLList $list77

$list78

public static final SubLList $list78

$kw79$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw79$ALLOW_OTHER_KEYS

$kw80$DONE

public static final SubLSymbol $kw80$DONE

$sym81$NAME_VAR

public static final SubLSymbol $sym81$NAME_VAR

$sym82$DO_HASH_TABLE

public static final SubLSymbol $sym82$DO_HASH_TABLE

$list83

public static final SubLList $list83

$sym84$IGNORE

public static final SubLSymbol $sym84$IGNORE

$sym85$HL_MODULE_STORE

public static final SubLSymbol $sym85$HL_MODULE_STORE

$sym86$DO_HL_MODULES

public static final SubLSymbol $sym86$DO_HL_MODULES

$kw87$ABDUCTION

public static final SubLSymbol $kw87$ABDUCTION

$kw88$UNIVERSAL

public static final SubLSymbol $kw88$UNIVERSAL

$kw89$MODULE_SOURCE

public static final SubLSymbol $kw89$MODULE_SOURCE

$kw90$ANYTHING

public static final SubLSymbol $kw90$ANYTHING

$kw91$REQUIRED

public static final SubLSymbol $kw91$REQUIRED

$kw92$COST_PATTERN

public static final SubLSymbol $kw92$COST_PATTERN

$kw93$COST_EXPRESSION

public static final SubLSymbol $kw93$COST_EXPRESSION

$kw94$COST

public static final SubLSymbol $kw94$COST

$kw95$CHECK

public static final SubLSymbol $kw95$CHECK

$kw96$UNKNOWN

public static final SubLSymbol $kw96$UNKNOWN

$kw97$NOT_FULLY_BOUND

public static final SubLSymbol $kw97$NOT_FULLY_BOUND

$str98$check

public static final SubLString $str98$check

$kw99$RULE_SELECT

public static final SubLSymbol $kw99$RULE_SELECT

$kw100$RULE_FILTER

public static final SubLSymbol $kw100$RULE_FILTER

$kw101$EXPAND

public static final SubLSymbol $kw101$EXPAND

$kw102$REMOVAL

public static final SubLSymbol $kw102$REMOVAL

$sym103$INFERENCE_REMOVE_CHECK_DEFAULT

public static final SubLSymbol $sym103$INFERENCE_REMOVE_CHECK_DEFAULT

$sym104$INFERENCE_REMOVE_UNIFY_DEFAULT

public static final SubLSymbol $sym104$INFERENCE_REMOVE_UNIFY_DEFAULT

$sym105$DEFAULT_EXPAND_FUNC

public static final SubLSymbol $sym105$DEFAULT_EXPAND_FUNC

$kw106$EXPAND_PATTERN

public static final SubLSymbol $kw106$EXPAND_PATTERN

$kw107$EXPAND_ITERATIVE_PATTERN

public static final SubLSymbol $kw107$EXPAND_ITERATIVE_PATTERN

$sym108$PATTERN_MATCHES_FORMULA

public static final SubLSymbol $sym108$PATTERN_MATCHES_FORMULA

$kw109$FORWARD

public static final SubLSymbol $kw109$FORWARD

$kw110$INPUT_EXTRACT_PATTERN

public static final SubLSymbol $kw110$INPUT_EXTRACT_PATTERN

$kw111$INPUT_VERIFY_PATTERN

public static final SubLSymbol $kw111$INPUT_VERIFY_PATTERN

$kw112$INPUT_ENCODE_PATTERN

public static final SubLSymbol $kw112$INPUT_ENCODE_PATTERN

$kw113$OUTPUT_CHECK_PATTERN

public static final SubLSymbol $kw113$OUTPUT_CHECK_PATTERN

$kw114$OUTPUT_GENERATE_PATTERN

public static final SubLSymbol $kw114$OUTPUT_GENERATE_PATTERN

$kw115$OUTPUT_DECODE_PATTERN

public static final SubLSymbol $kw115$OUTPUT_DECODE_PATTERN

$kw116$OUTPUT_VERIFY_PATTERN

public static final SubLSymbol $kw116$OUTPUT_VERIFY_PATTERN

$kw117$OUTPUT_CONSTRUCT_PATTERN

public static final SubLSymbol $kw117$OUTPUT_CONSTRUCT_PATTERN

$kw118$SUPPORT_PATTERN

public static final SubLSymbol $kw118$SUPPORT_PATTERN

$kw119$SUPPORT

public static final SubLSymbol $kw119$SUPPORT

$kw120$SUPPORT_MODULE

public static final SubLSymbol $kw120$SUPPORT_MODULE

$kw121$SUPPORT_MT

public static final SubLSymbol $kw121$SUPPORT_MT

$kw122$SUPPORT_STRENGTH

public static final SubLSymbol $kw122$SUPPORT_STRENGTH

$kw123$EVERY_PREDICATES

public static final SubLSymbol $kw123$EVERY_PREDICATES

$kw124$APPLICABILITY

public static final SubLSymbol $kw124$APPLICABILITY

$kw125$APPLICABILITY_PATTERN

public static final SubLSymbol $kw125$APPLICABILITY_PATTERN

$kw126$DOCUMENTATION

public static final SubLSymbol $kw126$DOCUMENTATION

$kw127$EXAMPLE

public static final SubLSymbol $kw127$EXAMPLE

$kw128$COMPLETE

public static final SubLSymbol $kw128$COMPLETE

$kw129$INCOMPLETE

public static final SubLSymbol $kw129$INCOMPLETE

$kw130$COMPLETE_PATTERN

public static final SubLSymbol $kw130$COMPLETE_PATTERN

$kw131$COMPLETENESS_PATTERN

public static final SubLSymbol $kw131$COMPLETENESS_PATTERN

$kw132$EXTERNAL

public static final SubLSymbol $kw132$EXTERNAL

$sym133$_REMOVAL_MODULES_

public static final SubLSymbol $sym133$_REMOVAL_MODULES_

$list134

public static final SubLList $list134

$sym135$DO_SET

public static final SubLSymbol $sym135$DO_SET

$list136

public static final SubLList $list136

$sym137$REMOVAL_MODULES

public static final SubLSymbol $sym137$REMOVAL_MODULES

$sym138$DO_REMOVAL_MODULES

public static final SubLSymbol $sym138$DO_REMOVAL_MODULES

$sym139$_REMOVAL_MODULES_EXTERNAL_

public static final SubLSymbol $sym139$_REMOVAL_MODULES_EXTERNAL_

$sym140$_REMOVAL_MODULES_GENERIC_

public static final SubLSymbol $sym140$_REMOVAL_MODULES_GENERIC_

$sym141$HL_MODULE_SENSE

public static final SubLSymbol $sym141$HL_MODULE_SENSE

$sym142$_REMOVAL_MODULES_UNIVERSAL_

public static final SubLSymbol $sym142$_REMOVAL_MODULES_UNIVERSAL_

$sym143$_REMOVAL_MODULES_SPECIFIC_

public static final SubLSymbol $sym143$_REMOVAL_MODULES_SPECIFIC_

$int144$32

public static final SubLInteger $int144$32

$sym145$FORT_P

public static final SubLSymbol $sym145$FORT_P

$sym146$_REMOVAL_MODULES_SPECIFIC_USE_GENERIC_

public static final SubLSymbol $sym146$_REMOVAL_MODULES_SPECIFIC_USE_GENERIC_

$sym147$_REMOVAL_MODULES_SPECIFIC_USE_META_REMOVAL_

public static final SubLSymbol $sym147$_REMOVAL_MODULES_SPECIFIC_USE_META_REMOVAL_

$sym148$_REMOVAL_MODULES_SPECIFIC_DONT_USE_UNIVERSAL_

public static final SubLSymbol $sym148$_REMOVAL_MODULES_SPECIFIC_DONT_USE_UNIVERSAL_

$sym149$_SOLELY_SPECIFIC_REMOVAL_MODULE_PREDICATE_STORE_

public static final SubLSymbol $sym149$_SOLELY_SPECIFIC_REMOVAL_MODULE_PREDICATE_STORE_

$int150$50

public static final SubLInteger $int150$50

$kw151$POS

public static final SubLSymbol $kw151$POS

$kw152$NEG

public static final SubLSymbol $kw152$NEG

$str153$removal_module__S_must_have_a__SE

public static final SubLString $str153$removal_module__S_must_have_a__SE

$sym154$CAR

public static final SubLSymbol $sym154$CAR

$list155

public static final SubLList $list155

$sym156$_CONJUNCTIVE_REMOVAL_MODULES_

public static final SubLSymbol $sym156$_CONJUNCTIVE_REMOVAL_MODULES_

$list157

public static final SubLList $list157

$list158

public static final SubLList $list158

$sym159$REMOVAL_MODULES_CONJUNCTIVE

public static final SubLSymbol $sym159$REMOVAL_MODULES_CONJUNCTIVE

$sym160$DO_CONJUNCTIVE_REMOVAL_MODULES

public static final SubLSymbol $sym160$DO_CONJUNCTIVE_REMOVAL_MODULES

$kw161$REMOVAL_CONJUNCTIVE

public static final SubLSymbol $kw161$REMOVAL_CONJUNCTIVE

$list162

public static final SubLList $list162

$sym163$META_REMOVAL_MODULES

public static final SubLSymbol $sym163$META_REMOVAL_MODULES

$sym164$DO_META_REMOVAL_MODULES

public static final SubLSymbol $sym164$DO_META_REMOVAL_MODULES

$kw165$META_REMOVAL

public static final SubLSymbol $kw165$META_REMOVAL

$sym166$_TRANSFORMATION_MODULES_

public static final SubLSymbol $sym166$_TRANSFORMATION_MODULES_

$list167

public static final SubLList $list167

$sym168$TRANSFORMATION_MODULES

public static final SubLSymbol $sym168$TRANSFORMATION_MODULES

$sym169$DO_TRANSFORMATION_MODULES

public static final SubLSymbol $sym169$DO_TRANSFORMATION_MODULES

$kw170$TRANSFORMATION

public static final SubLSymbol $kw170$TRANSFORMATION

$sym171$_META_TRANSFORMATION_MODULES_

public static final SubLSymbol $sym171$_META_TRANSFORMATION_MODULES_

$list172

public static final SubLList $list172

$sym173$META_TRANSFORMATION_MODULES

public static final SubLSymbol $sym173$META_TRANSFORMATION_MODULES

$sym174$DO_META_TRANSFORMATION_MODULES

public static final SubLSymbol $sym174$DO_META_TRANSFORMATION_MODULES

$kw175$META_TRANSFORMATION

public static final SubLSymbol $kw175$META_TRANSFORMATION

$sym176$_REWRITE_MODULES_

public static final SubLSymbol $sym176$_REWRITE_MODULES_

$list177

public static final SubLList $list177

$kw178$REWRITE_SUPPORT

public static final SubLSymbol $kw178$REWRITE_SUPPORT

$kw179$REWRITE_CLOSURE

public static final SubLSymbol $kw179$REWRITE_CLOSURE

$kw180$REWRITE

public static final SubLSymbol $kw180$REWRITE

$str181$rewrite_module__S_must_have_a__SE

public static final SubLString $str181$rewrite_module__S_must_have_a__SE

$sym182$_STRUCTURAL_MODULES_

public static final SubLSymbol $sym182$_STRUCTURAL_MODULES_

$kw183$STRUCTURAL

public static final SubLSymbol $kw183$STRUCTURAL

$sym184$_META_STRUCTURAL_MODULES_

public static final SubLSymbol $sym184$_META_STRUCTURAL_MODULES_

$list185

public static final SubLList $list185

$sym186$META_STRUCTURAL_MODULES

public static final SubLSymbol $sym186$META_STRUCTURAL_MODULES

$sym187$DO_META_STRUCTURAL_MODULES

public static final SubLSymbol $sym187$DO_META_STRUCTURAL_MODULES

$kw188$META_STRUCTURAL

public static final SubLSymbol $kw188$META_STRUCTURAL

$int189$256

public static final SubLInteger $int189$256

$sym190$CFASL_INPUT_HL_MODULE

public static final SubLSymbol $sym190$CFASL_INPUT_HL_MODULE

$sym191$CFASL_OUTPUT_OBJECT_HL_MODULE_METHOD

public static final SubLSymbol $sym191$CFASL_OUTPUT_OBJECT_HL_MODULE_METHOD

Method Detail

disjunctive_allowed_modules_spec_p

public static final SubLObject disjunctive_allowed_modules_spec_p(SubLObject object)

conjunctive_allowed_modules_spec_p

public static final SubLObject conjunctive_allowed_modules_spec_p(SubLObject object)

negated_allowed_modules_spec_p

public static final SubLObject negated_allowed_modules_spec_p(SubLObject object)

hl_module_type_spec_p

public static final SubLObject hl_module_type_spec_p(SubLObject object)

hl_module_subtype_spec_p

public static final SubLObject hl_module_subtype_spec_p(SubLObject object)

property_allowed_modules_spec_p

public static final SubLObject property_allowed_modules_spec_p(SubLObject object)

hl_module_allowed_by_allowed_modules_specP

public static final SubLObject hl_module_allowed_by_allowed_modules_specP(SubLObject hl_module,
                                                                          SubLObject allowed_modules_spec)

simple_allowed_modules_spec_p

public static final SubLObject simple_allowed_modules_spec_p(SubLObject allowed_modules_spec)

get_modules_from_simple_allowed_modules_spec

public static final SubLObject get_modules_from_simple_allowed_modules_spec(SubLObject allowed_modules_spec)

hl_module_print_function_trampoline

public static final SubLObject hl_module_print_function_trampoline(SubLObject object,
                                                                   SubLObject stream)

hl_module_p

public static final SubLObject hl_module_p(SubLObject object)

hl_mod_name

public static final SubLObject hl_mod_name(SubLObject object)

hl_mod_plist

public static final SubLObject hl_mod_plist(SubLObject object)

_csetf_hl_mod_name

public static final SubLObject _csetf_hl_mod_name(SubLObject object,
                                                  SubLObject value)

_csetf_hl_mod_plist

public static final SubLObject _csetf_hl_mod_plist(SubLObject object,
                                                   SubLObject value)

make_hl_module

public static final SubLObject make_hl_module(SubLObject arglist)

sxhash_hl_module_method

public static final SubLObject sxhash_hl_module_method(SubLObject object)

check_hl_module_property_list

public static final SubLObject check_hl_module_property_list(SubLObject plist)

new_hl_module

public static final SubLObject new_hl_module(SubLObject name,
                                             SubLObject plist)

Returns:: hl-module-p; a new HL module named NAME with properties PLIST

canonicalize_hl_module_plist

public static final SubLObject canonicalize_hl_module_plist(SubLObject plist)

Right now the only thing this changes is a single module-subtype canonicalizes into a singleton list.

allocate_hl_module

public static final SubLObject allocate_hl_module(SubLObject name)

hl_module_name

public static final SubLObject hl_module_name(SubLObject hl_module)

hl_module_plist

public static final SubLObject hl_module_plist(SubLObject hl_module)

hl_module_property

public static final SubLObject hl_module_property(SubLObject hl_module,
                                                  SubLObject property)

Returns:: 0 the value of PROPERTY for HL-MODULE.

hl_module_property_without_values

public static final SubLObject hl_module_property_without_values(SubLObject hl_module,
                                                                 SubLObject property)

Returns:: 0 the value of PROPERTY for HL-MODULE.

find_hl_module_by_name

public static final SubLObject find_hl_module_by_name(SubLObject name)

add_hl_module

public static final SubLObject add_hl_module(SubLObject hl_module)

remove_hl_module

public static final SubLObject remove_hl_module(SubLObject hl_module)

setup_module

public static final SubLObject setup_module(SubLObject name,
                                            SubLObject type,
                                            SubLObject plist)

hl_module_type

public static final SubLObject hl_module_type(SubLObject hl_module)

hl_module_universal

public static final SubLObject hl_module_universal(SubLObject hl_module)

hl_module_sense

public static final SubLObject hl_module_sense(SubLObject hl_module)

hl_module_sense_relevant_p

public static final SubLObject hl_module_sense_relevant_p(SubLObject hl_module,
                                                          SubLObject sense)

hl_module_required_pattern

public static final SubLObject hl_module_required_pattern(SubLObject hl_module)

hl_module_required_pattern_matched_p

public static final SubLObject hl_module_required_pattern_matched_p(SubLObject hl_module,
                                                                    SubLObject asent)

hl_module_required_mt

public static final SubLObject hl_module_required_mt(SubLObject hl_module)

hl_module_required_mt_result

public static final SubLObject hl_module_required_mt_result(SubLObject hl_module)

interpret_hl_module_mt_prop

public static final SubLObject interpret_hl_module_mt_prop(SubLObject mt_prop)

hl_module_required_mt_relevantP

public static final SubLObject hl_module_required_mt_relevantP(SubLObject hl_module)

hl_module_required_func

public static final SubLObject hl_module_required_func(SubLObject hl_module)

hl_module_cost_pattern

public static final SubLObject hl_module_cost_pattern(SubLObject hl_module)

hl_module_cost_expression

public static final SubLObject hl_module_cost_expression(SubLObject hl_module)

hl_module_cost_func

public static final SubLObject hl_module_cost_func(SubLObject hl_module)

hl_module_cost

public static final SubLObject hl_module_cost(SubLObject hl_module,
                                              SubLObject object,
                                              SubLObject sense)

Determines the estimated # of child nodes generated by HL-MODULE when applied to OBJECT with sense SENSE

hl_module_asent_cost

public static final SubLObject hl_module_asent_cost(SubLObject hl_module,
                                                    SubLObject asent)

hl_module_cost_pattern_result

public static final SubLObject hl_module_cost_pattern_result(SubLObject hl_module,
                                                             SubLObject formula)

Determines the estimated # of child nodes generated by HL-MODULE when applied to FORMULA based on the :cost-pattern property of HL-MODULE.

hl_module_cost_expression_result

public static final SubLObject hl_module_cost_expression_result(SubLObject hl_module)

Determines the estimated # of child nodes generated by HL-MODULE based on the :cost-expression property of HL-MODULE.

hl_module_cost_function_result

public static final SubLObject hl_module_cost_function_result(SubLObject hl_module,
                                                              SubLObject object)

Determines the estimated # of child nodes generated by HL-MODULE when applied to OBJECT based on the :cost property of HL-MODULE.

hl_module_is_checkP

public static final SubLObject hl_module_is_checkP(SubLObject hl_module)

Returns:: boolean; whether HL-MODULE is a check module which evaluates to a boolean. If false, it is an HL module which produces (some or no) bindings.

guess_hl_module_is_checkP

public static final SubLObject guess_hl_module_is_checkP(SubLObject hl_module)

hl_module_rule_select_func

public static final SubLObject hl_module_rule_select_func(SubLObject hl_module)

hl_module_rule_filter_func

public static final SubLObject hl_module_rule_filter_func(SubLObject hl_module)

hl_module_expand_func

public static final SubLObject hl_module_expand_func(SubLObject hl_module)

default_expand_func_for_hl_module

public static final SubLObject default_expand_func_for_hl_module(SubLObject hl_module)

hl_module_expand_pattern

public static final SubLObject hl_module_expand_pattern(SubLObject hl_module)

hl_module_predicate

public static final SubLObject hl_module_predicate(SubLObject hl_module)

hl_module_predicate_relevant_p

public static final SubLObject hl_module_predicate_relevant_p(SubLObject hl_module,
                                                              SubLObject predicate)

hl_module_arity

public static final SubLObject hl_module_arity(SubLObject hl_module)

hl_module_arity_relevant_p

public static final SubLObject hl_module_arity_relevant_p(SubLObject hl_module,
                                                          SubLObject asent)

hl_module_exclusive_func

public static final SubLObject hl_module_exclusive_func(SubLObject hl_module)

hl_module_supplants_info

public static final SubLObject hl_module_supplants_info(SubLObject hl_module)

hl_module_direction

public static final SubLObject hl_module_direction(SubLObject hl_module)

hl_module_direction_relevantP

public static final SubLObject hl_module_direction_relevantP(SubLObject hl_module)

hl_module_input_extract_pattern

public static final SubLObject hl_module_input_extract_pattern(SubLObject hl_module)

hl_module_input_verify_pattern

public static final SubLObject hl_module_input_verify_pattern(SubLObject hl_module)

hl_module_input_encode_pattern

public static final SubLObject hl_module_input_encode_pattern(SubLObject hl_module)

hl_module_output_check_pattern

public static final SubLObject hl_module_output_check_pattern(SubLObject hl_module)

hl_module_output_generate_pattern

public static final SubLObject hl_module_output_generate_pattern(SubLObject hl_module)

hl_module_output_decode_pattern

public static final SubLObject hl_module_output_decode_pattern(SubLObject hl_module)

hl_module_output_verify_pattern

public static final SubLObject hl_module_output_verify_pattern(SubLObject hl_module)

hl_module_output_construct_pattern

public static final SubLObject hl_module_output_construct_pattern(SubLObject hl_module)

hl_module_support_pattern

public static final SubLObject hl_module_support_pattern(SubLObject hl_module)

hl_module_support_func

public static final SubLObject hl_module_support_func(SubLObject hl_module)

hl_module_support_module

public static final SubLObject hl_module_support_module(SubLObject hl_module)

hl_module_support_mt

public static final SubLObject hl_module_support_mt(SubLObject hl_module)

hl_module_support_mt_result

public static final SubLObject hl_module_support_mt_result(SubLObject hl_module)

hl_module_support_strength

public static final SubLObject hl_module_support_strength(SubLObject hl_module)

hl_module_every_predicates

public static final SubLObject hl_module_every_predicates(SubLObject hl_module)

hl_module_applicability_func

public static final SubLObject hl_module_applicability_func(SubLObject hl_module)

hl_module_applicability_pattern

public static final SubLObject hl_module_applicability_pattern(SubLObject hl_module)

hl_module_any_predicates

public static final SubLObject hl_module_any_predicates(SubLObject hl_module)

hl_module_completeness

public static final SubLObject hl_module_completeness(SubLObject hl_module,
                                                      SubLObject asent,
                                                      SubLObject default_completeness)

hl_module_externalP

public static final SubLObject hl_module_externalP(SubLObject hl_module)

hl_module_activeP

public static final SubLObject hl_module_activeP(SubLObject hl_module,
                                                 SubLObject inactive_hl_modules)

removal_modules

public static final SubLObject removal_modules()

removal_module_p

public static final SubLObject removal_module_p(SubLObject object)

generic_removal_modules_for_sense

public static final SubLObject generic_removal_modules_for_sense(SubLObject sense)

universal_removal_modules_for_sense

public static final SubLObject universal_removal_modules_for_sense(SubLObject sense)

removal_modules_specific_for_sense

public static final SubLObject removal_modules_specific_for_sense(SubLObject predicate,
                                                                  SubLObject sense)

Return the removal modules declared specific to PREDICATE in SENSE literals.

removal_modules_universal_for_predicate_and_sense

public static final SubLObject removal_modules_universal_for_predicate_and_sense(SubLObject predicate,
                                                                                 SubLObject sense)

Return universal removal modules declared to use in SENSE literals and which have not been declared as dont-use for PREDICATE.

rebuild_solely_specific_removal_module_predicate_store

public static final SubLObject rebuild_solely_specific_removal_module_predicate_store()

register_solely_specific_removal_module_predicate

public static final SubLObject register_solely_specific_removal_module_predicate(SubLObject predicate)

If you want the specific removal modules for PREDICATE to supplant ALL generic removal modules, then register this property.

solely_specific_removal_module_predicateP

public static final SubLObject solely_specific_removal_module_predicateP(SubLObject predicate)

inference_removal_module

public static final SubLObject inference_removal_module(SubLObject name,
                                                        SubLObject plist)

Declare an inference removal module named NAME with properties in PLIST.

inference_removal_module_use_generic

public static final SubLObject inference_removal_module_use_generic(SubLObject predicate,
                                                                    SubLObject name)

State that the generic removal module named NAME should also be used for PREDICATE.

inference_removal_module_use_meta_removal

public static final SubLObject inference_removal_module_use_meta_removal(SubLObject predicate,
                                                                         SubLObject name)

State that the meta-removal module named NAME should also be used for PREDICATE.

inference_removal_module_dont_use_universal

public static final SubLObject inference_removal_module_dont_use_universal(SubLObject predicate,
                                                                           SubLObject name)

State that the universal removal module named NAME should not be used for PREDICATE.

strengthen_removal_module_properties

public static final SubLObject strengthen_removal_module_properties(SubLObject name,
                                                                    SubLObject plist)

reclassify_removal_modules

public static final SubLObject reclassify_removal_modules()

clear_removal_modules

public static final SubLObject clear_removal_modules()

classify_removal_module

public static final SubLObject classify_removal_module(SubLObject hl_module)

inference_removal_module_note_specific

public static final SubLObject inference_removal_module_note_specific(SubLObject predicate,
                                                                      SubLObject hl_module)

removal_modules_conjunctive

public static final SubLObject removal_modules_conjunctive()

conjunctive_removal_module_p

public static final SubLObject conjunctive_removal_module_p(SubLObject object)

Return T iff OBJECT is a conjunctive removal module.

inference_conjunctive_removal_module

public static final SubLObject inference_conjunctive_removal_module(SubLObject name,
                                                                    SubLObject plist)

Declare a conjunctive inference removal module named NAME. Allowed properties in PLIST: :every-predicates ; a necessary condition for applicability; the clause must contain every predicate in the list for MODULE to apply. :applicability ; a unary function whose single argument is a contextualized-dnf-clause-p. Its return value is a list of subclause-spec-p indicating which subclauses of the input clause MODULE applies to.

meta_removal_modules

public static final SubLObject meta_removal_modules()

meta_removal_module_p

public static final SubLObject meta_removal_module_p(SubLObject object)

meta_removal_module_specific_predicates

public static final SubLObject meta_removal_module_specific_predicates(SubLObject meta_removal_module)

Returns:: listp; a list of predicates with specific removal modules that want to use this meta-removal module.

meta_removal_module_specific_predicateP

public static final SubLObject meta_removal_module_specific_predicateP(SubLObject meta_removal_module,
                                                                       SubLObject predicate)

predicate_uses_meta_removal_moduleP

public static final SubLObject predicate_uses_meta_removal_moduleP(SubLObject predicate,
                                                                   SubLObject meta_removal_module)

All predicates use all meta-removal modules unless they are solely specific and have not been stated as @xref inference-removal-module-use-meta-removal.

inference_meta_removal_module

public static final SubLObject inference_meta_removal_module(SubLObject name,
                                                             SubLObject plist)

Meta-removal modules are modules which execute other removal tactics on the same problem. They use the same required, cost, and completeness handling as removal modules, but their execution is handled specially by the harness.

transformation_modules

public static final SubLObject transformation_modules()

transformation_module_p

public static final SubLObject transformation_module_p(SubLObject object)

inference_transformation_module

public static final SubLObject inference_transformation_module(SubLObject name,
                                                               SubLObject plist)

meta_transformation_module_p

public static final SubLObject meta_transformation_module_p(SubLObject object)

inference_meta_transformation_module

public static final SubLObject inference_meta_transformation_module(SubLObject name,
                                                                    SubLObject plist)

rewrite_module_p

public static final SubLObject rewrite_module_p(SubLObject object)

inference_rewrite_module

public static final SubLObject inference_rewrite_module(SubLObject name,
                                                        SubLObject plist)

Declares NAME to be a rewrite module, with properties specified by PLIST.

strengthen_rewrite_module_properties

public static final SubLObject strengthen_rewrite_module_properties(SubLObject name,
                                                                    SubLObject plist)

structural_module_p

public static final SubLObject structural_module_p(SubLObject object)

inference_structural_module

public static final SubLObject inference_structural_module(SubLObject name,
                                                           SubLObject plist)

meta_structural_module_p

public static final SubLObject meta_structural_module_p(SubLObject object)

inference_meta_structural_module

public static final SubLObject inference_meta_structural_module(SubLObject name,
                                                                SubLObject plist)

declare_inference_modules_file

public static final SubLObject declare_inference_modules_file()

init_inference_modules_file

public static final SubLObject init_inference_modules_file()

setup_inference_modules_file

public static final SubLObject setup_inference_modules_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.harness Class inference_modules

me

myName

$dtp_hl_module$

$sym0$_META_REMOVAL_MODULES_

$list1

$list2

$sym3$MODULE_VAR

$sym4$CLET

$sym5$DO_LIST

$list6

$sym7$PWHEN

$sym8$HL_MODULE_PROPERTY_NOT_DEFAULT_

$sym9$HL_MODULE_PROPERTY_WITHOUT_VALUES

$list10

$kw11$KB

$list12

$kw13$MODULE_SUBTYPE

$list14

$kw15$ALL

$kw16$OR

$sym17$ALLOWED_MODULES_SPEC_P

$kw18$AND

$kw19$NOT

$kw20$MODULE_TYPE

$sym21$HL_MODULE_P

$sym22$HL_MODULE

$list23

$list24

$list25

$list26

$sym27$PRINT_HL_MODULE

$sym28$HL_MODULE_PRINT_FUNCTION_TRAMPOLINE

$sym29$HL_MOD_NAME

$sym30$_CSETF_HL_MOD_NAME

$sym31$HL_MOD_PLIST

$sym32$_CSETF_HL_MOD_PLIST

$sym33$HL_MOD_SENSE

$sym34$_CSETF_HL_MOD_SENSE

$sym35$HL_MOD_PREDICATE

$sym36$_CSETF_HL_MOD_PREDICATE

$sym37$HL_MOD_ANY_PREDICATES

$sym38$_CSETF_HL_MOD_ANY_PREDICATES

$sym39$HL_MOD_ARITY

$sym40$_CSETF_HL_MOD_ARITY

$sym41$HL_MOD_DIRECTION

$sym42$_CSETF_HL_MOD_DIRECTION

$sym43$HL_MOD_REQUIRED_PATTERN

$sym44$_CSETF_HL_MOD_REQUIRED_PATTERN

$sym45$HL_MOD_REQUIRED_MT

$sym46$_CSETF_HL_MOD_REQUIRED_MT

$sym47$HL_MOD_EXCLUSIVE_FUNC

$sym48$_CSETF_HL_MOD_EXCLUSIVE_FUNC

$sym49$HL_MOD_REQUIRED_FUNC

$sym50$_CSETF_HL_MOD_REQUIRED_FUNC

$sym51$HL_MOD_COMPLETENESS

$sym52$_CSETF_HL_MOD_COMPLETENESS

$kw53$NAME

$kw54$PLIST

$kw55$SENSE

$kw56$PREDICATE

$kw57$ANY_PREDICATES

$kw58$ARITY

$kw59$DIRECTION

$kw60$REQUIRED_PATTERN

$kw61$REQUIRED_MT

$kw62$EXCLUSIVE_FUNC

$kw63$REQUIRED_FUNC

$kw64$COMPLETENESS

$str65$Invalid_slot__S_for_construction_

$str66$_HL_Module___a_

$sym67$SXHASH_HL_MODULE_METHOD

$sym68$PROPERTY_LIST_P

$sym69$HL_MODULE_PROPERTY_P

$kw70$EXCLUSIVE

$kw71$SUPPLANTS

$str72$_supplants_is_meaningless_without

$kw73$FREE

$kw74$DEFAULT

$sym75$_HL_MODULE_STORE_

com.cyc.cycjava.cycl.inference.harness
Class inference_modules