com.cyc.cycjava.cycl.inference.modules
Class transformation_modules
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.modules.transformation_modules
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class transformation_modules
- extends SubLTranslatedFile
| Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols |
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER |
|
Method Summary |
static SubLObject |
add_selected_rule(SubLObject rule,
SubLObject selected_rules)
|
static SubLObject |
additional_predicate_commutativity_supports(SubLObject predicate)
|
static SubLObject |
current_inference_rule_preference_G(SubLObject rule1,
SubLObject rule2)
|
static SubLObject |
declare_transformation_modules_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
finalize_selected_rules(SubLObject selected_rules)
|
static SubLObject |
init_transformation_modules_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
modus_tollens_transformation_module_p(SubLObject object)
|
static SubLObject |
modus_tollens_transformation_proof_p(SubLObject object)
|
static SubLObject |
new_selected_rules()
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_transformation_modules_file()
|
static SubLObject |
sort_rules_via_current_inference_rule_preference(SubLObject rules)
|
static SubLObject |
trans_predicate_commutativity_cost(SubLObject asent,
SubLObject sense)
|
static SubLObject |
trans_predicate_commutativity_expand_int(SubLObject asent,
SubLObject sense,
SubLObject rule)
|
static SubLObject |
trans_predicate_commutativity_expand(SubLObject asent,
SubLObject sense,
SubLObject rule)
|
static SubLObject |
trans_predicate_commutativity_rule_filter(SubLObject asent,
SubLObject sense,
SubLObject rule)
|
static SubLObject |
trans_predicate_commutativity_rule_select(SubLObject asent,
SubLObject sense)
|
static SubLObject |
trans_predicate_cost(SubLObject asent,
SubLObject sense)
|
static SubLObject |
trans_predicate_expand(SubLObject asent,
SubLObject sense,
SubLObject rule)
|
static SubLObject |
trans_predicate_genlpreds_pos_cost(SubLObject asent)
|
static SubLObject |
trans_predicate_genlpreds_pos_required(SubLObject asent)
|
static SubLObject |
trans_predicate_genlpreds_pos_rule_select_int_internal(SubLObject predicate)
|
static SubLObject |
trans_predicate_genlpreds_pos_rule_select_int(SubLObject predicate)
|
static SubLObject |
trans_predicate_genlpreds_pos_rule_select(SubLObject asent)
|
static SubLObject |
trans_predicate_genlpreds_required(SubLObject asent)
|
static SubLObject |
trans_predicate_pos_cost(SubLObject asent)
|
static SubLObject |
trans_predicate_pos_expand(SubLObject asent,
SubLObject rule)
|
static SubLObject |
trans_predicate_pos_required(SubLObject asent)
|
static SubLObject |
trans_predicate_pos_rule_filter(SubLObject asent,
SubLObject rule)
|
static SubLObject |
trans_predicate_pos_rule_select(SubLObject asent)
|
static SubLObject |
trans_predicate_required(SubLObject asent)
|
static SubLObject |
trans_predicate_rule_filter(SubLObject asent,
SubLObject sense,
SubLObject rule)
|
static SubLObject |
trans_predicate_rule_select_int_internal(SubLObject predicate,
SubLObject sense)
|
static SubLObject |
trans_predicate_rule_select_int(SubLObject predicate,
SubLObject sense)
|
static SubLObject |
trans_predicate_rule_select(SubLObject asent,
SubLObject sense)
|
static SubLObject |
trans_predicate_symmetry_pos_cost(SubLObject asent)
|
static SubLObject |
trans_predicate_symmetry_pos_expand(SubLObject asent,
SubLObject rule)
|
static SubLObject |
trans_predicate_symmetry_pos_rule_filter(SubLObject asent,
SubLObject rule)
|
static SubLObject |
trans_predicate_symmetry_pos_rule_select(SubLObject asent)
|
static SubLObject |
trans_unbound_predicate_cost(SubLObject sense)
|
static SubLObject |
trans_unbound_predicate_module_p(SubLObject hl_module)
|
static SubLObject |
trans_unbound_predicate_pos_cost(SubLObject asent)
|
static SubLObject |
trans_unbound_predicate_pos_required(SubLObject asent)
|
static SubLObject |
trans_unbound_predicate_required(SubLObject asent)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$const0$genls
public static final SubLObject $const0$genls
$kw1$GENLS
public static final SubLSymbol $kw1$GENLS
$const2$genlMt
public static final SubLObject $const2$genlMt
$kw3$GENLMT
public static final SubLSymbol $kw3$GENLMT
$const4$genlPreds
public static final SubLObject $const4$genlPreds
$kw5$GENLPREDS
public static final SubLSymbol $kw5$GENLPREDS
$const6$negationPreds
public static final SubLObject $const6$negationPreds
$kw7$NEGATIONPREDS
public static final SubLSymbol $kw7$NEGATIONPREDS
$const8$AsymmetricBinaryPredicate
public static final SubLObject $const8$AsymmetricBinaryPredicate
$const9$SymmetricBinaryPredicate
public static final SubLObject $const9$SymmetricBinaryPredicate
$const10$CommutativePredicate
public static final SubLObject $const10$CommutativePredicate
$const11$PartiallyCommutativePredicate
public static final SubLObject $const11$PartiallyCommutativePredicate
$str12$Unexpected_commutative_predicate_
public static final SubLString $str12$Unexpected_commutative_predicate_
$kw13$GAF_ARG
public static final SubLSymbol $kw13$GAF_ARG
$kw14$GAF
public static final SubLSymbol $kw14$GAF
$kw15$PREDICATE_EXTENT
public static final SubLSymbol $kw15$PREDICATE_EXTENT
$kw16$OVERLAP
public static final SubLSymbol $kw16$OVERLAP
$kw17$NEG
public static final SubLSymbol $kw17$NEG
$list18
public static final SubLList $list18
$sym19$DO_LIST
public static final SubLSymbol $sym19$DO_LIST
$list20
public static final SubLList $list20
$list21
public static final SubLList $list21
$list22
public static final SubLList $list22
$kw23$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw23$ALLOW_OTHER_KEYS
$kw24$PREDICATE
public static final SubLSymbol $kw24$PREDICATE
$sym25$PREDICATE_VAR
public static final SubLSymbol $sym25$PREDICATE_VAR
$sym26$CLET
public static final SubLSymbol $sym26$CLET
$sym27$DO_TRANSFORMATION_RULE_LITERALS
public static final SubLSymbol $sym27$DO_TRANSFORMATION_RULE_LITERALS
$sym28$PWHEN
public static final SubLSymbol $sym28$PWHEN
$sym29$ATOMIC_SENTENCE_PREDICATE
public static final SubLSymbol $sym29$ATOMIC_SENTENCE_PREDICATE
$sym30$RULE_VAR
public static final SubLSymbol $sym30$RULE_VAR
$sym31$RULE_RELEVANT_TO_PROOF
public static final SubLSymbol $sym31$RULE_RELEVANT_TO_PROOF
$sym32$DO_ASSERTION_LITERALS
public static final SubLSymbol $sym32$DO_ASSERTION_LITERALS
$kw33$SENSE
public static final SubLSymbol $kw33$SENSE
$list34
public static final SubLList $list34
$sym35$DIRECTION_VAR
public static final SubLSymbol $sym35$DIRECTION_VAR
$sym36$SENSE_VAR
public static final SubLSymbol $sym36$SENSE_VAR
$sym37$PREDICATE_VAR
public static final SubLSymbol $sym37$PREDICATE_VAR
$sym38$DO_TRANSFORMATION_RELEVANT_DIRECTIONS
public static final SubLSymbol $sym38$DO_TRANSFORMATION_RELEVANT_DIRECTIONS
$sym39$DO_PREDICATE_RULE_INDEX
public static final SubLSymbol $sym39$DO_PREDICATE_RULE_INDEX
$kw40$DIRECTION
public static final SubLSymbol $kw40$DIRECTION
$sym41$CURRENT_INFERENCE_RULE_PREFERENCE__
public static final SubLSymbol $sym41$CURRENT_INFERENCE_RULE_PREFERENCE__
$sym42$TRANSFORMATION_RULE_UTILITY__
public static final SubLSymbol $sym42$TRANSFORMATION_RULE_UTILITY__
$kw43$POS
public static final SubLSymbol $kw43$POS
$kw44$TRANS_PREDICATE_POS
public static final SubLSymbol $kw44$TRANS_PREDICATE_POS
$list45
public static final SubLList $list45
$kw46$TRANS_PREDICATE_NEG
public static final SubLSymbol $kw46$TRANS_PREDICATE_NEG
$list47
public static final SubLList $list47
$sym48$TRANS_PREDICATE_RULE_SELECT_INT
public static final SubLSymbol $sym48$TRANS_PREDICATE_RULE_SELECT_INT
$kw49$RULE
public static final SubLSymbol $kw49$RULE
$kw50$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw50$_MEMOIZED_ITEM_NOT_FOUND_
$str51$Invalid_sense__s
public static final SubLString $str51$Invalid_sense__s
$sym52$TRANS_PREDICATE_GENLPREDS_POS_RULE_SELECT_INT
public static final SubLSymbol $sym52$TRANS_PREDICATE_GENLPREDS_POS_RULE_SELECT_INT
$kw53$TRANS_PREDICATE_GENLPREDS_POS
public static final SubLSymbol $kw53$TRANS_PREDICATE_GENLPREDS_POS
$list54
public static final SubLList $list54
$kw55$TRANS_PREDICATE_GENLPREDS_NEG
public static final SubLSymbol $kw55$TRANS_PREDICATE_GENLPREDS_NEG
$list56
public static final SubLList $list56
$kw57$TRANS_PREDICATE_NEGATIONPREDS_NEG
public static final SubLSymbol $kw57$TRANS_PREDICATE_NEGATIONPREDS_NEG
$list58
public static final SubLList $list58
$kw59$TRANS_PREDICATE_SYMMETRY_POS
public static final SubLSymbol $kw59$TRANS_PREDICATE_SYMMETRY_POS
$list60
public static final SubLList $list60
$kw61$TRANS_PREDICATE_SYMMETRY_NEG
public static final SubLSymbol $kw61$TRANS_PREDICATE_SYMMETRY_NEG
$list62
public static final SubLList $list62
$kw63$TRANS_PREDICATE_COMMUTATIVE_POS
public static final SubLSymbol $kw63$TRANS_PREDICATE_COMMUTATIVE_POS
$list64
public static final SubLList $list64
$kw65$TRANS_PREDICATE_COMMUTATIVE_NEG
public static final SubLSymbol $kw65$TRANS_PREDICATE_COMMUTATIVE_NEG
$list66
public static final SubLList $list66
$kw67$TRANS_PREDICATE_PARTIALLY_COMMUTATIVE_POS
public static final SubLSymbol $kw67$TRANS_PREDICATE_PARTIALLY_COMMUTATIVE_POS
$list68
public static final SubLList $list68
$kw69$TRANS_PREDICATE_PARTIALLY_COMMUTATIVE_NEG
public static final SubLSymbol $kw69$TRANS_PREDICATE_PARTIALLY_COMMUTATIVE_NEG
$list70
public static final SubLList $list70
$kw71$TRANS_PREDICATE_ASYMMETRY
public static final SubLSymbol $kw71$TRANS_PREDICATE_ASYMMETRY
$list72
public static final SubLList $list72
$list73
public static final SubLList $list73
$kw74$TRANS_UNBOUND_PREDICATE_POS
public static final SubLSymbol $kw74$TRANS_UNBOUND_PREDICATE_POS
$list75
public static final SubLList $list75
$kw76$TRANS_UNBOUND_PREDICATE_NEG
public static final SubLSymbol $kw76$TRANS_UNBOUND_PREDICATE_NEG
$list77
public static final SubLList $list77
$list78
public static final SubLList $list78
$sym79$INFERENCE_MEMOIZED_ALL_SPECS
public static final SubLSymbol $sym79$INFERENCE_MEMOIZED_ALL_SPECS
$sym80$TRANS_ISA_POS_RULE_SELECT_COUNT
public static final SubLSymbol $sym80$TRANS_ISA_POS_RULE_SELECT_COUNT
$const81$isa
public static final SubLObject $const81$isa
$kw82$TRANS_ISA_POS
public static final SubLSymbol $kw82$TRANS_ISA_POS
$list83
public static final SubLList $list83
$kw84$TRANS_ISA_NEG
public static final SubLSymbol $kw84$TRANS_ISA_NEG
$list85
public static final SubLList $list85
$kw86$TRANS_GENLS_POS
public static final SubLSymbol $kw86$TRANS_GENLS_POS
$list87
public static final SubLList $list87
$kw88$TRANS_GENLS_NEG
public static final SubLSymbol $kw88$TRANS_GENLS_NEG
$list89
public static final SubLList $list89
$sym90$INFERENCE_MEMOIZED_ALL_SPEC_MTS
public static final SubLSymbol $sym90$INFERENCE_MEMOIZED_ALL_SPEC_MTS
$kw91$TRANS_GENL_MT_POS
public static final SubLSymbol $kw91$TRANS_GENL_MT_POS
$list92
public static final SubLList $list92
$kw93$TRANS_GENL_MT_NEG
public static final SubLSymbol $kw93$TRANS_GENL_MT_NEG
$list94
public static final SubLList $list94
$const95$abnormal
public static final SubLObject $const95$abnormal
$kw96$TRANS_ABNORMAL
public static final SubLSymbol $kw96$TRANS_ABNORMAL
$list97
public static final SubLList $list97
$list98
public static final SubLList $list98
$kw99$TRANSFORMATION_ABDUCTION_TO_SPECS
public static final SubLSymbol $kw99$TRANSFORMATION_ABDUCTION_TO_SPECS
$list100
public static final SubLList $list100
additional_predicate_commutativity_supports
public static final SubLObject additional_predicate_commutativity_supports(SubLObject predicate)
modus_tollens_transformation_module_p
public static final SubLObject modus_tollens_transformation_module_p(SubLObject object)
modus_tollens_transformation_proof_p
public static final SubLObject modus_tollens_transformation_proof_p(SubLObject object)
new_selected_rules
public static final SubLObject new_selected_rules()
add_selected_rule
public static final SubLObject add_selected_rule(SubLObject rule,
SubLObject selected_rules)
finalize_selected_rules
public static final SubLObject finalize_selected_rules(SubLObject selected_rules)
sort_rules_via_current_inference_rule_preference
public static final SubLObject sort_rules_via_current_inference_rule_preference(SubLObject rules)
current_inference_rule_preference_G
public static final SubLObject current_inference_rule_preference_G(SubLObject rule1,
SubLObject rule2)
trans_predicate_pos_required
public static final SubLObject trans_predicate_pos_required(SubLObject asent)
trans_predicate_pos_cost
public static final SubLObject trans_predicate_pos_cost(SubLObject asent)
trans_predicate_pos_rule_select
public static final SubLObject trans_predicate_pos_rule_select(SubLObject asent)
trans_predicate_pos_rule_filter
public static final SubLObject trans_predicate_pos_rule_filter(SubLObject asent,
SubLObject rule)
trans_predicate_pos_expand
public static final SubLObject trans_predicate_pos_expand(SubLObject asent,
SubLObject rule)
trans_predicate_required
public static final SubLObject trans_predicate_required(SubLObject asent)
trans_predicate_cost
public static final SubLObject trans_predicate_cost(SubLObject asent,
SubLObject sense)
trans_predicate_rule_select
public static final SubLObject trans_predicate_rule_select(SubLObject asent,
SubLObject sense)
trans_predicate_rule_select_int_internal
public static final SubLObject trans_predicate_rule_select_int_internal(SubLObject predicate,
SubLObject sense)
trans_predicate_rule_select_int
public static final SubLObject trans_predicate_rule_select_int(SubLObject predicate,
SubLObject sense)
trans_predicate_rule_filter
public static final SubLObject trans_predicate_rule_filter(SubLObject asent,
SubLObject sense,
SubLObject rule)
trans_predicate_expand
public static final SubLObject trans_predicate_expand(SubLObject asent,
SubLObject sense,
SubLObject rule)
trans_predicate_genlpreds_pos_required
public static final SubLObject trans_predicate_genlpreds_pos_required(SubLObject asent)
trans_predicate_genlpreds_pos_cost
public static final SubLObject trans_predicate_genlpreds_pos_cost(SubLObject asent)
trans_predicate_genlpreds_pos_rule_select
public static final SubLObject trans_predicate_genlpreds_pos_rule_select(SubLObject asent)
trans_predicate_genlpreds_pos_rule_select_int_internal
public static final SubLObject trans_predicate_genlpreds_pos_rule_select_int_internal(SubLObject predicate)
trans_predicate_genlpreds_pos_rule_select_int
public static final SubLObject trans_predicate_genlpreds_pos_rule_select_int(SubLObject predicate)
trans_predicate_genlpreds_required
public static final SubLObject trans_predicate_genlpreds_required(SubLObject asent)
trans_predicate_commutativity_cost
public static final SubLObject trans_predicate_commutativity_cost(SubLObject asent,
SubLObject sense)
trans_predicate_commutativity_rule_select
public static final SubLObject trans_predicate_commutativity_rule_select(SubLObject asent,
SubLObject sense)
trans_predicate_commutativity_expand_int
public static final SubLObject trans_predicate_commutativity_expand_int(SubLObject asent,
SubLObject sense,
SubLObject rule)
trans_predicate_commutativity_rule_filter
public static final SubLObject trans_predicate_commutativity_rule_filter(SubLObject asent,
SubLObject sense,
SubLObject rule)
trans_predicate_commutativity_expand
public static final SubLObject trans_predicate_commutativity_expand(SubLObject asent,
SubLObject sense,
SubLObject rule)
trans_predicate_symmetry_pos_cost
public static final SubLObject trans_predicate_symmetry_pos_cost(SubLObject asent)
trans_predicate_symmetry_pos_rule_select
public static final SubLObject trans_predicate_symmetry_pos_rule_select(SubLObject asent)
trans_predicate_symmetry_pos_rule_filter
public static final SubLObject trans_predicate_symmetry_pos_rule_filter(SubLObject asent,
SubLObject rule)
trans_predicate_symmetry_pos_expand
public static final SubLObject trans_predicate_symmetry_pos_expand(SubLObject asent,
SubLObject rule)
trans_unbound_predicate_module_p
public static final SubLObject trans_unbound_predicate_module_p(SubLObject hl_module)
trans_unbound_predicate_pos_required
public static final SubLObject trans_unbound_predicate_pos_required(SubLObject asent)
trans_unbound_predicate_pos_cost
public static final SubLObject trans_unbound_predicate_pos_cost(SubLObject asent)
trans_unbound_predicate_required
public static final SubLObject trans_unbound_predicate_required(SubLObject asent)
trans_unbound_predicate_cost
public static final SubLObject trans_unbound_predicate_cost(SubLObject sense)
declare_transformation_modules_file
public static final SubLObject declare_transformation_modules_file()
init_transformation_modules_file
public static final SubLObject init_transformation_modules_file()
setup_transformation_modules_file
public static final SubLObject setup_transformation_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.