inference_balanced_tactician

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_balanced_tactician_datastructures

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_balanced_tactician_datastructures
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_balanced_tactician_datastructures.$balanced_strategy_data_native`
`static class`	`inference_balanced_tactician_datastructures.$balanced_strategy_data_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_balanced_strategy_data$
`static SubLSymbol`	`$kw47$PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE`
`static SubLSymbol`	`$kw48$PROBLEMS_MOTIVATED_WRT_REMOVAL`
`static SubLSymbol`	`$kw49$PROBLEMS_MOTIVATED_WRT_TRANSFORMATION`
`static SubLSymbol`	`$kw50$LINK_HEADS_MOTIVATED_WRT_REMOVAL`
`static SubLSymbol`	`$kw51$LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION`
`static SubLSymbol`	`$kw52$PROBLEMS_PENDING_WRT_NEW_ROOT`
`static SubLSymbol`	`$kw53$PROBLEMS_PENDING_WRT_REMOVAL`
`static SubLSymbol`	`$kw54$PROBLEMS_PENDING_WRT_TRANSFORMATION`
`static SubLSymbol`	`$kw55$NEW_ROOT_INDEX`
`static SubLSymbol`	`$kw56$NEW_ROOT_PROBLEMS`
`static SubLSymbol`	`$kw57$REMOVAL_STRATEGEM_INDEX`
`static SubLSymbol`	`$kw58$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL`
`static SubLSymbol`	`$kw59$CURRENT_NEW_ROOT_WRT_REMOVAL`
`static SubLSymbol`	`$kw60$TRANSFORMATION_STRATEGEM_INDEX`
`static SubLSymbol`	`$kw61$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION`
`static SubLSymbol`	`$kw62$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL`
`static SubLSymbol`	`$kw63$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION`
`static SubLSymbol`	`$kw64$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL`
`static SubLSymbol`	`$kw65$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION`
`static SubLSymbol`	`$kw69$UNACTIVATED`
`static SubLSymbol`	`$kw72$REMOVAL`
`static SubLSymbol`	`$kw73$TRANSFORMATION`
`static SubLSymbol`	`$kw76$NEW_ROOT`
`static SubLSymbol`	`$kw80$PEEK_REMOVAL_STRATEGEM`
`static SubLSymbol`	`$kw81$PEEK_NEW_ROOT`
`static SubLSymbol`	`$kw82$PEEK_TRANSFORMATION_STRATEGEM`
`static SubLSymbol`	`$kw84$ACTIVATE_NEW_ROOT`
`static SubLSymbol`	`$kw85$POP_NEW_ROOT`
`static SubLSymbol`	`$kw87$ACTIVATE_REMOVAL_STRATEGEM`
`static SubLSymbol`	`$kw88$POP_REMOVAL_STRATEGEM`
`static SubLSymbol`	`$kw90$ACTIVATE_TRANSFORMATION_STRATEGEM`
`static SubLSymbol`	`$kw92$POP_TRANSFORMATION_STRATEGEM`
`static SubLSymbol`	`$kw95$NO_NEW_ROOTS`
`static SubLSymbol`	`$kw96$NO_ACTIVE_REMOVAL_STRATEGEMS`
`static SubLSymbol`	`$kw97$NO_ACTIVE_TRANSFORMATION_STRATEGEMS`
`static SubLList`	`$list0`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list5`
`static SubLList`	`$list6`
`static SubLString`	`$str66$Invalid_slot__S_for_construction_`
`static SubLString`	`$str74$unexpected_motivation__s`
`static SubLString`	`$str83$new_root_unpending_not_yet_suppor`
`static SubLString`	`$str91$new_root_strategem_activation_not`
`static SubLString`	`$str93$new_root_set_asides_not_yet_suppo`
`static SubLString`	`$str94$new_root_thrown_away_not_yet_supp`
`static SubLSymbol`	`$sym1$BALANCED_STRATEGY_DATA`
`static SubLSymbol`	`$sym10$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE`
`static SubLSymbol`	`$sym11$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL`
`static SubLSymbol`	`$sym12$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL`
`static SubLSymbol`	`$sym13$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym14$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym15$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL`
`static SubLSymbol`	`$sym16$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL`
`static SubLSymbol`	`$sym17$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym18$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym19$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT`
`static SubLSymbol`	`$sym2$BALANCED_STRATEGY_DATA_P`
`static SubLSymbol`	`$sym20$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT`
`static SubLSymbol`	`$sym21$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL`
`static SubLSymbol`	`$sym22$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL`
`static SubLSymbol`	`$sym23$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym24$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym25$BAL_STRAT_DATA_NEW_ROOT_INDEX`
`static SubLSymbol`	`$sym26$_CSETF_BAL_STRAT_DATA_NEW_ROOT_INDEX`
`static SubLSymbol`	`$sym27$BAL_STRAT_DATA_NEW_ROOT_PROBLEMS`
`static SubLSymbol`	`$sym28$_CSETF_BAL_STRAT_DATA_NEW_ROOT_PROBLEMS`
`static SubLSymbol`	`$sym29$BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX`
`static SubLSymbol`	`$sym30$_CSETF_BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX`
`static SubLSymbol`	`$sym31$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL`
`static SubLSymbol`	`$sym32$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL`
`static SubLSymbol`	`$sym33$BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL`
`static SubLSymbol`	`$sym34$_CSETF_BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL`
`static SubLSymbol`	`$sym35$BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX`
`static SubLSymbol`	`$sym36$_CSETF_BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX`
`static SubLSymbol`	`$sym37$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym38$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFO`
`static SubLSymbol`	`$sym39$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL`
`static SubLSymbol`	`$sym40$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL`
`static SubLSymbol`	`$sym41$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym42$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMA`
`static SubLSymbol`	`$sym43$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL`
`static SubLSymbol`	`$sym44$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL`
`static SubLSymbol`	`$sym45$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION`
`static SubLSymbol`	`$sym46$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFOR`
`static SubLSymbol`	`$sym67$BALANCED_STRATEGY_P`
`static SubLSymbol`	`$sym68$PROBLEM_P`
`static SubLSymbol`	`$sym7$DEFAULT_STRUCT_PRINT_FUNCTION`
`static SubLSymbol`	`$sym70$_`
`static SubLSymbol`	`$sym71$MOTIVATION_STRATEGEM_P`
`static SubLSymbol`	`$sym75$CONNECTED_CONJUNCTION_LINK_P`
`static SubLSymbol`	`$sym77$BALANCED_STRATEGY_MOTIVATION_P`
`static SubLSymbol`	`$sym78$STRATEGEM_P`
`static SubLSymbol`	`$sym79$BALANCED_STRATEGY_EARLY_REMOVAL_PRODUCTIVITY_LIMIT`
`static SubLSymbol`	`$sym8$BALANCED_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym86$REMOVAL_STRATEGEM_P`
`static SubLSymbol`	`$sym89$TRANSFORMATION_STRATEGEM_P`
`static SubLSymbol`	`$sym9$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE`
`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_bal_strat_data_current_new_root_wrt_removal(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_link_heads_motivated_wrt_removal(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_link_heads_motivated_wrt_transformation(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_new_root_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_new_root_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problem_strategems_set_aside_wrt_removal(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problem_strategems_set_aside_wrt_transformation(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problem_strategems_thrown_away_wrt_removal(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problem_strategems_thrown_away_wrt_transformation(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problem_total_strategems_active_wrt_removal(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problem_total_strategems_active_wrt_transformation(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problems_motivated_wrt_new_root_table(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problems_motivated_wrt_removal(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problems_motivated_wrt_transformation(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problems_pending_wrt_new_root(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problems_pending_wrt_removal(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_problems_pending_wrt_transformation(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_removal_strategem_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_bal_strat_data_transformation_strategem_index(SubLObject object, SubLObject value)`
`static SubLObject`	`bal_strat_data_link_heads_motivated_wrt_removal(SubLObject object)`
`static SubLObject`	`bal_strat_data_link_heads_motivated_wrt_transformation(SubLObject object)`
`static SubLObject`	`bal_strat_data_new_root_index(SubLObject object)`
`static SubLObject`	`bal_strat_data_new_root_problems(SubLObject object)`
`static SubLObject`	`bal_strat_data_problem_strategems_set_aside_wrt_removal(SubLObject object)`
`static SubLObject`	`bal_strat_data_problem_strategems_set_aside_wrt_transformation(SubLObject object)`
`static SubLObject`	`bal_strat_data_problem_strategems_thrown_away_wrt_removal(SubLObject object)`
`static SubLObject`	`bal_strat_data_problem_strategems_thrown_away_wrt_transformation(SubLObject object)`
`static SubLObject`	`bal_strat_data_problem_total_strategems_active_wrt_removal(SubLObject object)`
`static SubLObject`	`bal_strat_data_problem_total_strategems_active_wrt_transformation(SubLObject object)`
`static SubLObject`	`bal_strat_data_problems_motivated_wrt_new_root_table(SubLObject object)`
`static SubLObject`	`bal_strat_data_problems_motivated_wrt_removal(SubLObject object)`
`static SubLObject`	`bal_strat_data_problems_motivated_wrt_transformation(SubLObject object)`
`static SubLObject`	`bal_strat_data_problems_pending_wrt_new_root(SubLObject object)`
`static SubLObject`	`bal_strat_data_problems_pending_wrt_removal(SubLObject object)`
`static SubLObject`	`bal_strat_data_problems_pending_wrt_transformation(SubLObject object)`
`static SubLObject`	`bal_strat_data_removal_strategem_index(SubLObject object)`
`static SubLObject`	`bal_strat_data_transformation_strategem_index(SubLObject object)`
`static SubLObject`	`balanced_strategy_activate_strategem_wrt_removal(SubLObject strategy, SubLObject removal_strategem)` note that REMOVAL-STRATEGEM is in STRATEGY's R-box
`static SubLObject`	`balanced_strategy_activate_strategem_wrt_transformation(SubLObject strategy, SubLObject transformation_strategem)` note that TRANSFORMATION-STRATEGEM is in STRATEGY's T-box
`static SubLObject`	`balanced_strategy_activate_strategem(SubLObject strategy, SubLObject strategem, SubLObject motivation)`
`static SubLObject`	`balanced_strategy_add_new_root(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_clear_set_aside_problems(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_clear_strategems_set_aside_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_clear_strategems_set_aside_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_connected_conjunction_link_motivated_wrt_removalP(SubLObject strategy, SubLObject connected_conjunction_link)`
`static SubLObject`	`balanced_strategy_data_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`balanced_strategy_link_head_motivated_wrt_removalP(SubLObject strategy, SubLObject link_head)` Return T iff removal motivation should propagate through LINK-HEAD in STRATEGY
`static SubLObject`	`balanced_strategy_link_head_motivated_wrt_transformationP(SubLObject strategy, SubLObject link_head)` Return T iff transformation motivation should propagate through LINK-HEAD in STRATEGY
`static SubLObject`	`balanced_strategy_link_head_motivatedP(SubLObject strategy, SubLObject motivation, SubLObject link_head)`
`static SubLObject`	`balanced_strategy_link_heads_motivated_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_link_heads_motivated_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_new_root_index(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_new_root_problems(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_no_new_rootsP(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_no_strategems_active_wrt_removalP(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_no_strategems_active_wrt_transformationP(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_note_link_head_motivated_wrt_removal(SubLObject strategy, SubLObject link_head)` note R
`static SubLObject`	`balanced_strategy_note_link_head_motivated_wrt_transformation(SubLObject strategy, SubLObject link_head)` note T
`static SubLObject`	`balanced_strategy_note_link_head_motivated(SubLObject strategy, SubLObject motivation, SubLObject link_head)`
`static SubLObject`	`balanced_strategy_note_new_root_activated_wrt_removal(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_note_problem_motivated_wrt_new_root(SubLObject strategy, SubLObject problem)` note N
`static SubLObject`	`balanced_strategy_note_problem_motivated_wrt_removal(SubLObject strategy, SubLObject problem)` note R
`static SubLObject`	`balanced_strategy_note_problem_motivated_wrt_transformation(SubLObject strategy, SubLObject problem)` note T
`static SubLObject`	`balanced_strategy_note_problem_pending_wrt_new_root(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_note_problem_pending_wrt_removal(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_note_problem_pending_wrt_transformation(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_note_problem_pending(SubLObject strategy, SubLObject problem, SubLObject motivation)`
`static SubLObject`	`balanced_strategy_note_problem_unpending_wrt_removal(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_note_problem_unpending_wrt_transformation(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_note_problem_unpending(SubLObject strategy, SubLObject problem, SubLObject motivation)`
`static SubLObject`	`balanced_strategy_note_strategem_thrown_away_wrt_removal(SubLObject strategy, SubLObject removal_strategem)`
`static SubLObject`	`balanced_strategy_p(SubLObject object)`
`static SubLObject`	`balanced_strategy_peek_new_root(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_peek_strategem_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_peek_strategem_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_pop_new_root(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_pop_strategem_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_pop_strategem_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problem_active_wrt_new_rootP(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_problem_active_wrt_removalP(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_problem_active_wrt_transformationP(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_problem_activeP(SubLObject strategy, SubLObject problem, SubLObject motivation)`
`static SubLObject`	`balanced_strategy_problem_motivated_wrt_new_rootP(SubLObject strategy, SubLObject problem)` Return T iff PROBLEM is motivated to be a new root by STRATEGY
`static SubLObject`	`balanced_strategy_problem_motivated_wrt_removalP(SubLObject strategy, SubLObject problem)` Return T iff removal is motivated on PROBLEM in STRATEGY
`static SubLObject`	`balanced_strategy_problem_motivated_wrt_transformationP(SubLObject strategy, SubLObject problem)` Return T iff transformation is motivated on PROBLEM in STRATEGY
`static SubLObject`	`balanced_strategy_problem_pendingP(SubLObject strategy, SubLObject problem, SubLObject motivation)` Return T iff PROBLEM is pending in STRATEGY wrt MOTIVATION
`static SubLObject`	`balanced_strategy_problem_set_aside_wrt_removalP(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_problem_set_aside_wrt_transformationP(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_problem_set_asideP(SubLObject strategy, SubLObject problem, SubLObject motivation)`
`static SubLObject`	`balanced_strategy_problem_strategems_set_aside_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problem_strategems_set_aside_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problem_strategems_thrown_away_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problem_strategems_thrown_away_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problem_total_strategems_active_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problem_total_strategems_active_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problem_totally_pendingP(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`balanced_strategy_problems_motivated_wrt_new_root_table(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problems_motivated_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problems_motivated_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problems_pending_wrt_new_root(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problems_pending_wrt_removal(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_problems_pending_wrt_transformation(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_removal_backtracking_productivity_limit(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_removal_strategem_index(SubLObject strategy)`
`static SubLObject`	`balanced_strategy_set_current_new_root_wrt_removal(SubLObject strategy, SubLObject new_root)`
`static SubLObject`	`balanced_strategy_strategem_set_aside_wrt_removalP(SubLObject strategy, SubLObject strategem)`
`static SubLObject`	`balanced_strategy_strategem_set_aside_wrt_transformationP(SubLObject strategy, SubLObject strategem)`
`static SubLObject`	`balanced_strategy_strategem_set_asideP(SubLObject strategy, SubLObject strategem, SubLObject motivation)`
`static SubLObject`	`balanced_strategy_strategem_thrown_away_wrt_removalP(SubLObject strategy, SubLObject strategem)`
`static SubLObject`	`balanced_strategy_strategem_thrown_away_wrt_transformationP(SubLObject strategy, SubLObject strategem)`
`static SubLObject`	`balanced_strategy_strategem_thrown_awayP(SubLObject strategy, SubLObject strategem, SubLObject motivation)`
`static SubLObject`	`balanced_strategy_transformation_strategem_index(SubLObject strategy)`
`static SubLObject`	`declare_inference_balanced_tactician_datastructures_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`init_inference_balanced_tactician_datastructures_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_balanced_strategy_data(SubLObject arglist)`
`static SubLObject`	`new_balanced_strategy_data(SubLObject removal_index, SubLObject new_root_index, SubLObject transformation_index)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_inference_balanced_tactician_datastructures_file()`

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

public static SubLSymbol $dtp_balanced_strategy_data$

$list0

public static final SubLList $list0

$sym1$BALANCED_STRATEGY_DATA

public static final SubLSymbol $sym1$BALANCED_STRATEGY_DATA

$sym2$BALANCED_STRATEGY_DATA_P

public static final SubLSymbol $sym2$BALANCED_STRATEGY_DATA_P

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym7$DEFAULT_STRUCT_PRINT_FUNCTION

$sym8$BALANCED_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$BALANCED_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym9$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

public static final SubLSymbol $sym9$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

$sym10$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

public static final SubLSymbol $sym10$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

$sym11$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL

public static final SubLSymbol $sym11$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL

$sym12$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL

public static final SubLSymbol $sym12$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL

$sym13$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

public static final SubLSymbol $sym13$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

$sym14$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

public static final SubLSymbol $sym14$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

$sym15$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL

public static final SubLSymbol $sym15$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL

$sym16$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL

public static final SubLSymbol $sym16$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL

$sym17$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

public static final SubLSymbol $sym17$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

$sym18$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

public static final SubLSymbol $sym18$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

$sym19$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT

public static final SubLSymbol $sym19$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT

$sym20$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT

public static final SubLSymbol $sym20$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT

$sym21$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL

public static final SubLSymbol $sym21$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL

$sym22$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL

public static final SubLSymbol $sym22$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL

$sym23$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION

public static final SubLSymbol $sym23$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION

$sym24$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION

public static final SubLSymbol $sym24$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION

$sym25$BAL_STRAT_DATA_NEW_ROOT_INDEX

public static final SubLSymbol $sym25$BAL_STRAT_DATA_NEW_ROOT_INDEX

$sym26$_CSETF_BAL_STRAT_DATA_NEW_ROOT_INDEX

public static final SubLSymbol $sym26$_CSETF_BAL_STRAT_DATA_NEW_ROOT_INDEX

$sym27$BAL_STRAT_DATA_NEW_ROOT_PROBLEMS

public static final SubLSymbol $sym27$BAL_STRAT_DATA_NEW_ROOT_PROBLEMS

$sym28$_CSETF_BAL_STRAT_DATA_NEW_ROOT_PROBLEMS

public static final SubLSymbol $sym28$_CSETF_BAL_STRAT_DATA_NEW_ROOT_PROBLEMS

$sym29$BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

public static final SubLSymbol $sym29$BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

$sym30$_CSETF_BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

public static final SubLSymbol $sym30$_CSETF_BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

$sym31$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

public static final SubLSymbol $sym31$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

$sym32$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

public static final SubLSymbol $sym32$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

$sym33$BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL

public static final SubLSymbol $sym33$BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL

$sym34$_CSETF_BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL

public static final SubLSymbol $sym34$_CSETF_BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL

$sym35$BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

public static final SubLSymbol $sym35$BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

$sym36$_CSETF_BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

public static final SubLSymbol $sym36$_CSETF_BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

$sym37$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION

public static final SubLSymbol $sym37$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION

$sym38$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFO

public static final SubLSymbol $sym38$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFO

$sym39$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

public static final SubLSymbol $sym39$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

$sym40$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

public static final SubLSymbol $sym40$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

$sym41$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION

public static final SubLSymbol $sym41$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION

$sym42$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMA

public static final SubLSymbol $sym42$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMA

$sym43$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

public static final SubLSymbol $sym43$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

$sym44$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

public static final SubLSymbol $sym44$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

$sym45$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION

public static final SubLSymbol $sym45$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION

$sym46$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFOR

public static final SubLSymbol $sym46$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFOR

$kw47$PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

public static final SubLSymbol $kw47$PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

$kw48$PROBLEMS_MOTIVATED_WRT_REMOVAL

public static final SubLSymbol $kw48$PROBLEMS_MOTIVATED_WRT_REMOVAL

$kw49$PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

public static final SubLSymbol $kw49$PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

$kw50$LINK_HEADS_MOTIVATED_WRT_REMOVAL

public static final SubLSymbol $kw50$LINK_HEADS_MOTIVATED_WRT_REMOVAL

$kw51$LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

public static final SubLSymbol $kw51$LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

$kw52$PROBLEMS_PENDING_WRT_NEW_ROOT

public static final SubLSymbol $kw52$PROBLEMS_PENDING_WRT_NEW_ROOT

$kw53$PROBLEMS_PENDING_WRT_REMOVAL

public static final SubLSymbol $kw53$PROBLEMS_PENDING_WRT_REMOVAL

$kw54$PROBLEMS_PENDING_WRT_TRANSFORMATION

public static final SubLSymbol $kw54$PROBLEMS_PENDING_WRT_TRANSFORMATION

$kw55$NEW_ROOT_INDEX

public static final SubLSymbol $kw55$NEW_ROOT_INDEX

$kw56$NEW_ROOT_PROBLEMS

public static final SubLSymbol $kw56$NEW_ROOT_PROBLEMS

$kw57$REMOVAL_STRATEGEM_INDEX

public static final SubLSymbol $kw57$REMOVAL_STRATEGEM_INDEX

$kw58$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

public static final SubLSymbol $kw58$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

$kw59$CURRENT_NEW_ROOT_WRT_REMOVAL

public static final SubLSymbol $kw59$CURRENT_NEW_ROOT_WRT_REMOVAL

$kw60$TRANSFORMATION_STRATEGEM_INDEX

public static final SubLSymbol $kw60$TRANSFORMATION_STRATEGEM_INDEX

$kw61$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION

public static final SubLSymbol $kw61$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION

$kw62$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

public static final SubLSymbol $kw62$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

$kw63$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION

public static final SubLSymbol $kw63$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION

$kw64$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

public static final SubLSymbol $kw64$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

$kw65$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION

public static final SubLSymbol $kw65$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION

$str66$Invalid_slot__S_for_construction_

public static final SubLString $str66$Invalid_slot__S_for_construction_

$sym67$BALANCED_STRATEGY_P

public static final SubLSymbol $sym67$BALANCED_STRATEGY_P

$sym68$PROBLEM_P

public static final SubLSymbol $sym68$PROBLEM_P

$kw69$UNACTIVATED

public static final SubLSymbol $kw69$UNACTIVATED

$sym70$_

public static final SubLSymbol $sym70$_

$sym71$MOTIVATION_STRATEGEM_P

public static final SubLSymbol $sym71$MOTIVATION_STRATEGEM_P

$kw72$REMOVAL

public static final SubLSymbol $kw72$REMOVAL

$kw73$TRANSFORMATION

public static final SubLSymbol $kw73$TRANSFORMATION

$str74$unexpected_motivation__s

public static final SubLString $str74$unexpected_motivation__s

$sym75$CONNECTED_CONJUNCTION_LINK_P

public static final SubLSymbol $sym75$CONNECTED_CONJUNCTION_LINK_P

$kw76$NEW_ROOT

public static final SubLSymbol $kw76$NEW_ROOT

$sym77$BALANCED_STRATEGY_MOTIVATION_P

public static final SubLSymbol $sym77$BALANCED_STRATEGY_MOTIVATION_P

$sym78$STRATEGEM_P

public static final SubLSymbol $sym78$STRATEGEM_P

$sym79$BALANCED_STRATEGY_EARLY_REMOVAL_PRODUCTIVITY_LIMIT

public static final SubLSymbol $sym79$BALANCED_STRATEGY_EARLY_REMOVAL_PRODUCTIVITY_LIMIT

$kw80$PEEK_REMOVAL_STRATEGEM

public static final SubLSymbol $kw80$PEEK_REMOVAL_STRATEGEM

$kw81$PEEK_NEW_ROOT

public static final SubLSymbol $kw81$PEEK_NEW_ROOT

$kw82$PEEK_TRANSFORMATION_STRATEGEM

public static final SubLSymbol $kw82$PEEK_TRANSFORMATION_STRATEGEM

$str83$new_root_unpending_not_yet_suppor

public static final SubLString $str83$new_root_unpending_not_yet_suppor

$kw84$ACTIVATE_NEW_ROOT

public static final SubLSymbol $kw84$ACTIVATE_NEW_ROOT

$kw85$POP_NEW_ROOT

public static final SubLSymbol $kw85$POP_NEW_ROOT

$sym86$REMOVAL_STRATEGEM_P

public static final SubLSymbol $sym86$REMOVAL_STRATEGEM_P

$kw87$ACTIVATE_REMOVAL_STRATEGEM

public static final SubLSymbol $kw87$ACTIVATE_REMOVAL_STRATEGEM

$kw88$POP_REMOVAL_STRATEGEM

public static final SubLSymbol $kw88$POP_REMOVAL_STRATEGEM

$sym89$TRANSFORMATION_STRATEGEM_P

public static final SubLSymbol $sym89$TRANSFORMATION_STRATEGEM_P

$kw90$ACTIVATE_TRANSFORMATION_STRATEGEM

public static final SubLSymbol $kw90$ACTIVATE_TRANSFORMATION_STRATEGEM

$str91$new_root_strategem_activation_not

public static final SubLString $str91$new_root_strategem_activation_not

$kw92$POP_TRANSFORMATION_STRATEGEM

public static final SubLSymbol $kw92$POP_TRANSFORMATION_STRATEGEM

$str93$new_root_set_asides_not_yet_suppo

public static final SubLString $str93$new_root_set_asides_not_yet_suppo

$str94$new_root_thrown_away_not_yet_supp

public static final SubLString $str94$new_root_thrown_away_not_yet_supp

$kw95$NO_NEW_ROOTS

public static final SubLSymbol $kw95$NO_NEW_ROOTS

$kw96$NO_ACTIVE_REMOVAL_STRATEGEMS

public static final SubLSymbol $kw96$NO_ACTIVE_REMOVAL_STRATEGEMS

$kw97$NO_ACTIVE_TRANSFORMATION_STRATEGEMS

public static final SubLSymbol $kw97$NO_ACTIVE_TRANSFORMATION_STRATEGEMS

Method Detail

balanced_strategy_data_print_function_trampoline

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

bal_strat_data_problems_motivated_wrt_new_root_table

public static final SubLObject bal_strat_data_problems_motivated_wrt_new_root_table(SubLObject object)

bal_strat_data_problems_motivated_wrt_removal

public static final SubLObject bal_strat_data_problems_motivated_wrt_removal(SubLObject object)

bal_strat_data_problems_motivated_wrt_transformation

public static final SubLObject bal_strat_data_problems_motivated_wrt_transformation(SubLObject object)

bal_strat_data_link_heads_motivated_wrt_removal

public static final SubLObject bal_strat_data_link_heads_motivated_wrt_removal(SubLObject object)

bal_strat_data_link_heads_motivated_wrt_transformation

public static final SubLObject bal_strat_data_link_heads_motivated_wrt_transformation(SubLObject object)

bal_strat_data_problems_pending_wrt_new_root

public static final SubLObject bal_strat_data_problems_pending_wrt_new_root(SubLObject object)

bal_strat_data_problems_pending_wrt_removal

public static final SubLObject bal_strat_data_problems_pending_wrt_removal(SubLObject object)

bal_strat_data_problems_pending_wrt_transformation

public static final SubLObject bal_strat_data_problems_pending_wrt_transformation(SubLObject object)

bal_strat_data_new_root_index

public static final SubLObject bal_strat_data_new_root_index(SubLObject object)

bal_strat_data_new_root_problems

public static final SubLObject bal_strat_data_new_root_problems(SubLObject object)

bal_strat_data_removal_strategem_index

public static final SubLObject bal_strat_data_removal_strategem_index(SubLObject object)

bal_strat_data_problem_total_strategems_active_wrt_removal

public static final SubLObject bal_strat_data_problem_total_strategems_active_wrt_removal(SubLObject object)

bal_strat_data_transformation_strategem_index

public static final SubLObject bal_strat_data_transformation_strategem_index(SubLObject object)

bal_strat_data_problem_total_strategems_active_wrt_transformation

public static final SubLObject bal_strat_data_problem_total_strategems_active_wrt_transformation(SubLObject object)

bal_strat_data_problem_strategems_set_aside_wrt_removal

public static final SubLObject bal_strat_data_problem_strategems_set_aside_wrt_removal(SubLObject object)

bal_strat_data_problem_strategems_set_aside_wrt_transformation

public static final SubLObject bal_strat_data_problem_strategems_set_aside_wrt_transformation(SubLObject object)

bal_strat_data_problem_strategems_thrown_away_wrt_removal

public static final SubLObject bal_strat_data_problem_strategems_thrown_away_wrt_removal(SubLObject object)

bal_strat_data_problem_strategems_thrown_away_wrt_transformation

public static final SubLObject bal_strat_data_problem_strategems_thrown_away_wrt_transformation(SubLObject object)

_csetf_bal_strat_data_problems_motivated_wrt_new_root_table

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

_csetf_bal_strat_data_problems_motivated_wrt_removal

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

_csetf_bal_strat_data_problems_motivated_wrt_transformation

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

_csetf_bal_strat_data_link_heads_motivated_wrt_removal

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

_csetf_bal_strat_data_link_heads_motivated_wrt_transformation

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

_csetf_bal_strat_data_problems_pending_wrt_new_root

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

_csetf_bal_strat_data_problems_pending_wrt_removal

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

_csetf_bal_strat_data_problems_pending_wrt_transformation

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

_csetf_bal_strat_data_new_root_index

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

_csetf_bal_strat_data_new_root_problems

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

_csetf_bal_strat_data_removal_strategem_index

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

_csetf_bal_strat_data_problem_total_strategems_active_wrt_removal

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

_csetf_bal_strat_data_current_new_root_wrt_removal

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

_csetf_bal_strat_data_transformation_strategem_index

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

_csetf_bal_strat_data_problem_total_strategems_active_wrt_transformation

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

_csetf_bal_strat_data_problem_strategems_set_aside_wrt_removal

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

_csetf_bal_strat_data_problem_strategems_set_aside_wrt_transformation

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

_csetf_bal_strat_data_problem_strategems_thrown_away_wrt_removal

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

_csetf_bal_strat_data_problem_strategems_thrown_away_wrt_transformation

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

make_balanced_strategy_data

public static final SubLObject make_balanced_strategy_data(SubLObject arglist)

balanced_strategy_p

public static final SubLObject balanced_strategy_p(SubLObject object)

new_balanced_strategy_data

public static final SubLObject new_balanced_strategy_data(SubLObject removal_index,
                                                          SubLObject new_root_index,
                                                          SubLObject transformation_index)

balanced_strategy_problems_motivated_wrt_new_root_table

public static final SubLObject balanced_strategy_problems_motivated_wrt_new_root_table(SubLObject strategy)

Returns:: set-p of problem-p

balanced_strategy_problems_motivated_wrt_removal

public static final SubLObject balanced_strategy_problems_motivated_wrt_removal(SubLObject strategy)

Returns:: set-p of problem-p

balanced_strategy_problems_motivated_wrt_transformation

public static final SubLObject balanced_strategy_problems_motivated_wrt_transformation(SubLObject strategy)

Returns:: set-p of problem-p

balanced_strategy_link_heads_motivated_wrt_removal

public static final SubLObject balanced_strategy_link_heads_motivated_wrt_removal(SubLObject strategy)

Returns:: set-p of motivation-strategem-p

balanced_strategy_link_heads_motivated_wrt_transformation

public static final SubLObject balanced_strategy_link_heads_motivated_wrt_transformation(SubLObject strategy)

Returns:: set-p of motivation-strategem-p

balanced_strategy_problems_pending_wrt_new_root

public static final SubLObject balanced_strategy_problems_pending_wrt_new_root(SubLObject strategy)

Returns:: set-p of problem-p

balanced_strategy_problems_pending_wrt_removal

public static final SubLObject balanced_strategy_problems_pending_wrt_removal(SubLObject strategy)

Returns:: set-p of problem-p

balanced_strategy_problems_pending_wrt_transformation

public static final SubLObject balanced_strategy_problems_pending_wrt_transformation(SubLObject strategy)

Returns:: set-p of problem-p

balanced_strategy_new_root_index

public static final SubLObject balanced_strategy_new_root_index(SubLObject strategy)

balanced_strategy_new_root_problems

public static final SubLObject balanced_strategy_new_root_problems(SubLObject strategy)

Returns:: #'EQ set of problem-p

balanced_strategy_removal_strategem_index

public static final SubLObject balanced_strategy_removal_strategem_index(SubLObject strategy)

balanced_strategy_problem_total_strategems_active_wrt_removal

public static final SubLObject balanced_strategy_problem_total_strategems_active_wrt_removal(SubLObject strategy)

Returns:: #'EQ dictionary of problem-p -> non-negative-integer-p

balanced_strategy_transformation_strategem_index

public static final SubLObject balanced_strategy_transformation_strategem_index(SubLObject strategy)

balanced_strategy_problem_total_strategems_active_wrt_transformation

public static final SubLObject balanced_strategy_problem_total_strategems_active_wrt_transformation(SubLObject strategy)

Returns:: #'EQ dictionary of problem-p -> non-negative-integer-p

balanced_strategy_problem_strategems_set_aside_wrt_removal

public static final SubLObject balanced_strategy_problem_strategems_set_aside_wrt_removal(SubLObject strategy)

Returns:: #'EQ dictionary of problem-p -> #'EQ set of strategem-p

balanced_strategy_problem_strategems_set_aside_wrt_transformation

public static final SubLObject balanced_strategy_problem_strategems_set_aside_wrt_transformation(SubLObject strategy)

Returns:: #'EQ dictionary of problem-p -> #'EQ set of strategem-p

balanced_strategy_problem_strategems_thrown_away_wrt_removal

public static final SubLObject balanced_strategy_problem_strategems_thrown_away_wrt_removal(SubLObject strategy)

Returns:: #'EQ dictionary of problem-p -> #'EQ set of strategem-p

balanced_strategy_problem_strategems_thrown_away_wrt_transformation

public static final SubLObject balanced_strategy_problem_strategems_thrown_away_wrt_transformation(SubLObject strategy)

Returns:: #'EQ dictionary of problem-p -> #'EQ set of strategem-p

balanced_strategy_problem_motivated_wrt_new_rootP

public static final SubLObject balanced_strategy_problem_motivated_wrt_new_rootP(SubLObject strategy,
                                                                                 SubLObject problem)

Return T iff PROBLEM is motivated to be a new root by STRATEGY

balanced_strategy_problem_motivated_wrt_removalP

public static final SubLObject balanced_strategy_problem_motivated_wrt_removalP(SubLObject strategy,
                                                                                SubLObject problem)

Return T iff removal is motivated on PROBLEM in STRATEGY

balanced_strategy_problem_motivated_wrt_transformationP

public static final SubLObject balanced_strategy_problem_motivated_wrt_transformationP(SubLObject strategy,
                                                                                       SubLObject problem)

Return T iff transformation is motivated on PROBLEM in STRATEGY

balanced_strategy_link_head_motivated_wrt_removalP

public static final SubLObject balanced_strategy_link_head_motivated_wrt_removalP(SubLObject strategy,
                                                                                  SubLObject link_head)

Return T iff removal motivation should propagate through LINK-HEAD in STRATEGY

balanced_strategy_link_head_motivated_wrt_transformationP

public static final SubLObject balanced_strategy_link_head_motivated_wrt_transformationP(SubLObject strategy,
                                                                                         SubLObject link_head)

Return T iff transformation motivation should propagate through LINK-HEAD in STRATEGY

balanced_strategy_link_head_motivatedP

public static final SubLObject balanced_strategy_link_head_motivatedP(SubLObject strategy,
                                                                      SubLObject motivation,
                                                                      SubLObject link_head)

balanced_strategy_connected_conjunction_link_motivated_wrt_removalP

public static final SubLObject balanced_strategy_connected_conjunction_link_motivated_wrt_removalP(SubLObject strategy,
                                                                                                   SubLObject connected_conjunction_link)

balanced_strategy_problem_pendingP

public static final SubLObject balanced_strategy_problem_pendingP(SubLObject strategy,
                                                                  SubLObject problem,
                                                                  SubLObject motivation)

Return T iff PROBLEM is pending in STRATEGY wrt MOTIVATION

balanced_strategy_problem_totally_pendingP

public static final SubLObject balanced_strategy_problem_totally_pendingP(SubLObject strategy,
                                                                          SubLObject problem)

balanced_strategy_problem_activeP

public static final SubLObject balanced_strategy_problem_activeP(SubLObject strategy,
                                                                 SubLObject problem,
                                                                 SubLObject motivation)

Returns:: booleanp; whether PROBLEM is actively being considered for MOTIVATION by STRATEGY.

balanced_strategy_problem_active_wrt_new_rootP

public static final SubLObject balanced_strategy_problem_active_wrt_new_rootP(SubLObject strategy,
                                                                              SubLObject problem)

Returns:: booleanp; whether PROBLEM is actively being considered a new root by STRATEGY.

balanced_strategy_problem_active_wrt_removalP

public static final SubLObject balanced_strategy_problem_active_wrt_removalP(SubLObject strategy,
                                                                             SubLObject problem)

Returns:: booleanp; whether PROBLEM is actively being considered for removal by STRATEGY.

balanced_strategy_problem_active_wrt_transformationP

public static final SubLObject balanced_strategy_problem_active_wrt_transformationP(SubLObject strategy,
                                                                                    SubLObject problem)

Returns:: booleanp; whether PROBLEM is actively being considered for transformation by STRATEGY.

balanced_strategy_problem_set_asideP

public static final SubLObject balanced_strategy_problem_set_asideP(SubLObject strategy,
                                                                    SubLObject problem,
                                                                    SubLObject motivation)

balanced_strategy_problem_set_aside_wrt_removalP

public static final SubLObject balanced_strategy_problem_set_aside_wrt_removalP(SubLObject strategy,
                                                                                SubLObject problem)

Returns:: booleanp; whether PROBLEM has been set aside for later removal consideration by STRATEGY.

balanced_strategy_problem_set_aside_wrt_transformationP

public static final SubLObject balanced_strategy_problem_set_aside_wrt_transformationP(SubLObject strategy,
                                                                                       SubLObject problem)

Returns:: booleanp; whether PROBLEM has been set aside for later transformation consideration by STRATEGY.

balanced_strategy_strategem_set_asideP

public static final SubLObject balanced_strategy_strategem_set_asideP(SubLObject strategy,
                                                                      SubLObject strategem,
                                                                      SubLObject motivation)

balanced_strategy_strategem_set_aside_wrt_removalP

public static final SubLObject balanced_strategy_strategem_set_aside_wrt_removalP(SubLObject strategy,
                                                                                  SubLObject strategem)

Returns:: booleanp; whether STRATEGEM has been set aside for later removal consideration by STRATEGY.

balanced_strategy_strategem_set_aside_wrt_transformationP

public static final SubLObject balanced_strategy_strategem_set_aside_wrt_transformationP(SubLObject strategy,
                                                                                         SubLObject strategem)

Returns:: booleanp; whether STRATEGEM has been set aside for later transformation consideration by STRATEGY.

balanced_strategy_strategem_thrown_awayP

public static final SubLObject balanced_strategy_strategem_thrown_awayP(SubLObject strategy,
                                                                        SubLObject strategem,
                                                                        SubLObject motivation)

balanced_strategy_strategem_thrown_away_wrt_removalP

public static final SubLObject balanced_strategy_strategem_thrown_away_wrt_removalP(SubLObject strategy,
                                                                                    SubLObject strategem)

Returns:: booleanp; whether STRATEGEM has been thrown away by STRATEGY.

balanced_strategy_strategem_thrown_away_wrt_transformationP

public static final SubLObject balanced_strategy_strategem_thrown_away_wrt_transformationP(SubLObject strategy,
                                                                                           SubLObject strategem)

Returns:: booleanp; whether STRATEGEM has been thrown away by STRATEGY.

balanced_strategy_removal_backtracking_productivity_limit

public static final SubLObject balanced_strategy_removal_backtracking_productivity_limit(SubLObject strategy)

Returns:: nil or productivity-p

balanced_strategy_peek_strategem_wrt_removal

public static final SubLObject balanced_strategy_peek_strategem_wrt_removal(SubLObject strategy)

balanced_strategy_peek_new_root

public static final SubLObject balanced_strategy_peek_new_root(SubLObject strategy)

balanced_strategy_peek_strategem_wrt_transformation

public static final SubLObject balanced_strategy_peek_strategem_wrt_transformation(SubLObject strategy)

balanced_strategy_note_problem_motivated_wrt_new_root

public static final SubLObject balanced_strategy_note_problem_motivated_wrt_new_root(SubLObject strategy,
                                                                                     SubLObject problem)

note N

balanced_strategy_note_new_root_activated_wrt_removal

public static final SubLObject balanced_strategy_note_new_root_activated_wrt_removal(SubLObject strategy,
                                                                                     SubLObject problem)

balanced_strategy_note_problem_motivated_wrt_removal

public static final SubLObject balanced_strategy_note_problem_motivated_wrt_removal(SubLObject strategy,
                                                                                    SubLObject problem)

note R

balanced_strategy_note_problem_motivated_wrt_transformation

public static final SubLObject balanced_strategy_note_problem_motivated_wrt_transformation(SubLObject strategy,
                                                                                           SubLObject problem)

note T

balanced_strategy_note_link_head_motivated_wrt_removal

public static final SubLObject balanced_strategy_note_link_head_motivated_wrt_removal(SubLObject strategy,
                                                                                      SubLObject link_head)

note R

balanced_strategy_note_link_head_motivated_wrt_transformation

public static final SubLObject balanced_strategy_note_link_head_motivated_wrt_transformation(SubLObject strategy,
                                                                                             SubLObject link_head)

note T

balanced_strategy_note_link_head_motivated

public static final SubLObject balanced_strategy_note_link_head_motivated(SubLObject strategy,
                                                                          SubLObject motivation,
                                                                          SubLObject link_head)

balanced_strategy_note_problem_pending_wrt_new_root

public static final SubLObject balanced_strategy_note_problem_pending_wrt_new_root(SubLObject strategy,
                                                                                   SubLObject problem)

balanced_strategy_note_problem_pending_wrt_removal

public static final SubLObject balanced_strategy_note_problem_pending_wrt_removal(SubLObject strategy,
                                                                                  SubLObject problem)

balanced_strategy_note_problem_pending_wrt_transformation

public static final SubLObject balanced_strategy_note_problem_pending_wrt_transformation(SubLObject strategy,
                                                                                         SubLObject problem)

balanced_strategy_note_problem_pending

public static final SubLObject balanced_strategy_note_problem_pending(SubLObject strategy,
                                                                      SubLObject problem,
                                                                      SubLObject motivation)

balanced_strategy_note_problem_unpending_wrt_removal

public static final SubLObject balanced_strategy_note_problem_unpending_wrt_removal(SubLObject strategy,
                                                                                    SubLObject problem)

balanced_strategy_note_problem_unpending_wrt_transformation

public static final SubLObject balanced_strategy_note_problem_unpending_wrt_transformation(SubLObject strategy,
                                                                                           SubLObject problem)

balanced_strategy_note_problem_unpending

public static final SubLObject balanced_strategy_note_problem_unpending(SubLObject strategy,
                                                                        SubLObject problem,
                                                                        SubLObject motivation)

balanced_strategy_add_new_root

public static final SubLObject balanced_strategy_add_new_root(SubLObject strategy,
                                                              SubLObject problem)

balanced_strategy_pop_new_root

public static final SubLObject balanced_strategy_pop_new_root(SubLObject strategy)

balanced_strategy_set_current_new_root_wrt_removal

public static final SubLObject balanced_strategy_set_current_new_root_wrt_removal(SubLObject strategy,
                                                                                  SubLObject new_root)

balanced_strategy_activate_strategem_wrt_removal

public static final SubLObject balanced_strategy_activate_strategem_wrt_removal(SubLObject strategy,
                                                                                SubLObject removal_strategem)

note that REMOVAL-STRATEGEM is in STRATEGY's R-box

balanced_strategy_pop_strategem_wrt_removal

public static final SubLObject balanced_strategy_pop_strategem_wrt_removal(SubLObject strategy)

balanced_strategy_activate_strategem_wrt_transformation

public static final SubLObject balanced_strategy_activate_strategem_wrt_transformation(SubLObject strategy,
                                                                                       SubLObject transformation_strategem)

note that TRANSFORMATION-STRATEGEM is in STRATEGY's T-box

balanced_strategy_activate_strategem

public static final SubLObject balanced_strategy_activate_strategem(SubLObject strategy,
                                                                    SubLObject strategem,
                                                                    SubLObject motivation)

balanced_strategy_pop_strategem_wrt_transformation

public static final SubLObject balanced_strategy_pop_strategem_wrt_transformation(SubLObject strategy)

balanced_strategy_clear_strategems_set_aside_wrt_removal

public static final SubLObject balanced_strategy_clear_strategems_set_aside_wrt_removal(SubLObject strategy)

balanced_strategy_clear_strategems_set_aside_wrt_transformation

public static final SubLObject balanced_strategy_clear_strategems_set_aside_wrt_transformation(SubLObject strategy)

balanced_strategy_note_strategem_thrown_away_wrt_removal

public static final SubLObject balanced_strategy_note_strategem_thrown_away_wrt_removal(SubLObject strategy,
                                                                                        SubLObject removal_strategem)

balanced_strategy_no_new_rootsP

public static final SubLObject balanced_strategy_no_new_rootsP(SubLObject strategy)

balanced_strategy_no_strategems_active_wrt_removalP

public static final SubLObject balanced_strategy_no_strategems_active_wrt_removalP(SubLObject strategy)

balanced_strategy_no_strategems_active_wrt_transformationP

public static final SubLObject balanced_strategy_no_strategems_active_wrt_transformationP(SubLObject strategy)

balanced_strategy_clear_set_aside_problems

public static final SubLObject balanced_strategy_clear_set_aside_problems(SubLObject strategy)

declare_inference_balanced_tactician_datastructures_file

public static final SubLObject declare_inference_balanced_tactician_datastructures_file()

init_inference_balanced_tactician_datastructures_file

public static final SubLObject init_inference_balanced_tactician_datastructures_file()

setup_inference_balanced_tactician_datastructures_file

public static final SubLObject setup_inference_balanced_tactician_datastructures_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_balanced_tactician_datastructures

me

myName

$dtp_balanced_strategy_data$

$list0

$sym1$BALANCED_STRATEGY_DATA

$sym2$BALANCED_STRATEGY_DATA_P

$list3

$list4

$list5

$list6

$sym7$DEFAULT_STRUCT_PRINT_FUNCTION

$sym8$BALANCED_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym9$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

$sym10$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

$sym11$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL

$sym12$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_REMOVAL

$sym13$BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

$sym14$_CSETF_BAL_STRAT_DATA_PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

$sym15$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL

$sym16$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_REMOVAL

$sym17$BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

$sym18$_CSETF_BAL_STRAT_DATA_LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

$sym19$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT

$sym20$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_NEW_ROOT

$sym21$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL

$sym22$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_REMOVAL

$sym23$BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION

$sym24$_CSETF_BAL_STRAT_DATA_PROBLEMS_PENDING_WRT_TRANSFORMATION

$sym25$BAL_STRAT_DATA_NEW_ROOT_INDEX

$sym26$_CSETF_BAL_STRAT_DATA_NEW_ROOT_INDEX

$sym27$BAL_STRAT_DATA_NEW_ROOT_PROBLEMS

$sym28$_CSETF_BAL_STRAT_DATA_NEW_ROOT_PROBLEMS

$sym29$BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

$sym30$_CSETF_BAL_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

$sym31$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

$sym32$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

$sym33$BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL

$sym34$_CSETF_BAL_STRAT_DATA_CURRENT_NEW_ROOT_WRT_REMOVAL

$sym35$BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

$sym36$_CSETF_BAL_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

$sym37$BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION

$sym38$_CSETF_BAL_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFO

$sym39$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

$sym40$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

$sym41$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION

$sym42$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMA

$sym43$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

$sym44$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

$sym45$BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION

$sym46$_CSETF_BAL_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFOR

$kw47$PROBLEMS_MOTIVATED_WRT_NEW_ROOT_TABLE

$kw48$PROBLEMS_MOTIVATED_WRT_REMOVAL

$kw49$PROBLEMS_MOTIVATED_WRT_TRANSFORMATION

$kw50$LINK_HEADS_MOTIVATED_WRT_REMOVAL

$kw51$LINK_HEADS_MOTIVATED_WRT_TRANSFORMATION

$kw52$PROBLEMS_PENDING_WRT_NEW_ROOT

$kw53$PROBLEMS_PENDING_WRT_REMOVAL

$kw54$PROBLEMS_PENDING_WRT_TRANSFORMATION

$kw55$NEW_ROOT_INDEX

$kw56$NEW_ROOT_PROBLEMS

$kw57$REMOVAL_STRATEGEM_INDEX

$kw58$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_REMOVAL

$kw59$CURRENT_NEW_ROOT_WRT_REMOVAL

$kw60$TRANSFORMATION_STRATEGEM_INDEX

$kw61$PROBLEM_TOTAL_STRATEGEMS_ACTIVE_WRT_TRANSFORMATION

$kw62$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_REMOVAL

$kw63$PROBLEM_STRATEGEMS_SET_ASIDE_WRT_TRANSFORMATION

$kw64$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_REMOVAL

$kw65$PROBLEM_STRATEGEMS_THROWN_AWAY_WRT_TRANSFORMATION

$str66$Invalid_slot__S_for_construction_

$sym67$BALANCED_STRATEGY_P

$sym68$PROBLEM_P

$kw69$UNACTIVATED

$sym70$_

$sym71$MOTIVATION_STRATEGEM_P

$kw72$REMOVAL

$kw73$TRANSFORMATION

$str74$unexpected_motivation__s

$sym75$CONNECTED_CONJUNCTION_LINK_P

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