com.cyc.cycjava.cycl.inference.harness
Class balancing_tactician
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.harness.balancing_tactician
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class balancing_tactician
- 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 |
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
$dtp_balancing_tactician_data$
public static SubLSymbol $dtp_balancing_tactician_data$
$balancing_tactician_new_roots_check_for_t_on_jo_linkP$
public static SubLSymbol $balancing_tactician_new_roots_check_for_t_on_jo_linkP$
- It seems correct to ensure that the motivating join-ordered link has T before using it
to motivate the creation of a new root. However, turning this to NIL causes 13 haystacks
to become answerable. Leviathan @todo investigate why, and try to come up with a more
principled fix.
$kw0$BALANCING
public static final SubLSymbol $kw0$BALANCING
$list1
public static final SubLList $list1
$sym2$BALANCING_TACTICIAN_DATA
public static final SubLSymbol $sym2$BALANCING_TACTICIAN_DATA
$sym3$BALANCING_TACTICIAN_DATA_P
public static final SubLSymbol $sym3$BALANCING_TACTICIAN_DATA_P
$list4
public static final SubLList $list4
$list5
public static final SubLList $list5
$list6
public static final SubLList $list6
$list7
public static final SubLList $list7
$sym8$DEFAULT_STRUCT_PRINT_FUNCTION
public static final SubLSymbol $sym8$DEFAULT_STRUCT_PRINT_FUNCTION
$sym9$BALANCING_TACTICIAN_DATA_PRINT_FUNCTION_TRAMPOLINE
public static final SubLSymbol $sym9$BALANCING_TACTICIAN_DATA_PRINT_FUNCTION_TRAMPOLINE
$sym10$BAL_TAC_DATA_NEW_ROOT_SUBSTRATEGY
public static final SubLSymbol $sym10$BAL_TAC_DATA_NEW_ROOT_SUBSTRATEGY
$sym11$_CSETF_BAL_TAC_DATA_NEW_ROOT_SUBSTRATEGY
public static final SubLSymbol $sym11$_CSETF_BAL_TAC_DATA_NEW_ROOT_SUBSTRATEGY
$sym12$BAL_TAC_DATA_TRANSFORMATION_SUBSTRATEGY
public static final SubLSymbol $sym12$BAL_TAC_DATA_TRANSFORMATION_SUBSTRATEGY
$sym13$_CSETF_BAL_TAC_DATA_TRANSFORMATION_SUBSTRATEGY
public static final SubLSymbol $sym13$_CSETF_BAL_TAC_DATA_TRANSFORMATION_SUBSTRATEGY
$sym14$BAL_TAC_DATA_REMOVAL_SUBSTRATEGIES
public static final SubLSymbol $sym14$BAL_TAC_DATA_REMOVAL_SUBSTRATEGIES
$sym15$_CSETF_BAL_TAC_DATA_REMOVAL_SUBSTRATEGIES
public static final SubLSymbol $sym15$_CSETF_BAL_TAC_DATA_REMOVAL_SUBSTRATEGIES
$kw16$NEW_ROOT_SUBSTRATEGY
public static final SubLSymbol $kw16$NEW_ROOT_SUBSTRATEGY
$kw17$TRANSFORMATION_SUBSTRATEGY
public static final SubLSymbol $kw17$TRANSFORMATION_SUBSTRATEGY
$kw18$REMOVAL_SUBSTRATEGIES
public static final SubLSymbol $kw18$REMOVAL_SUBSTRATEGIES
$str19$Invalid_slot__S_for_construction_
public static final SubLString $str19$Invalid_slot__S_for_construction_
$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$DONE
public static final SubLSymbol $kw24$DONE
$sym25$CSOME
public static final SubLSymbol $sym25$CSOME
$sym26$BALANCING_TACTICIAN_ALL_SUBSTRATEGIES
public static final SubLSymbol $sym26$BALANCING_TACTICIAN_ALL_SUBSTRATEGIES
$sym27$DO_BALANCING_TACTICIAN_SUBSTRATEGIES
public static final SubLSymbol $sym27$DO_BALANCING_TACTICIAN_SUBSTRATEGIES
$sym28$PUNLESS
public static final SubLSymbol $sym28$PUNLESS
$sym29$BALANCING_TACTICIAN_SPINELESS_SUBSTRATEGY_P
public static final SubLSymbol $sym29$BALANCING_TACTICIAN_SPINELESS_SUBSTRATEGY_P
$sym30$BALANCING_TACTICIAN_INITIALIZE
public static final SubLSymbol $sym30$BALANCING_TACTICIAN_INITIALIZE
$kw31$NEW_ROOT
public static final SubLSymbol $kw31$NEW_ROOT
$kw32$TRANSFORMATION
public static final SubLSymbol $kw32$TRANSFORMATION
$kw33$REMOVAL
public static final SubLSymbol $kw33$REMOVAL
$sym34$BALANCING_TACTICIAN_P
public static final SubLSymbol $sym34$BALANCING_TACTICIAN_P
$sym35$BALANCING_TACTICIAN_DONE_
public static final SubLSymbol $sym35$BALANCING_TACTICIAN_DONE_
$kw36$UNINTERESTING
public static final SubLSymbol $kw36$UNINTERESTING
$sym37$BALANCING_TACTICIAN_DO_ONE_STEP
public static final SubLSymbol $sym37$BALANCING_TACTICIAN_DO_ONE_STEP
$kw38$INTERESTING
public static final SubLSymbol $kw38$INTERESTING
$sym39$BALANCING_TACTICIAN_CONTINUATION_POSSIBLE_
public static final SubLSymbol $sym39$BALANCING_TACTICIAN_CONTINUATION_POSSIBLE_
$sym40$BALANCING_TACTICIAN_CHOOSES_TO_THROW_AWAY_TACTIC_
public static final SubLSymbol $sym40$BALANCING_TACTICIAN_CHOOSES_TO_THROW_AWAY_TACTIC_
$sym41$BALANCING_TACTICIAN_CHOOSES_TO_SET_ASIDE_TACTIC_
public static final SubLSymbol $sym41$BALANCING_TACTICIAN_CHOOSES_TO_SET_ASIDE_TACTIC_
$sym42$BALANCING_TACTICIAN_THROW_AWAY_UNINTERESTING_SET_ASIDES
public static final SubLSymbol $sym42$BALANCING_TACTICIAN_THROW_AWAY_UNINTERESTING_SET_ASIDES
$sym43$BALANCING_TACTICIAN_NOTE_INFERENCE_DYNAMIC_PROPERTIES_UPDATED
public static final SubLSymbol $sym43$BALANCING_TACTICIAN_NOTE_INFERENCE_DYNAMIC_PROPERTIES_UPDATED
$sym44$BALANCING_TACTICIAN_INITIALIZE_PROPERTIES
public static final SubLSymbol $sym44$BALANCING_TACTICIAN_INITIALIZE_PROPERTIES
$sym45$BALANCING_TACTICIAN_UPDATE_PROPERTIES
public static final SubLSymbol $sym45$BALANCING_TACTICIAN_UPDATE_PROPERTIES
$sym46$BALANCING_TACTICIAN_INITIAL_RELEVANT_STRATEGIES
public static final SubLSymbol $sym46$BALANCING_TACTICIAN_INITIAL_RELEVANT_STRATEGIES
$sym47$BALANCING_TACTICIAN_POSSIBLY_ACTIVATE_PROBLEM
public static final SubLSymbol $sym47$BALANCING_TACTICIAN_POSSIBLY_ACTIVATE_PROBLEM
$kw48$RESTRICTION
public static final SubLSymbol $kw48$RESTRICTION
$kw49$JOIN_ORDERED
public static final SubLSymbol $kw49$JOIN_ORDERED
$sym50$PROBLEM_LINK_P
public static final SubLSymbol $sym50$PROBLEM_LINK_P
$kw51$COMPLETE
public static final SubLSymbol $kw51$COMPLETE
$sym52$BALANCING_TACTICIAN_NOTE_ARGUMENT_LINK
public static final SubLSymbol $sym52$BALANCING_TACTICIAN_NOTE_ARGUMENT_LINK
$sym53$BALANCING_TACTICIAN_EARLY_REMOVAL_PRODUCTIVITY_LIMIT
public static final SubLSymbol $sym53$BALANCING_TACTICIAN_EARLY_REMOVAL_PRODUCTIVITY_LIMIT
$sym54$BALANCING_TACTICIAN_SUBSTRATEGY_STRATEGEM_MOTIVATED
public static final SubLSymbol $sym54$BALANCING_TACTICIAN_SUBSTRATEGY_STRATEGEM_MOTIVATED
$kw55$SPLIT
public static final SubLSymbol $kw55$SPLIT
$kw56$UNION
public static final SubLSymbol $kw56$UNION
$sym57$TRANSFORMATION_STRATEGY_P
public static final SubLSymbol $sym57$TRANSFORMATION_STRATEGY_P
$kw58$RESIDUAL_TRANSFORMATION
public static final SubLSymbol $kw58$RESIDUAL_TRANSFORMATION
$sym59$CONNECTED_CONJUNCTION_TACTIC_P
public static final SubLSymbol $sym59$CONNECTED_CONJUNCTION_TACTIC_P
$sym60$SPLIT_TACTIC_P
public static final SubLSymbol $sym60$SPLIT_TACTIC_P
$sym61$REMOVAL_STRATEGY_P
public static final SubLSymbol $sym61$REMOVAL_STRATEGY_P
$sym62$BALANCING_TACTICIAN_ALLOWS_SPLIT_TACTIC_TO_BE_SET_ASIDE_WRT_REMOV
public static final SubLSymbol $sym62$BALANCING_TACTICIAN_ALLOWS_SPLIT_TACTIC_TO_BE_SET_ASIDE_WRT_REMOV
$sym63$BALANCING_TACTICIAN_CHOOSES_TO_TOTALLY_THROW_AWAY_TACTIC_
public static final SubLSymbol $sym63$BALANCING_TACTICIAN_CHOOSES_TO_TOTALLY_THROW_AWAY_TACTIC_
$kw64$COMPLETE_REMOVAL_TACTIC_NO_GOOD
public static final SubLSymbol $kw64$COMPLETE_REMOVAL_TACTIC_NO_GOOD
$sym65$BALANCING_TACTICIAN_SUBSTRATEGY_PROBLEM_STATUS_CHANGE
public static final SubLSymbol $sym65$BALANCING_TACTICIAN_SUBSTRATEGY_PROBLEM_STATUS_CHANGE
$kw66$FINISHED
public static final SubLSymbol $kw66$FINISHED
$kw67$NO_GOOD
public static final SubLSymbol $kw67$NO_GOOD
$kw68$GOOD
public static final SubLSymbol $kw68$GOOD
$kw69$NEUTRAL
public static final SubLSymbol $kw69$NEUTRAL
$kw70$CONNECTED_CONJUNCTION
public static final SubLSymbol $kw70$CONNECTED_CONJUNCTION
balancing_tactician_p
public static final SubLObject balancing_tactician_p(SubLObject object)
balancing_tactician_substrategy_p
public static final SubLObject balancing_tactician_substrategy_p(SubLObject object)
declare_balancing_tactician_file
public static final SubLObject declare_balancing_tactician_file()
init_balancing_tactician_file
public static final SubLObject init_balancing_tactician_file()
setup_balancing_tactician_file
public static final SubLObject setup_balancing_tactician_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.