preference_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.modules
Class preference_modules

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class preference_modules
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`preference_modules.$preference_module_native`
`static class`	`preference_modules.$preference_module_p$UnaryFunction`
`static class`	`preference_modules.$sxhash_preference_module_method$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_preference_module$
`static SubLSymbol`	`$kw2$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw20$PREFERRED`
`static SubLSymbol`	`$kw22$DISALLOWED`
`static SubLSymbol`	`$kw23$ALL`
`static SubLSymbol`	`$kw28$TACTICAL`
`static SubLSymbol`	`$kw3$DONE`
`static SubLSymbol`	`$kw32$DISPREFERRED`
`static SubLSymbol`	`$kw34$GROSSLY_DISPREFERRED`
`static SubLSymbol`	`$kw41$COMPLETE`
`static SubLSymbol`	`$kw42$INCOMPLETE`
`static SubLSymbol`	`$kw43$GROSSLY_INCOMPLETE`
`static SubLSymbol`	`$kw44$IMPOSSIBLE`
`static SubLSymbol`	`$kw49$PREDICATE`
`static SubLSymbol`	`$kw51$SENSE`
`static SubLSymbol`	`$kw53$REQUIRED_PATTERN`
`static SubLSymbol`	`$kw55$REQUIRED_MT`
`static SubLSymbol`	`$kw57$ANY_PREDICATES`
`static SubLSymbol`	`$kw59$EXCLUSIVE`
`static SubLSymbol`	`$kw61$SUPPLANTS`
`static SubLSymbol`	`$kw64$PREFERENCE_LEVEL`
`static SubLSymbol`	`$kw65$PREFERENCE`
`static SubLSymbol`	`$kw95$NAME`
`static SubLSymbol`	`$kw96$PREFERENCE_FUNC`
`static SubLList`	`$list0`
`static SubLList`	`$list1`
`static SubLList`	`$list101`
`static SubLList`	`$list102`
`static SubLList`	`$list26`
`static SubLList`	`$list29`
`static SubLList`	`$list47`
`static SubLList`	`$list6`
`static SubLList`	`$list73`
`static SubLList`	`$list74`
`static SubLList`	`$list75`
`static SubLList`	`$list76`
`static SubLList`	`$list9`
`static SubLString`	`$str21$no_preference_modules_applicable`
`static SubLString`	`$str31$Preferred`
`static SubLString`	`$str33$Dispreferred`
`static SubLString`	`$str35$Grossly_Dispreferred`
`static SubLString`	`$str36$Disallowed`
`static SubLString`	`$str37$Undetermined`
`static SubLString`	`$str38$Unexpected_preference_level__a`
`static SubLString`	`$str45$unexpected_completeness__s`
`static SubLString`	`$str46$unexpected_preference_level__s`
`static SubLString`	`$str63$invalid__supplants_value__s`
`static SubLString`	`$str66$unexpected_preference_module_prop`
`static SubLString`	`$str67$_s_must_specify__sense`
`static SubLString`	`$str68$_s_must_specify_exactly_one_of__p`
`static SubLString`	`$str97$Invalid_slot__S_for_construction_`
`static SubLString`	`$str98$_PREFMOD__a_`
`static SubLSymbol`	`$sym10$PRED`
`static SubLSymbol`	`$sym100$KEYWORDP`
`static SubLSymbol`	`$sym103$PATTERN_MATCHES_FORMULA`
`static SubLSymbol`	`$sym104$TVA_POS_PREFERENCE`
`static SubLSymbol`	`$sym11$CLET`
`static SubLSymbol`	`$sym12$ATOMIC_SENTENCE_PREDICATE`
`static SubLSymbol`	`$sym13$DO_SPECIFIC_PREFERENCE_MODULES_FOR_PRED`
`static SubLSymbol`	`$sym14$PWHEN`
`static SubLSymbol`	`$sym15$PREFERENCE_MODULE_RELEVANT_`
`static SubLSymbol`	`$sym16$DO_GENERIC_PREFERENCE_MODULES`
`static SubLSymbol`	`$sym17$DO_DICTIONARY_VALUES`
`static SubLSymbol`	`$sym18$_PREFERENCE_MODULES_BY_NAME_`
`static SubLSymbol`	`$sym19$SINGLE_LITERAL_PROBLEM_P`
`static SubLSymbol`	`$sym24$PREFERENCE_MODULE_NAME`
`static SubLSymbol`	`$sym25$SINGLETON_`
`static SubLSymbol`	`$sym27$POS_ATOMIC_CLAUSE_P`
`static SubLSymbol`	`$sym30$PREFERENCE_LEVEL_P`
`static SubLSymbol`	`$sym39$PREFERENCE_LEVEL__`
`static SubLSymbol`	`$sym4$DO_SET`
`static SubLSymbol`	`$sym40$PREFERENCE_LEVEL__`
`static SubLSymbol`	`$sym48$PREFERENCE_MODULE_PROPERTY_P`
`static SubLSymbol`	`$sym5$_GENERIC_PREFERENCE_MODULES_`
`static SubLSymbol`	`$sym50$FORT_P`
`static SubLSymbol`	`$sym52$SENSE_P`
`static SubLSymbol`	`$sym54$CONSP`
`static SubLSymbol`	`$sym56$HLMT_P`
`static SubLSymbol`	`$sym58$LISTP`
`static SubLSymbol`	`$sym60$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym62$SYMBOLP`
`static SubLSymbol`	`$sym69$_SPECIFIC_PREFERENCE_MODULES_`
`static SubLSymbol`	`$sym7$CSOME`
`static SubLSymbol`	`$sym70$_PREFERENCE_MODULE_SUPPLANTS_`
`static SubLSymbol`	`$sym71$PREFERENCE_MODULE`
`static SubLSymbol`	`$sym72$PREFERENCE_MODULE_P`
`static SubLSymbol`	`$sym77$PRINT_PREFERENCE_MODULE`
`static SubLSymbol`	`$sym78$PREFERENCE_MODULE_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym79$PREF_MOD_NAME`
`static SubLSymbol`	`$sym8$SPECIFIC_PREFERENCE_MODULES_FOR_PRED`
`static SubLSymbol`	`$sym80$_CSETF_PREF_MOD_NAME`
`static SubLSymbol`	`$sym81$PREF_MOD_PREDICATE`
`static SubLSymbol`	`$sym82$_CSETF_PREF_MOD_PREDICATE`
`static SubLSymbol`	`$sym83$PREF_MOD_SENSE`
`static SubLSymbol`	`$sym84$_CSETF_PREF_MOD_SENSE`
`static SubLSymbol`	`$sym85$PREF_MOD_REQUIRED_PATTERN`
`static SubLSymbol`	`$sym86$_CSETF_PREF_MOD_REQUIRED_PATTERN`
`static SubLSymbol`	`$sym87$PREF_MOD_PREFERENCE_LEVEL`
`static SubLSymbol`	`$sym88$_CSETF_PREF_MOD_PREFERENCE_LEVEL`
`static SubLSymbol`	`$sym89$PREF_MOD_PREFERENCE_FUNC`
`static SubLSymbol`	`$sym90$_CSETF_PREF_MOD_PREFERENCE_FUNC`
`static SubLSymbol`	`$sym91$PREF_MOD_REQUIRED_MT`
`static SubLSymbol`	`$sym92$_CSETF_PREF_MOD_REQUIRED_MT`
`static SubLSymbol`	`$sym93$PREF_MOD_ANY_PREDICATES`
`static SubLSymbol`	`$sym94$_CSETF_PREF_MOD_ANY_PREDICATES`
`static SubLSymbol`	`$sym99$SXHASH_PREFERENCE_MODULE_METHOD`
`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_pref_mod_any_predicates(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_pref_mod_name(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_pref_mod_predicate(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_pref_mod_preference_func(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_pref_mod_preference_level(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_pref_mod_required_mt(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_pref_mod_required_pattern(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_pref_mod_sense(SubLObject object, SubLObject value)`
`static SubLObject`	`all_relevant_preference_modules(SubLObject asent, SubLObject sense, SubLObject bindable_vars)`
`static SubLObject`	`check_preference_module_properties(SubLObject plist)`
`static SubLObject`	`completeness_to_preference_level(SubLObject completeness)`
`static SubLObject`	`declare_preference_modules_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`find_preference_module(SubLObject name)`
`static SubLObject`	`inference_preference_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`init_preference_modules_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`literal_preference_level_wrt_modules(SubLObject asent, SubLObject sense, SubLObject bindable_vars, SubLObject strategic_context)`
`static SubLObject`	`make_preference_module(SubLObject arglist)`
`static SubLObject`	`note_preference_module_supplants(SubLObject prefmod, SubLObject supplants)`
`static SubLObject`	`pref_mod_any_predicates(SubLObject object)`
`static SubLObject`	`pref_mod_name(SubLObject object)`
`static SubLObject`	`pref_mod_predicate(SubLObject object)`
`static SubLObject`	`pref_mod_preference_func(SubLObject object)`
`static SubLObject`	`pref_mod_preference_level(SubLObject object)`
`static SubLObject`	`pref_mod_required_mt(SubLObject object)`
`static SubLObject`	`pref_mod_required_pattern(SubLObject object)`
`static SubLObject`	`pref_mod_sense(SubLObject object)`
`static SubLObject`	`preference_level_G(SubLObject preference_level1, SubLObject preference_level2)`
`static SubLObject`	`preference_level_L(SubLObject preference_level1, SubLObject preference_level2)`
`static SubLObject`	`preference_level_LE(SubLObject preference_level1, SubLObject preference_level2)`
`static SubLObject`	`preference_level_p(SubLObject object)`
`static SubLObject`	`preference_module_any_predicates(SubLObject prefmod)`
`static SubLObject`	`preference_module_compute_preference_level_funcall(SubLObject preference_func, SubLObject asent, SubLObject bindable_vars, SubLObject strategic_context)`
`static SubLObject`	`preference_module_compute_preference_level(SubLObject prefmod, SubLObject asent, SubLObject bindable_vars, SubLObject strategic_context)`
`static SubLObject`	`preference_module_exclusiveP(SubLObject prefmod)`
`static SubLObject`	`preference_module_name(SubLObject prefmod)`
`static SubLObject`	`preference_module_predicate_matchP(SubLObject prefmod, SubLObject pred)`
`static SubLObject`	`preference_module_predicate(SubLObject prefmod)`
`static SubLObject`	`preference_module_preference_func(SubLObject prefmod)`
`static SubLObject`	`preference_module_preference_level(SubLObject prefmod)`
`static SubLObject`	`preference_module_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`preference_module_relevantP(SubLObject prefmod, SubLObject asent, SubLObject sense, SubLObject bindable_vars)`
`static SubLObject`	`preference_module_required_mt_matchP(SubLObject prefmod)`
`static SubLObject`	`preference_module_required_mt(SubLObject prefmod)`
`static SubLObject`	`preference_module_required_pattern_matchP(SubLObject prefmod, SubLObject asent, SubLObject bindable_vars)`
`static SubLObject`	`preference_module_required_pattern(SubLObject prefmod)`
`static SubLObject`	`preference_module_sense_matchP(SubLObject prefmod, SubLObject sense)`
`static SubLObject`	`preference_module_sense(SubLObject prefmod)`
`static SubLObject`	`problem_preference_level_wrt_modules(SubLObject problem, SubLObject strategic_context, SubLObject shared_vars)`
`static SubLObject`	`reclassify_preference_modules()`
`static SubLObject`	`register_preference_module(SubLObject prefmod)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_preference_modules_file()`
`static SubLObject`	`specific_preference_modules_for_pred(SubLObject pred)`

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_preference_module$

public static SubLSymbol $dtp_preference_module$

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$kw2$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw2$ALLOW_OTHER_KEYS

$kw3$DONE

public static final SubLSymbol $kw3$DONE

$sym4$DO_SET

public static final SubLSymbol $sym4$DO_SET

$sym5$_GENERIC_PREFERENCE_MODULES_

public static final SubLSymbol $sym5$_GENERIC_PREFERENCE_MODULES_

$list6

public static final SubLList $list6

$sym7$CSOME

public static final SubLSymbol $sym7$CSOME

$sym8$SPECIFIC_PREFERENCE_MODULES_FOR_PRED

public static final SubLSymbol $sym8$SPECIFIC_PREFERENCE_MODULES_FOR_PRED

$list9

public static final SubLList $list9

$sym10$PRED

public static final SubLSymbol $sym10$PRED

$sym11$CLET

public static final SubLSymbol $sym11$CLET

$sym12$ATOMIC_SENTENCE_PREDICATE

public static final SubLSymbol $sym12$ATOMIC_SENTENCE_PREDICATE

$sym13$DO_SPECIFIC_PREFERENCE_MODULES_FOR_PRED

public static final SubLSymbol $sym13$DO_SPECIFIC_PREFERENCE_MODULES_FOR_PRED

$sym14$PWHEN

public static final SubLSymbol $sym14$PWHEN

$sym15$PREFERENCE_MODULE_RELEVANT_

public static final SubLSymbol $sym15$PREFERENCE_MODULE_RELEVANT_

$sym16$DO_GENERIC_PREFERENCE_MODULES

public static final SubLSymbol $sym16$DO_GENERIC_PREFERENCE_MODULES

$sym17$DO_DICTIONARY_VALUES

public static final SubLSymbol $sym17$DO_DICTIONARY_VALUES

$sym18$_PREFERENCE_MODULES_BY_NAME_

public static final SubLSymbol $sym18$_PREFERENCE_MODULES_BY_NAME_

$sym19$SINGLE_LITERAL_PROBLEM_P

public static final SubLSymbol $sym19$SINGLE_LITERAL_PROBLEM_P

$kw20$PREFERRED

public static final SubLSymbol $kw20$PREFERRED

$str21$no_preference_modules_applicable

public static final SubLString $str21$no_preference_modules_applicable

$kw22$DISALLOWED

public static final SubLSymbol $kw22$DISALLOWED

$kw23$ALL

public static final SubLSymbol $kw23$ALL

$sym24$PREFERENCE_MODULE_NAME

public static final SubLSymbol $sym24$PREFERENCE_MODULE_NAME

$sym25$SINGLETON_

public static final SubLSymbol $sym25$SINGLETON_

$list26

public static final SubLList $list26

$sym27$POS_ATOMIC_CLAUSE_P

public static final SubLSymbol $sym27$POS_ATOMIC_CLAUSE_P

$kw28$TACTICAL

public static final SubLSymbol $kw28$TACTICAL

$list29

public static final SubLList $list29

$sym30$PREFERENCE_LEVEL_P

public static final SubLSymbol $sym30$PREFERENCE_LEVEL_P

$str31$Preferred

public static final SubLString $str31$Preferred

$kw32$DISPREFERRED

public static final SubLSymbol $kw32$DISPREFERRED

$str33$Dispreferred

public static final SubLString $str33$Dispreferred

$kw34$GROSSLY_DISPREFERRED

public static final SubLSymbol $kw34$GROSSLY_DISPREFERRED

$str35$Grossly_Dispreferred

public static final SubLString $str35$Grossly_Dispreferred

$str36$Disallowed

public static final SubLString $str36$Disallowed

$str37$Undetermined

public static final SubLString $str37$Undetermined

$str38$Unexpected_preference_level__a

public static final SubLString $str38$Unexpected_preference_level__a

$sym39$PREFERENCE_LEVEL__

public static final SubLSymbol $sym39$PREFERENCE_LEVEL__

$sym40$PREFERENCE_LEVEL__

public static final SubLSymbol $sym40$PREFERENCE_LEVEL__

$kw41$COMPLETE

public static final SubLSymbol $kw41$COMPLETE

$kw42$INCOMPLETE

public static final SubLSymbol $kw42$INCOMPLETE

$kw43$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw43$GROSSLY_INCOMPLETE

$kw44$IMPOSSIBLE

public static final SubLSymbol $kw44$IMPOSSIBLE

$str45$unexpected_completeness__s

public static final SubLString $str45$unexpected_completeness__s

$str46$unexpected_preference_level__s

public static final SubLString $str46$unexpected_preference_level__s

$list47

public static final SubLList $list47

$sym48$PREFERENCE_MODULE_PROPERTY_P

public static final SubLSymbol $sym48$PREFERENCE_MODULE_PROPERTY_P

$kw49$PREDICATE

public static final SubLSymbol $kw49$PREDICATE

$sym50$FORT_P

public static final SubLSymbol $sym50$FORT_P

$kw51$SENSE

public static final SubLSymbol $kw51$SENSE

$sym52$SENSE_P

public static final SubLSymbol $sym52$SENSE_P

$kw53$REQUIRED_PATTERN

public static final SubLSymbol $kw53$REQUIRED_PATTERN

$sym54$CONSP

public static final SubLSymbol $sym54$CONSP

$kw55$REQUIRED_MT

public static final SubLSymbol $kw55$REQUIRED_MT

$sym56$HLMT_P

public static final SubLSymbol $sym56$HLMT_P

$kw57$ANY_PREDICATES

public static final SubLSymbol $kw57$ANY_PREDICATES

$sym58$LISTP

public static final SubLSymbol $sym58$LISTP

$kw59$EXCLUSIVE

public static final SubLSymbol $kw59$EXCLUSIVE

$sym60$FUNCTION_SPEC_P

public static final SubLSymbol $sym60$FUNCTION_SPEC_P

$kw61$SUPPLANTS

public static final SubLSymbol $kw61$SUPPLANTS

$sym62$SYMBOLP

public static final SubLSymbol $sym62$SYMBOLP

$str63$invalid__supplants_value__s

public static final SubLString $str63$invalid__supplants_value__s

$kw64$PREFERENCE_LEVEL

public static final SubLSymbol $kw64$PREFERENCE_LEVEL

$kw65$PREFERENCE

public static final SubLSymbol $kw65$PREFERENCE

$str66$unexpected_preference_module_prop

public static final SubLString $str66$unexpected_preference_module_prop

$str67$_s_must_specify__sense

public static final SubLString $str67$_s_must_specify__sense

$str68$_s_must_specify_exactly_one_of__p

public static final SubLString $str68$_s_must_specify_exactly_one_of__p

$sym69$_SPECIFIC_PREFERENCE_MODULES_

public static final SubLSymbol $sym69$_SPECIFIC_PREFERENCE_MODULES_

$sym70$_PREFERENCE_MODULE_SUPPLANTS_

public static final SubLSymbol $sym70$_PREFERENCE_MODULE_SUPPLANTS_

$sym71$PREFERENCE_MODULE

public static final SubLSymbol $sym71$PREFERENCE_MODULE

$sym72$PREFERENCE_MODULE_P

public static final SubLSymbol $sym72$PREFERENCE_MODULE_P

$list73

public static final SubLList $list73

$list74

public static final SubLList $list74

$list75

public static final SubLList $list75

$list76

public static final SubLList $list76

$sym77$PRINT_PREFERENCE_MODULE

public static final SubLSymbol $sym77$PRINT_PREFERENCE_MODULE

$sym78$PREFERENCE_MODULE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym78$PREFERENCE_MODULE_PRINT_FUNCTION_TRAMPOLINE

$sym79$PREF_MOD_NAME

public static final SubLSymbol $sym79$PREF_MOD_NAME

$sym80$_CSETF_PREF_MOD_NAME

public static final SubLSymbol $sym80$_CSETF_PREF_MOD_NAME

$sym81$PREF_MOD_PREDICATE

public static final SubLSymbol $sym81$PREF_MOD_PREDICATE

$sym82$_CSETF_PREF_MOD_PREDICATE

public static final SubLSymbol $sym82$_CSETF_PREF_MOD_PREDICATE

$sym83$PREF_MOD_SENSE

public static final SubLSymbol $sym83$PREF_MOD_SENSE

$sym84$_CSETF_PREF_MOD_SENSE

public static final SubLSymbol $sym84$_CSETF_PREF_MOD_SENSE

$sym85$PREF_MOD_REQUIRED_PATTERN

public static final SubLSymbol $sym85$PREF_MOD_REQUIRED_PATTERN

$sym86$_CSETF_PREF_MOD_REQUIRED_PATTERN

public static final SubLSymbol $sym86$_CSETF_PREF_MOD_REQUIRED_PATTERN

$sym87$PREF_MOD_PREFERENCE_LEVEL

public static final SubLSymbol $sym87$PREF_MOD_PREFERENCE_LEVEL

$sym88$_CSETF_PREF_MOD_PREFERENCE_LEVEL

public static final SubLSymbol $sym88$_CSETF_PREF_MOD_PREFERENCE_LEVEL

$sym89$PREF_MOD_PREFERENCE_FUNC

public static final SubLSymbol $sym89$PREF_MOD_PREFERENCE_FUNC

$sym90$_CSETF_PREF_MOD_PREFERENCE_FUNC

public static final SubLSymbol $sym90$_CSETF_PREF_MOD_PREFERENCE_FUNC

$sym91$PREF_MOD_REQUIRED_MT

public static final SubLSymbol $sym91$PREF_MOD_REQUIRED_MT

$sym92$_CSETF_PREF_MOD_REQUIRED_MT

public static final SubLSymbol $sym92$_CSETF_PREF_MOD_REQUIRED_MT

$sym93$PREF_MOD_ANY_PREDICATES

public static final SubLSymbol $sym93$PREF_MOD_ANY_PREDICATES

$sym94$_CSETF_PREF_MOD_ANY_PREDICATES

public static final SubLSymbol $sym94$_CSETF_PREF_MOD_ANY_PREDICATES

$kw95$NAME

public static final SubLSymbol $kw95$NAME

$kw96$PREFERENCE_FUNC

public static final SubLSymbol $kw96$PREFERENCE_FUNC

$str97$Invalid_slot__S_for_construction_

public static final SubLString $str97$Invalid_slot__S_for_construction_

$str98$_PREFMOD__a_

public static final SubLString $str98$_PREFMOD__a_

$sym99$SXHASH_PREFERENCE_MODULE_METHOD

public static final SubLSymbol $sym99$SXHASH_PREFERENCE_MODULE_METHOD

$sym100$KEYWORDP

public static final SubLSymbol $sym100$KEYWORDP

$list101

public static final SubLList $list101

$list102

public static final SubLList $list102

$sym103$PATTERN_MATCHES_FORMULA

public static final SubLSymbol $sym103$PATTERN_MATCHES_FORMULA

$sym104$TVA_POS_PREFERENCE

public static final SubLSymbol $sym104$TVA_POS_PREFERENCE

Method Detail

problem_preference_level_wrt_modules

public static final SubLObject problem_preference_level_wrt_modules(SubLObject problem,
                                                                    SubLObject strategic_context,
                                                                    SubLObject shared_vars)

literal_preference_level_wrt_modules

public static final SubLObject literal_preference_level_wrt_modules(SubLObject asent,
                                                                    SubLObject sense,
                                                                    SubLObject bindable_vars,
                                                                    SubLObject strategic_context)

all_relevant_preference_modules

public static final SubLObject all_relevant_preference_modules(SubLObject asent,
                                                               SubLObject sense,
                                                               SubLObject bindable_vars)

preference_level_p

public static final SubLObject preference_level_p(SubLObject object)

preference_level_L

public static final SubLObject preference_level_L(SubLObject preference_level1,
                                                  SubLObject preference_level2)

Returns:: boolean; t iff PREFERENCE-LEVEL1 is _less_ preferred than PREFERENCE-LEVEL2.

preference_level_G

public static final SubLObject preference_level_G(SubLObject preference_level1,
                                                  SubLObject preference_level2)

Returns:: boolean; t iff PREFERENCE-LEVEL1 is _more_ preferred than PREFERENCE-LEVEL2.

preference_level_LE

public static final SubLObject preference_level_LE(SubLObject preference_level1,
                                                   SubLObject preference_level2)

completeness_to_preference_level

public static final SubLObject completeness_to_preference_level(SubLObject completeness)

check_preference_module_properties

public static final SubLObject check_preference_module_properties(SubLObject plist)

Returns:: t or throw an error

reclassify_preference_modules

public static final SubLObject reclassify_preference_modules()

specific_preference_modules_for_pred

public static final SubLObject specific_preference_modules_for_pred(SubLObject pred)

note_preference_module_supplants

public static final SubLObject note_preference_module_supplants(SubLObject prefmod,
                                                                SubLObject supplants)

preference_module_exclusiveP

public static final SubLObject preference_module_exclusiveP(SubLObject prefmod)

register_preference_module

public static final SubLObject register_preference_module(SubLObject prefmod)

preference_module_print_function_trampoline

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

pref_mod_name

public static final SubLObject pref_mod_name(SubLObject object)

pref_mod_predicate

public static final SubLObject pref_mod_predicate(SubLObject object)

pref_mod_sense

public static final SubLObject pref_mod_sense(SubLObject object)

pref_mod_required_pattern

public static final SubLObject pref_mod_required_pattern(SubLObject object)

pref_mod_preference_level

public static final SubLObject pref_mod_preference_level(SubLObject object)

pref_mod_preference_func

public static final SubLObject pref_mod_preference_func(SubLObject object)

pref_mod_required_mt

public static final SubLObject pref_mod_required_mt(SubLObject object)

pref_mod_any_predicates

public static final SubLObject pref_mod_any_predicates(SubLObject object)

_csetf_pref_mod_name

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

_csetf_pref_mod_predicate

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

_csetf_pref_mod_sense

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

_csetf_pref_mod_required_pattern

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

_csetf_pref_mod_preference_level

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

_csetf_pref_mod_preference_func

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

_csetf_pref_mod_required_mt

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

_csetf_pref_mod_any_predicates

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

make_preference_module

public static final SubLObject make_preference_module(SubLObject arglist)

find_preference_module

public static final SubLObject find_preference_module(SubLObject name)

Returns:: nil or preference-module-p

inference_preference_module

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

preference_module_name

public static final SubLObject preference_module_name(SubLObject prefmod)

preference_module_predicate

public static final SubLObject preference_module_predicate(SubLObject prefmod)

preference_module_any_predicates

public static final SubLObject preference_module_any_predicates(SubLObject prefmod)

preference_module_sense

public static final SubLObject preference_module_sense(SubLObject prefmod)

preference_module_required_pattern

public static final SubLObject preference_module_required_pattern(SubLObject prefmod)

preference_module_required_mt

public static final SubLObject preference_module_required_mt(SubLObject prefmod)

preference_module_preference_level

public static final SubLObject preference_module_preference_level(SubLObject prefmod)

preference_module_preference_func

public static final SubLObject preference_module_preference_func(SubLObject prefmod)

preference_module_relevantP

public static final SubLObject preference_module_relevantP(SubLObject prefmod,
                                                           SubLObject asent,
                                                           SubLObject sense,
                                                           SubLObject bindable_vars)

preference_module_predicate_matchP

public static final SubLObject preference_module_predicate_matchP(SubLObject prefmod,
                                                                  SubLObject pred)

preference_module_sense_matchP

public static final SubLObject preference_module_sense_matchP(SubLObject prefmod,
                                                              SubLObject sense)

preference_module_required_pattern_matchP

public static final SubLObject preference_module_required_pattern_matchP(SubLObject prefmod,
                                                                         SubLObject asent,
                                                                         SubLObject bindable_vars)

preference_module_required_mt_matchP

public static final SubLObject preference_module_required_mt_matchP(SubLObject prefmod)

preference_module_compute_preference_level

public static final SubLObject preference_module_compute_preference_level(SubLObject prefmod,
                                                                          SubLObject asent,
                                                                          SubLObject bindable_vars,
                                                                          SubLObject strategic_context)

preference_module_compute_preference_level_funcall

public static final SubLObject preference_module_compute_preference_level_funcall(SubLObject preference_func,
                                                                                  SubLObject asent,
                                                                                  SubLObject bindable_vars,
                                                                                  SubLObject strategic_context)

declare_preference_modules_file

public static final SubLObject declare_preference_modules_file()

init_preference_modules_file

public static final SubLObject init_preference_modules_file()

setup_preference_modules_file

public static final SubLObject setup_preference_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.modules Class preference_modules

me

myName

$dtp_preference_module$

$list0

$list1

$kw2$ALLOW_OTHER_KEYS

$kw3$DONE

$sym4$DO_SET

$sym5$_GENERIC_PREFERENCE_MODULES_

$list6

$sym7$CSOME

$sym8$SPECIFIC_PREFERENCE_MODULES_FOR_PRED

$list9

$sym10$PRED

$sym11$CLET

$sym12$ATOMIC_SENTENCE_PREDICATE

$sym13$DO_SPECIFIC_PREFERENCE_MODULES_FOR_PRED

$sym14$PWHEN

$sym15$PREFERENCE_MODULE_RELEVANT_

$sym16$DO_GENERIC_PREFERENCE_MODULES

$sym17$DO_DICTIONARY_VALUES

$sym18$_PREFERENCE_MODULES_BY_NAME_

$sym19$SINGLE_LITERAL_PROBLEM_P

$kw20$PREFERRED

$str21$no_preference_modules_applicable

$kw22$DISALLOWED

$kw23$ALL

$sym24$PREFERENCE_MODULE_NAME

$sym25$SINGLETON_

$list26

$sym27$POS_ATOMIC_CLAUSE_P

$kw28$TACTICAL

$list29

$sym30$PREFERENCE_LEVEL_P

$str31$Preferred

$kw32$DISPREFERRED

$str33$Dispreferred

$kw34$GROSSLY_DISPREFERRED

$str35$Grossly_Dispreferred

$str36$Disallowed

$str37$Undetermined

$str38$Unexpected_preference_level__a

$sym39$PREFERENCE_LEVEL__

$sym40$PREFERENCE_LEVEL__

$kw41$COMPLETE

$kw42$INCOMPLETE

$kw43$GROSSLY_INCOMPLETE

$kw44$IMPOSSIBLE

$str45$unexpected_completeness__s

$str46$unexpected_preference_level__s

$list47

$sym48$PREFERENCE_MODULE_PROPERTY_P

$kw49$PREDICATE

$sym50$FORT_P

$kw51$SENSE

$sym52$SENSE_P

$kw53$REQUIRED_PATTERN

$sym54$CONSP

$kw55$REQUIRED_MT

$sym56$HLMT_P

$kw57$ANY_PREDICATES

$sym58$LISTP

$kw59$EXCLUSIVE

$sym60$FUNCTION_SPEC_P

$kw61$SUPPLANTS

$sym62$SYMBOLP

$str63$invalid__supplants_value__s

$kw64$PREFERENCE_LEVEL

$kw65$PREFERENCE

$str66$unexpected_preference_module_prop

$str67$_s_must_specify__sense

$str68$_s_must_specify_exactly_one_of__p

$sym69$_SPECIFIC_PREFERENCE_MODULES_

$sym70$_PREFERENCE_MODULE_SUPPLANTS_

$sym71$PREFERENCE_MODULE

$sym72$PREFERENCE_MODULE_P

$list73

$list74

$list75

com.cyc.cycjava.cycl.inference.modules
Class preference_modules