inference_datastructures

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_datastructures_strategy

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class inference_datastructures_strategy
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`inference_datastructures_strategy.$problem_strategic_properties_native`
`static class`	`inference_datastructures_strategy.$problem_strategic_properties_p$UnaryFunction`
`static class`	`inference_datastructures_strategy.$strategy_native`
`static class`	`inference_datastructures_strategy.$strategy_p$UnaryFunction`
`static class`	`inference_datastructures_strategy.$sxhash_strategy_method$UnaryFunction`
`static class`	`inference_datastructures_strategy.$tactic_strategic_properties_native`
`static class`	`inference_datastructures_strategy.$tactic_strategic_properties_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$current_strategy_wrt_memoization$ The strategy of the currently active strategy memoization state, if any.
`static SubLSymbol`	$dtp_problem_strategic_properties$
`static SubLSymbol`	$dtp_strategy$
`static SubLSymbol`	$dtp_tactic_strategic_properties$
`static SubLSymbol`	`$kw100$NOTHING`
`static SubLSymbol`	`$kw110$RECOMPUTE`
`static SubLSymbol`	`$kw129$STATUS`
`static SubLSymbol`	`$kw130$TACTIC_STRATEGIC_PROPERTY_INDEX`
`static SubLSymbol`	`$kw131$POSSIBLE_TACTIC_COUNT`
`static SubLSymbol`	`$kw132$FLAGS`
`static SubLSymbol`	`$kw133$NEW`
`static SubLSymbol`	`$kw134$UNEXAMINED`
`static SubLSymbol`	`$kw135$FINISHED`
`static SubLSymbol`	`$kw136$NEUTRAL`
`static SubLSymbol`	`$kw137$GOOD`
`static SubLSymbol`	`$kw138$NO_GOOD`
`static SubLSymbol`	`$kw140$EXAMINED`
`static SubLSymbol`	`$kw141$POSSIBLE`
`static SubLSymbol`	`$kw142$PENDING`
`static SubLSymbol`	`$kw144$REMOVAL`
`static SubLSymbol`	`$kw145$TRANSFORMATION`
`static SubLSymbol`	`$kw146$NEW_ROOT`
`static SubLSymbol`	`$kw148$SKIP`
`static SubLSymbol`	`$kw164$PREFERENCE_LEVEL`
`static SubLSymbol`	`$kw165$PREFERENCE_LEVEL_JUSTIFICATION`
`static SubLSymbol`	`$kw166$PRODUCTIVITY`
`static SubLSymbol`	`$kw167$DISALLOWED`
`static SubLSymbol`	`$kw170$TACTICAL`
`static SubLSymbol`	`$kw175$PREFERRED`
`static SubLSymbol`	`$kw38$SUID`
`static SubLSymbol`	`$kw39$INFERENCE`
`static SubLSymbol`	`$kw40$RESULT_UNIQUENESS_CRITERION`
`static SubLSymbol`	`$kw41$ACTIVE_PROBLEMS`
`static SubLSymbol`	`$kw42$MOTIVATED_PROBLEMS`
`static SubLSymbol`	`$kw43$SET_ASIDE_PROBLEMS`
`static SubLSymbol`	`$kw44$SHOULD_RECONSIDER_SET_ASIDES_`
`static SubLSymbol`	`$kw45$PRODUCTIVITY_LIMIT`
`static SubLSymbol`	`$kw46$REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT`
`static SubLSymbol`	`$kw47$PROOF_SPEC`
`static SubLSymbol`	`$kw48$PROBLEM_PROOF_SPEC_INDEX`
`static SubLSymbol`	`$kw49$PROBLEM_STRATEGIC_INDEX`
`static SubLSymbol`	`$kw50$MEMOIZATION_STATE`
`static SubLSymbol`	`$kw51$TYPE`
`static SubLSymbol`	`$kw52$DATA`
`static SubLSymbol`	`$kw54$FREE`
`static SubLSymbol`	`$kw60$CONSTRUCTOR`
`static SubLSymbol`	`$kw72$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw73$DONE`
`static SubLSymbol`	`$kw86$PROOF`
`static SubLSymbol`	`$kw87$BINDINGS`
`static SubLSymbol`	`$kw89$ANYTHING`
`static SubLSymbol`	`$kw93$SUBSTRATEGY_STRATEGEM_MOTIVATED`
`static SubLList`	`$list115`
`static SubLList`	`$list116`
`static SubLList`	`$list117`
`static SubLList`	`$list118`
`static SubLList`	`$list151`
`static SubLList`	`$list152`
`static SubLList`	`$list153`
`static SubLList`	`$list154`
`static SubLList`	`$list2`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list5`
`static SubLList`	`$list70`
`static SubLList`	`$list71`
`static SubLList`	`$list76`
`static SubLList`	`$list94`
`static SubLString`	`$str101$balancing_tactician_does_not_impl`
`static SubLString`	`$str106$Unexpected_strategy_type__a`
`static SubLString`	`$str111$invalid_uninterestingness_cache_c`
`static SubLString`	`$str112$invalid_uninterestingness_cache_s`
`static SubLString`	`$str147$unexpected_motivation__s`
`static SubLString`	$str168$
`static SubLString`	`$str171$structural_tactic__s_cannot_have_`
`static SubLString`	`$str172$content_tactic__s_cannot_have_a_p`
`static SubLString`	`$str173$content_tactic__s_cannot_have_a_p`
`static SubLString`	`$str53$Invalid_slot__S_for_construction_`
`static SubLString`	`$str55$_Invalid_STRATEGY__s_`
`static SubLString`	`$str56$__a_STRATEGY__a__a_for_inference_`
`static SubLString`	`$str91$Unexpected_strategy_property__s_w`
`static SubLSymbol`	`$sym0$STRATEGY`
`static SubLSymbol`	`$sym1$STRATEGY_P`
`static SubLSymbol`	`$sym10$STRAT_INFERENCE`
`static SubLSymbol`	`$sym102$BALANCED_STRATEGY_DEFAULT_SELECT_BEST_STRATEGEM`
`static SubLSymbol`	`$sym103$BALANCED_STRATEGY_DO_ONE_STEP`
`static SubLSymbol`	`$sym104$BALANCED_STRATEGY_DONE_`
`static SubLSymbol`	`$sym105$BALANCED_STRATEGY_POSSIBLY_ACTIVATE_PROBLEM`
`static SubLSymbol`	`$sym107$_STRATEGY_TYPE_STORE_`
`static SubLSymbol`	`$sym108$PROPERTY_LIST_P`
`static SubLSymbol`	`$sym109$STRATEGY_TYPE_PROPERTY_P`
`static SubLSymbol`	`$sym11$_CSETF_STRAT_INFERENCE`
`static SubLSymbol`	`$sym113$PROBLEM_STRATEGIC_PROPERTIES`
`static SubLSymbol`	`$sym114$PROBLEM_STRATEGIC_PROPERTIES_P`
`static SubLSymbol`	`$sym119$DEFAULT_STRUCT_PRINT_FUNCTION`
`static SubLSymbol`	`$sym12$STRAT_RESULT_UNIQUENESS_CRITERION`
`static SubLSymbol`	`$sym120$PROBLEM_STRATEGIC_PROPERTIES_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym121$PROB_STRATEGIC_PROPERTIES_STATUS`
`static SubLSymbol`	`$sym122$_CSETF_PROB_STRATEGIC_PROPERTIES_STATUS`
`static SubLSymbol`	`$sym123$PROB_STRATEGIC_PROPERTIES_TACTIC_STRATEGIC_PROPERTY_INDEX`
`static SubLSymbol`	`$sym124$_CSETF_PROB_STRATEGIC_PROPERTIES_TACTIC_STRATEGIC_PROPERTY_INDEX`
`static SubLSymbol`	`$sym125$PROB_STRATEGIC_PROPERTIES_POSSIBLE_TACTIC_COUNT`
`static SubLSymbol`	`$sym126$_CSETF_PROB_STRATEGIC_PROPERTIES_POSSIBLE_TACTIC_COUNT`
`static SubLSymbol`	`$sym127$PROB_STRATEGIC_PROPERTIES_FLAGS`
`static SubLSymbol`	`$sym128$_CSETF_PROB_STRATEGIC_PROPERTIES_FLAGS`
`static SubLSymbol`	`$sym13$_CSETF_STRAT_RESULT_UNIQUENESS_CRITERION`
`static SubLSymbol`	`$sym139$STRATEGIC_CONTEXT_P`
`static SubLSymbol`	`$sym14$STRAT_ACTIVE_PROBLEMS`
`static SubLSymbol`	`$sym143$FIXNUMP`
`static SubLSymbol`	`$sym149$TACTIC_STRATEGIC_PROPERTIES`
`static SubLSymbol`	`$sym15$_CSETF_STRAT_ACTIVE_PROBLEMS`
`static SubLSymbol`	`$sym150$TACTIC_STRATEGIC_PROPERTIES_P`
`static SubLSymbol`	`$sym155$TACTIC_STRATEGIC_PROPERTIES_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym156$TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL`
`static SubLSymbol`	`$sym157$_CSETF_TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL`
`static SubLSymbol`	`$sym158$TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL_JUSTIFICATION`
`static SubLSymbol`	`$sym159$_CSETF_TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL_JUSTIFICATION`
`static SubLSymbol`	`$sym16$STRAT_MOTIVATED_PROBLEMS`
`static SubLSymbol`	`$sym160$TACT_STRATEGIC_PROPERTIES_PRODUCTIVITY`
`static SubLSymbol`	`$sym161$_CSETF_TACT_STRATEGIC_PROPERTIES_PRODUCTIVITY`
`static SubLSymbol`	`$sym162$TACT_STRATEGIC_PROPERTIES_FLAGS`
`static SubLSymbol`	`$sym163$_CSETF_TACT_STRATEGIC_PROPERTIES_FLAGS`
`static SubLSymbol`	`$sym169$TACTIC_P`
`static SubLSymbol`	`$sym17$_CSETF_STRAT_MOTIVATED_PROBLEMS`
`static SubLSymbol`	`$sym174$GENERALIZED_CONJUNCTIVE_TACTIC_P`
`static SubLSymbol`	`$sym176$PREFERENCE_LEVEL_P`
`static SubLSymbol`	`$sym18$STRAT_SET_ASIDE_PROBLEMS`
`static SubLSymbol`	`$sym19$_CSETF_STRAT_SET_ASIDE_PROBLEMS`
`static SubLSymbol`	`$sym20$STRAT_SHOULD_RECONSIDER_SET_ASIDES_`
`static SubLSymbol`	`$sym21$_CSETF_STRAT_SHOULD_RECONSIDER_SET_ASIDES_`
`static SubLSymbol`	`$sym22$STRAT_PRODUCTIVITY_LIMIT`
`static SubLSymbol`	`$sym23$_CSETF_STRAT_PRODUCTIVITY_LIMIT`
`static SubLSymbol`	`$sym24$STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT`
`static SubLSymbol`	`$sym25$_CSETF_STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT`
`static SubLSymbol`	`$sym26$STRAT_PROOF_SPEC`
`static SubLSymbol`	`$sym27$_CSETF_STRAT_PROOF_SPEC`
`static SubLSymbol`	`$sym28$STRAT_PROBLEM_PROOF_SPEC_INDEX`
`static SubLSymbol`	`$sym29$_CSETF_STRAT_PROBLEM_PROOF_SPEC_INDEX`
`static SubLSymbol`	`$sym30$STRAT_PROBLEM_STRATEGIC_INDEX`
`static SubLSymbol`	`$sym31$_CSETF_STRAT_PROBLEM_STRATEGIC_INDEX`
`static SubLSymbol`	`$sym32$STRAT_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym33$_CSETF_STRAT_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym34$STRAT_TYPE`
`static SubLSymbol`	`$sym35$_CSETF_STRAT_TYPE`
`static SubLSymbol`	`$sym36$STRAT_DATA`
`static SubLSymbol`	`$sym37$_CSETF_STRAT_DATA`
`static SubLSymbol`	`$sym57$SXHASH_STRATEGY_METHOD`
`static SubLSymbol`	`$sym58$STRATEGY_TYPE_P`
`static SubLSymbol`	`$sym59$INFERENCE_P`
`static SubLSymbol`	`$sym6$PRINT_STRATEGY`
`static SubLSymbol`	`$sym61$STRATEGY_ACTIVE_PROBLEMS`
`static SubLSymbol`	`$sym62$DO_STRATEGY_ACTIVE_PROBLEMS`
`static SubLSymbol`	`$sym63$STRATEGY_MOTIVATED_PROBLEMS`
`static SubLSymbol`	`$sym64$DO_STRATEGY_MOTIVATED_PROBLEMS`
`static SubLSymbol`	`$sym65$STRATEGY_SET_ASIDE_PROBLEMS`
`static SubLSymbol`	`$sym66$DO_STRATEGY_SET_ASIDE_PROBLEMS`
`static SubLSymbol`	`$sym67$RESULT_UNIQUENESS_CRITERION_P`
`static SubLSymbol`	`$sym68$PRODUCTIVITY_P`
`static SubLSymbol`	`$sym69$PROOF_SPEC_P`
`static SubLSymbol`	`$sym7$STRATEGY_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym74$DO_SET`
`static SubLSymbol`	`$sym75$DO_SET_CONTENTS`
`static SubLSymbol`	`$sym77$STRATEGY_VAR`
`static SubLSymbol`	`$sym78$STATE_VAR`
`static SubLSymbol`	`$sym79$CLET`
`static SubLSymbol`	`$sym8$STRAT_SUID`
`static SubLSymbol`	`$sym80$STRATEGY_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym81$_CURRENT_STRATEGY_WRT_MEMOIZATION_`
`static SubLSymbol`	`$sym82$WITH_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym83$WITH_STRATEGY_MEMOIZATION_STATE`
`static SubLSymbol`	`$sym84$CURRENT_STRATEGY_WRT_MEMOIZATION`
`static SubLSymbol`	`$sym85$VALID_PROBLEM_P`
`static SubLSymbol`	`$sym88$PROBLEM_P`
`static SubLSymbol`	`$sym9$_CSETF_STRAT_SUID`
`static SubLSymbol`	`$sym90$STRATEGY_PROPERTY_P`
`static SubLSymbol`	`$sym92$STRATEGY_PROPERTIES_P`
`static SubLSymbol`	`$sym95$STRATEGY_VAR`
`static SubLSymbol`	`$sym96$PROBLEM_VAR`
`static SubLSymbol`	`$sym97$STRATEGY_NOTE_PROBLEM_ACTIVE`
`static SubLSymbol`	`$sym98$STRATEGY_NOTE_PROBLEM_INACTIVE`
`static SubLSymbol`	`$sym99$POSSIBLY_REACTIVATE_PROBLEM`
`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_prob_strategic_properties_flags(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_strategic_properties_possible_tactic_count(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_strategic_properties_status(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_prob_strategic_properties_tactic_strategic_property_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_active_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_data(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_inference(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_memoization_state(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_motivated_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_problem_proof_spec_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_problem_strategic_index(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_productivity_limit(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_proof_spec(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_removal_backtracking_productivity_limit(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_result_uniqueness_criterion(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_set_aside_problems(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_should_reconsider_set_asidesP(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_suid(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_strat_type(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_strategic_properties_flags(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_strategic_properties_preference_level_justification(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_strategic_properties_preference_level(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_tact_strategic_properties_productivity(SubLObject object, SubLObject value)`
`static SubLObject`	`clear_strategy_should_reconsider_set_asides(SubLObject strategy)`
`static SubLObject`	`conjunctive_tactic_strategic_preference_level_justification(SubLObject tactic, SubLObject strategic_context)`
`static SubLObject`	`conjunctive_tactic_strategic_preference_level(SubLObject tactic, SubLObject strategic_context)`
`static SubLObject`	`controlling_strategy_callback(SubLObject substrategy, SubLObject method_type, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4)`
`static SubLObject`	`declare_inference_datastructures_strategy_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`decode_uninterestingness_cache_code(SubLObject code)`
`static SubLObject`	`deregister_strategy_type(SubLObject type)`
`static SubLObject`	`destroy_inference_strategy(SubLObject strategy)`
`static SubLObject`	`destroy_problem_store_strategy(SubLObject strategy)`
`static SubLObject`	`destroy_strategy_int(SubLObject strategy)`
`static SubLObject`	`encode_uninterestingness_cache_status(SubLObject status)`
`static SubLObject`	`init_inference_datastructures_strategy_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_problem_strategic_properties(SubLObject arglist)`
`static SubLObject`	`make_strategy(SubLObject arglist)`
`static SubLObject`	`make_tactic_strategic_properties(SubLObject arglist)`
`static SubLObject`	`new_problem_strategic_properties()`
`static SubLObject`	`new_strategy_type(SubLObject type, SubLObject plist)`
`static SubLObject`	`new_strategy(SubLObject type, SubLObject inference)`
`static SubLObject`	`new_tactic_strategic_properties()`
`static SubLObject`	`note_strategy_invalid(SubLObject strategy)`
`static SubLObject`	`note_strategy_should_reconsider_set_asides(SubLObject strategy)`
`static SubLObject`	`prob_strategic_properties_flags(SubLObject object)`
`static SubLObject`	`prob_strategic_properties_possible_tactic_count(SubLObject object)`
`static SubLObject`	`prob_strategic_properties_status(SubLObject object)`
`static SubLObject`	`prob_strategic_properties_tactic_strategic_property_index(SubLObject object)`
`static SubLObject`	`problem_active_in_strategyP(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_motivatedP(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_note_tactic_not_strategically_possible(SubLObject problem, SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`problem_note_tactic_strategically_possible(SubLObject problem, SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`problem_raw_strategic_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_set_aside_cache_removal_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_set_aside_cache_status_wrt_motivation(SubLObject problem, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`problem_set_aside_cache_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_set_aside_cache_transformation_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_set_aside_in_strategyP(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_strategic_flags(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_strategic_properties_int(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_strategic_properties_p(SubLObject object)`
`static SubLObject`	`problem_strategic_properties_tactic_strategic_property_index(SubLObject problem, SubLObject problem_strategic_properties)` Initializes the tactic-properties-vector if it does not exist yet.
`static SubLObject`	`problem_strategic_properties(SubLObject problem, SubLObject strategy)` Initializes the problem-strategic-properties if they do not exist yet.
`static SubLObject`	`problem_strategic_provability_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_strategic_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_thrown_away_cache_new_root_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_thrown_away_cache_removal_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_thrown_away_cache_status_wrt_motivation(SubLObject problem, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`problem_thrown_away_cache_status(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`problem_thrown_away_cache_transformation_status(SubLObject problem, SubLObject strategy)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_problem_not_set_aside_wrt_removal(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_not_set_aside_wrt_transformation(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_not_set_aside_wrt(SubLObject problem, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`set_problem_not_set_aside(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_not_thrown_away_wrt_new_root(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_not_thrown_away_wrt_removal(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_not_thrown_away_wrt_transformation(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_not_thrown_away_wrt(SubLObject problem, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`set_problem_not_thrown_away(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_raw_strategic_status(SubLObject problem, SubLObject strategy, SubLObject status)`
`static SubLObject`	`set_problem_recompute_set_aside_wrt_all_motivations(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_recompute_set_aside_wrt_new_root(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_recompute_set_aside_wrt_removal(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_recompute_set_aside_wrt_transformation(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_recompute_thrown_away_wrt_all_motivations(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_recompute_thrown_away_wrt_all_relevant_strategies_and_all_motivations(SubLObject problem)`
`static SubLObject`	`set_problem_recompute_thrown_away_wrt_new_root(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_recompute_thrown_away_wrt_removal(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_recompute_thrown_away_wrt_transformation(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_set_aside(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_strategic_flags(SubLObject problem, SubLObject strategy, SubLObject flags)`
`static SubLObject`	`set_problem_strategic_properties(SubLObject problem, SubLObject strategy, SubLObject v_properties)`
`static SubLObject`	`set_problem_tactics_recompute_thrown_away_wrt_all_motivations(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_tactics_recompute_thrown_away_wrt_all_relevant_strategies_and_all_motivations(SubLObject problem)`
`static SubLObject`	`set_problem_thrown_away_wrt_transformation(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_problem_thrown_away_wrt(SubLObject problem, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`set_problem_thrown_away(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`set_strategy_data(SubLObject strategy, SubLObject data)`
`static SubLObject`	`set_strategy_productivity_limit(SubLObject strategy, SubLObject productivity_limit)`
`static SubLObject`	`set_strategy_properties(SubLObject strategy, SubLObject strategy_properties)`
`static SubLObject`	`set_strategy_property(SubLObject strategy, SubLObject property, SubLObject value)`
`static SubLObject`	`set_strategy_type_property(SubLObject type, SubLObject property, SubLObject value)`
`static SubLObject`	`set_tactic_not_set_aside_wrt_new_root(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_not_set_aside_wrt_removal(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_not_set_aside_wrt_transformation(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_not_set_aside_wrt(SubLObject tactic, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`set_tactic_not_set_aside(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_not_thrown_away_wrt_new_root(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_not_thrown_away_wrt_removal(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_not_thrown_away_wrt_transformation(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_not_thrown_away_wrt(SubLObject tactic, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`set_tactic_not_thrown_away(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_set_aside_wrt_all_motivations(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_set_aside_wrt_all_relevant_strategies_and_all_motivations(SubLObject tactic)`
`static SubLObject`	`set_tactic_recompute_set_aside_wrt_new_root(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_set_aside_wrt_removal(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_set_aside_wrt_transformation(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_thrown_away_wrt_all_motivations(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_thrown_away_wrt_new_root(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_thrown_away_wrt_removal(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_recompute_thrown_away_wrt_transformation(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_set_aside_wrt_transformation(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_set_aside_wrt(SubLObject tactic, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`set_tactic_strategic_flags(SubLObject tactic, SubLObject strategy, SubLObject flags)`
`static SubLObject`	`set_tactic_strategic_preference_level(SubLObject tactic, SubLObject strategy, SubLObject preference_level, SubLObject justification)`
`static SubLObject`	`set_tactic_strategic_productivity(SubLObject tactic, SubLObject strategy, SubLObject productivity)`
`static SubLObject`	`set_tactic_strategic_properties(SubLObject tactic, SubLObject strategy, SubLObject v_properties)`
`static SubLObject`	`set_tactic_thrown_away_wrt_new_root(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_thrown_away_wrt_removal(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_thrown_away_wrt_transformation(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_tactic_thrown_away_wrt(SubLObject tactic, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`set_tactic_thrown_away(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`set_uninterestingness_cache_set_aside_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_uninterestingness_cache_set_aside_wrt_new_root_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_uninterestingness_cache_set_aside_wrt_removal_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_uninterestingness_cache_set_aside_wrt_transformation_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_uninterestingness_cache_thrown_away_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_uninterestingness_cache_thrown_away_wrt_new_root_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_uninterestingness_cache_thrown_away_wrt_removal_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`set_uninterestingness_cache_thrown_away_wrt_transformation_code(SubLObject flags, SubLObject code)`
`static SubLObject`	`setup_inference_datastructures_strategy_file()`
`static SubLObject`	`strat_active_problems(SubLObject object)`
`static SubLObject`	`strat_data(SubLObject object)`
`static SubLObject`	`strat_inference(SubLObject object)`
`static SubLObject`	`strat_memoization_state(SubLObject object)`
`static SubLObject`	`strat_motivated_problems(SubLObject object)`
`static SubLObject`	`strat_problem_proof_spec_index(SubLObject object)`
`static SubLObject`	`strat_problem_strategic_index(SubLObject object)`
`static SubLObject`	`strat_productivity_limit(SubLObject object)`
`static SubLObject`	`strat_proof_spec(SubLObject object)`
`static SubLObject`	`strat_removal_backtracking_productivity_limit(SubLObject object)`
`static SubLObject`	`strat_result_uniqueness_criterion(SubLObject object)`
`static SubLObject`	`strat_set_aside_problems(SubLObject object)`
`static SubLObject`	`strat_should_reconsider_set_asidesP(SubLObject object)`
`static SubLObject`	`strat_suid(SubLObject object)`
`static SubLObject`	`strat_type(SubLObject object)`
`static SubLObject`	`strategic_context_inference(SubLObject strategic_context)`
`static SubLObject`	`strategically_examined_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_finished_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_good_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_neutral_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_no_good_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_pending_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_possible_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_totally_no_good_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategically_unexamined_problem_p(SubLObject problem, SubLObject strategy)`
`static SubLObject`	`strategy_active_problems(SubLObject strategy)`
`static SubLObject`	`strategy_all_valid_set_aside_problems(SubLObject strategy)`
`static SubLObject`	`strategy_answer_link_propagatedP(SubLObject strategy)` Return T iff the answer-link of the inference of STRATEGY has been propagated and has not been closed thereafter.
`static SubLObject`	`strategy_answer_link(SubLObject strategy)`
`static SubLObject`	`strategy_clear_set_asides(SubLObject strategy)`
`static SubLObject`	`strategy_continuableP(SubLObject strategy)`
`static SubLObject`	`strategy_data(SubLObject strategy)`
`static SubLObject`	`strategy_dispatch_funcall_0(SubLObject func, SubLObject strategy)`
`static SubLObject`	`strategy_dispatch_funcall_1(SubLObject func, SubLObject strategy, SubLObject arg1)`
`static SubLObject`	`strategy_dispatch_handler(SubLObject strategy, SubLObject method_type)`
`static SubLObject`	`strategy_dispatch(SubLObject strategy, SubLObject method_type, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5)`
`static SubLObject`	`strategy_has_some_set_aside_problemsP(SubLObject strategy)`
`static SubLObject`	`strategy_inference(SubLObject strategy)`
`static SubLObject`	`strategy_invalid_p(SubLObject strategy)`
`static SubLObject`	`strategy_local_result_uniqueness_criterion(SubLObject strategy)`
`static SubLObject`	`strategy_memoization_state(SubLObject strategy)`
`static SubLObject`	`strategy_motivated_problems(SubLObject strategy)`
`static SubLObject`	`strategy_note_problem_active(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`strategy_note_problem_inactive(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`strategy_note_problem_motivated(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`strategy_note_problem_set_aside(SubLObject strategy, SubLObject problem)`
`static SubLObject`	`strategy_p(SubLObject object)`
`static SubLObject`	`strategy_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`strategy_problem_store(SubLObject strategy)`
`static SubLObject`	`strategy_problem_strategic_index(SubLObject strategy)`
`static SubLObject`	`strategy_productivity_limit(SubLObject strategy)`
`static SubLObject`	`strategy_proof_spec(SubLObject strategy)`
`static SubLObject`	`strategy_removal_backtracking_productivity_limit(SubLObject strategy)`
`static SubLObject`	`strategy_result_uniqueness_criterion(SubLObject strategy)` Locally specified result uniqueness criteria on the strategy (if any) override the one from the inference.
`static SubLObject`	`strategy_root_problem(SubLObject strategy)`
`static SubLObject`	`strategy_set_aside_problems(SubLObject strategy)`
`static SubLObject`	`strategy_should_propagate_answer_linkP(SubLObject strategy)` Return T iff the answer-link of the inference of STRATEGY ought to be propagated.
`static SubLObject`	`strategy_should_reconsider_set_asidesP(SubLObject strategy)`
`static SubLObject`	`strategy_suid(SubLObject strategy)`
`static SubLObject`	`strategy_type_property(SubLObject type, SubLObject property)`
`static SubLObject`	`strategy_type(SubLObject strategy)`
`static SubLObject`	`strategy_unique_wrt_bindingsP(SubLObject strategy)`
`static SubLObject`	`strategy_wants_one_answerP(SubLObject strategy)`
`static SubLObject`	`sxhash_strategy_method(SubLObject object)`
`static SubLObject`	`tact_strategic_properties_flags(SubLObject object)`
`static SubLObject`	`tact_strategic_properties_preference_level(SubLObject object)`
`static SubLObject`	`tact_strategic_properties_productivity(SubLObject object)`
`static SubLObject`	`tactic_set_aside_cache_new_root_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_set_aside_cache_removal_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_set_aside_cache_status_wrt_motivation(SubLObject tactic, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`tactic_set_aside_cache_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_set_aside_cache_transformation_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_strategic_completeness(SubLObject tactic, SubLObject strategic_context)`
`static SubLObject`	`tactic_strategic_flags(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_strategic_preference_level_justification(SubLObject tactic, SubLObject strategic_context)`
`static SubLObject`	`tactic_strategic_preference_level(SubLObject tactic, SubLObject strategic_context)`
`static SubLObject`	`tactic_strategic_productivity(SubLObject tactic, SubLObject strategic_context)`
`static SubLObject`	`tactic_strategic_properties_int(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_strategic_properties_p(SubLObject object)`
`static SubLObject`	`tactic_strategic_properties(SubLObject tactic, SubLObject strategy)` Initializes the tactic-strategic-properties if they do not exist yet.
`static SubLObject`	`tactic_strategically_preferredP(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_thrown_away_cache_new_root_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_thrown_away_cache_removal_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_thrown_away_cache_status_wrt_motivation(SubLObject tactic, SubLObject strategy, SubLObject motivation)`
`static SubLObject`	`tactic_thrown_away_cache_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`tactic_thrown_away_cache_transformation_status(SubLObject tactic, SubLObject strategy)`
`static SubLObject`	`uninterestingness_cache_set_aside_code(SubLObject flags)`
`static SubLObject`	`uninterestingness_cache_set_aside_wrt_new_root_code(SubLObject flags)`
`static SubLObject`	`uninterestingness_cache_set_aside_wrt_removal_code(SubLObject flags)`
`static SubLObject`	`uninterestingness_cache_set_aside_wrt_transformation_code(SubLObject flags)`
`static SubLObject`	`uninterestingness_cache_thrown_away_code(SubLObject flags)`
`static SubLObject`	`uninterestingness_cache_thrown_away_wrt_new_root_code(SubLObject flags)`
`static SubLObject`	`uninterestingness_cache_thrown_away_wrt_removal_code(SubLObject flags)`
`static SubLObject`	`uninterestingness_cache_thrown_away_wrt_transformation_code(SubLObject flags)`
`static SubLObject`	`valid_strategy_p(SubLObject object)`

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

public static SubLSymbol $dtp_strategy$

$current_strategy_wrt_memoization$

public static SubLSymbol $current_strategy_wrt_memoization$

The strategy of the currently active strategy memoization state, if any.

$dtp_problem_strategic_properties$

public static SubLSymbol $dtp_problem_strategic_properties$

$dtp_tactic_strategic_properties$

public static SubLSymbol $dtp_tactic_strategic_properties$

$sym0$STRATEGY

public static final SubLSymbol $sym0$STRATEGY

$sym1$STRATEGY_P

public static final SubLSymbol $sym1$STRATEGY_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$PRINT_STRATEGY

public static final SubLSymbol $sym6$PRINT_STRATEGY

$sym7$STRATEGY_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$STRATEGY_PRINT_FUNCTION_TRAMPOLINE

$sym8$STRAT_SUID

public static final SubLSymbol $sym8$STRAT_SUID

$sym9$_CSETF_STRAT_SUID

public static final SubLSymbol $sym9$_CSETF_STRAT_SUID

$sym10$STRAT_INFERENCE

public static final SubLSymbol $sym10$STRAT_INFERENCE

$sym11$_CSETF_STRAT_INFERENCE

public static final SubLSymbol $sym11$_CSETF_STRAT_INFERENCE

$sym12$STRAT_RESULT_UNIQUENESS_CRITERION

public static final SubLSymbol $sym12$STRAT_RESULT_UNIQUENESS_CRITERION

$sym13$_CSETF_STRAT_RESULT_UNIQUENESS_CRITERION

public static final SubLSymbol $sym13$_CSETF_STRAT_RESULT_UNIQUENESS_CRITERION

$sym14$STRAT_ACTIVE_PROBLEMS

public static final SubLSymbol $sym14$STRAT_ACTIVE_PROBLEMS

$sym15$_CSETF_STRAT_ACTIVE_PROBLEMS

public static final SubLSymbol $sym15$_CSETF_STRAT_ACTIVE_PROBLEMS

$sym16$STRAT_MOTIVATED_PROBLEMS

public static final SubLSymbol $sym16$STRAT_MOTIVATED_PROBLEMS

$sym17$_CSETF_STRAT_MOTIVATED_PROBLEMS

public static final SubLSymbol $sym17$_CSETF_STRAT_MOTIVATED_PROBLEMS

$sym18$STRAT_SET_ASIDE_PROBLEMS

public static final SubLSymbol $sym18$STRAT_SET_ASIDE_PROBLEMS

$sym19$_CSETF_STRAT_SET_ASIDE_PROBLEMS

public static final SubLSymbol $sym19$_CSETF_STRAT_SET_ASIDE_PROBLEMS

$sym20$STRAT_SHOULD_RECONSIDER_SET_ASIDES_

public static final SubLSymbol $sym20$STRAT_SHOULD_RECONSIDER_SET_ASIDES_

$sym21$_CSETF_STRAT_SHOULD_RECONSIDER_SET_ASIDES_

public static final SubLSymbol $sym21$_CSETF_STRAT_SHOULD_RECONSIDER_SET_ASIDES_

$sym22$STRAT_PRODUCTIVITY_LIMIT

public static final SubLSymbol $sym22$STRAT_PRODUCTIVITY_LIMIT

$sym23$_CSETF_STRAT_PRODUCTIVITY_LIMIT

public static final SubLSymbol $sym23$_CSETF_STRAT_PRODUCTIVITY_LIMIT

$sym24$STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

public static final SubLSymbol $sym24$STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

$sym25$_CSETF_STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

public static final SubLSymbol $sym25$_CSETF_STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

$sym26$STRAT_PROOF_SPEC

public static final SubLSymbol $sym26$STRAT_PROOF_SPEC

$sym27$_CSETF_STRAT_PROOF_SPEC

public static final SubLSymbol $sym27$_CSETF_STRAT_PROOF_SPEC

$sym28$STRAT_PROBLEM_PROOF_SPEC_INDEX

public static final SubLSymbol $sym28$STRAT_PROBLEM_PROOF_SPEC_INDEX

$sym29$_CSETF_STRAT_PROBLEM_PROOF_SPEC_INDEX

public static final SubLSymbol $sym29$_CSETF_STRAT_PROBLEM_PROOF_SPEC_INDEX

$sym30$STRAT_PROBLEM_STRATEGIC_INDEX

public static final SubLSymbol $sym30$STRAT_PROBLEM_STRATEGIC_INDEX

$sym31$_CSETF_STRAT_PROBLEM_STRATEGIC_INDEX

public static final SubLSymbol $sym31$_CSETF_STRAT_PROBLEM_STRATEGIC_INDEX

$sym32$STRAT_MEMOIZATION_STATE

public static final SubLSymbol $sym32$STRAT_MEMOIZATION_STATE

$sym33$_CSETF_STRAT_MEMOIZATION_STATE

public static final SubLSymbol $sym33$_CSETF_STRAT_MEMOIZATION_STATE

$sym34$STRAT_TYPE

public static final SubLSymbol $sym34$STRAT_TYPE

$sym35$_CSETF_STRAT_TYPE

public static final SubLSymbol $sym35$_CSETF_STRAT_TYPE

$sym36$STRAT_DATA

public static final SubLSymbol $sym36$STRAT_DATA

$sym37$_CSETF_STRAT_DATA

public static final SubLSymbol $sym37$_CSETF_STRAT_DATA

$kw38$SUID

public static final SubLSymbol $kw38$SUID

$kw39$INFERENCE

public static final SubLSymbol $kw39$INFERENCE

$kw40$RESULT_UNIQUENESS_CRITERION

public static final SubLSymbol $kw40$RESULT_UNIQUENESS_CRITERION

$kw41$ACTIVE_PROBLEMS

public static final SubLSymbol $kw41$ACTIVE_PROBLEMS

$kw42$MOTIVATED_PROBLEMS

public static final SubLSymbol $kw42$MOTIVATED_PROBLEMS

$kw43$SET_ASIDE_PROBLEMS

public static final SubLSymbol $kw43$SET_ASIDE_PROBLEMS

$kw44$SHOULD_RECONSIDER_SET_ASIDES_

public static final SubLSymbol $kw44$SHOULD_RECONSIDER_SET_ASIDES_

$kw45$PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw45$PRODUCTIVITY_LIMIT

$kw46$REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

public static final SubLSymbol $kw46$REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

$kw47$PROOF_SPEC

public static final SubLSymbol $kw47$PROOF_SPEC

$kw48$PROBLEM_PROOF_SPEC_INDEX

public static final SubLSymbol $kw48$PROBLEM_PROOF_SPEC_INDEX

$kw49$PROBLEM_STRATEGIC_INDEX

public static final SubLSymbol $kw49$PROBLEM_STRATEGIC_INDEX

$kw50$MEMOIZATION_STATE

public static final SubLSymbol $kw50$MEMOIZATION_STATE

$kw51$TYPE

public static final SubLSymbol $kw51$TYPE

$kw52$DATA

public static final SubLSymbol $kw52$DATA

$str53$Invalid_slot__S_for_construction_

public static final SubLString $str53$Invalid_slot__S_for_construction_

$kw54$FREE

public static final SubLSymbol $kw54$FREE

$str55$_Invalid_STRATEGY__s_

public static final SubLString $str55$_Invalid_STRATEGY__s_

$str56$__a_STRATEGYaa_for_inference_

public static final SubLString $str56$__a_STRATEGY__a__a_for_inference_

$sym57$SXHASH_STRATEGY_METHOD

public static final SubLSymbol $sym57$SXHASH_STRATEGY_METHOD

$sym58$STRATEGY_TYPE_P

public static final SubLSymbol $sym58$STRATEGY_TYPE_P

$sym59$INFERENCE_P

public static final SubLSymbol $sym59$INFERENCE_P

$kw60$CONSTRUCTOR

public static final SubLSymbol $kw60$CONSTRUCTOR

$sym61$STRATEGY_ACTIVE_PROBLEMS

public static final SubLSymbol $sym61$STRATEGY_ACTIVE_PROBLEMS

$sym62$DO_STRATEGY_ACTIVE_PROBLEMS

public static final SubLSymbol $sym62$DO_STRATEGY_ACTIVE_PROBLEMS

$sym63$STRATEGY_MOTIVATED_PROBLEMS

public static final SubLSymbol $sym63$STRATEGY_MOTIVATED_PROBLEMS

$sym64$DO_STRATEGY_MOTIVATED_PROBLEMS

public static final SubLSymbol $sym64$DO_STRATEGY_MOTIVATED_PROBLEMS

$sym65$STRATEGY_SET_ASIDE_PROBLEMS

public static final SubLSymbol $sym65$STRATEGY_SET_ASIDE_PROBLEMS

$sym66$DO_STRATEGY_SET_ASIDE_PROBLEMS

public static final SubLSymbol $sym66$DO_STRATEGY_SET_ASIDE_PROBLEMS

$sym67$RESULT_UNIQUENESS_CRITERION_P

public static final SubLSymbol $sym67$RESULT_UNIQUENESS_CRITERION_P

$sym68$PRODUCTIVITY_P

public static final SubLSymbol $sym68$PRODUCTIVITY_P

$sym69$PROOF_SPEC_P

public static final SubLSymbol $sym69$PROOF_SPEC_P

$list70

public static final SubLList $list70

$list71

public static final SubLList $list71

$kw72$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw72$ALLOW_OTHER_KEYS

$kw73$DONE

public static final SubLSymbol $kw73$DONE

$sym74$DO_SET

public static final SubLSymbol $sym74$DO_SET

$sym75$DO_SET_CONTENTS

public static final SubLSymbol $sym75$DO_SET_CONTENTS

$list76

public static final SubLList $list76

$sym77$STRATEGY_VAR

public static final SubLSymbol $sym77$STRATEGY_VAR

$sym78$STATE_VAR

public static final SubLSymbol $sym78$STATE_VAR

$sym79$CLET

public static final SubLSymbol $sym79$CLET

$sym80$STRATEGY_MEMOIZATION_STATE

public static final SubLSymbol $sym80$STRATEGY_MEMOIZATION_STATE

$sym81$_CURRENT_STRATEGY_WRT_MEMOIZATION_

public static final SubLSymbol $sym81$_CURRENT_STRATEGY_WRT_MEMOIZATION_

$sym82$WITH_MEMOIZATION_STATE

public static final SubLSymbol $sym82$WITH_MEMOIZATION_STATE

$sym83$WITH_STRATEGY_MEMOIZATION_STATE

public static final SubLSymbol $sym83$WITH_STRATEGY_MEMOIZATION_STATE

$sym84$CURRENT_STRATEGY_WRT_MEMOIZATION

public static final SubLSymbol $sym84$CURRENT_STRATEGY_WRT_MEMOIZATION

$sym85$VALID_PROBLEM_P

public static final SubLSymbol $sym85$VALID_PROBLEM_P

$kw86$PROOF

public static final SubLSymbol $kw86$PROOF

$kw87$BINDINGS

public static final SubLSymbol $kw87$BINDINGS

$sym88$PROBLEM_P

public static final SubLSymbol $sym88$PROBLEM_P

$kw89$ANYTHING

public static final SubLSymbol $kw89$ANYTHING

$sym90$STRATEGY_PROPERTY_P

public static final SubLSymbol $sym90$STRATEGY_PROPERTY_P

$str91$Unexpected_strategy_property__s_w

public static final SubLString $str91$Unexpected_strategy_property__s_w

$sym92$STRATEGY_PROPERTIES_P

public static final SubLSymbol $sym92$STRATEGY_PROPERTIES_P

$kw93$SUBSTRATEGY_STRATEGEM_MOTIVATED

public static final SubLSymbol $kw93$SUBSTRATEGY_STRATEGEM_MOTIVATED

$list94

public static final SubLList $list94

$sym95$STRATEGY_VAR

public static final SubLSymbol $sym95$STRATEGY_VAR

$sym96$PROBLEM_VAR

public static final SubLSymbol $sym96$PROBLEM_VAR

$sym97$STRATEGY_NOTE_PROBLEM_ACTIVE

public static final SubLSymbol $sym97$STRATEGY_NOTE_PROBLEM_ACTIVE

$sym98$STRATEGY_NOTE_PROBLEM_INACTIVE

public static final SubLSymbol $sym98$STRATEGY_NOTE_PROBLEM_INACTIVE

$sym99$POSSIBLY_REACTIVATE_PROBLEM

public static final SubLSymbol $sym99$POSSIBLY_REACTIVATE_PROBLEM

$kw100$NOTHING

public static final SubLSymbol $kw100$NOTHING

$str101$balancing_tactician_does_not_impl

public static final SubLString $str101$balancing_tactician_does_not_impl

$sym102$BALANCED_STRATEGY_DEFAULT_SELECT_BEST_STRATEGEM

public static final SubLSymbol $sym102$BALANCED_STRATEGY_DEFAULT_SELECT_BEST_STRATEGEM

$sym103$BALANCED_STRATEGY_DO_ONE_STEP

public static final SubLSymbol $sym103$BALANCED_STRATEGY_DO_ONE_STEP

$sym104$BALANCED_STRATEGY_DONE_

public static final SubLSymbol $sym104$BALANCED_STRATEGY_DONE_

$sym105$BALANCED_STRATEGY_POSSIBLY_ACTIVATE_PROBLEM

public static final SubLSymbol $sym105$BALANCED_STRATEGY_POSSIBLY_ACTIVATE_PROBLEM

$str106$Unexpected_strategy_type__a

public static final SubLString $str106$Unexpected_strategy_type__a

$sym107$_STRATEGY_TYPE_STORE_

public static final SubLSymbol $sym107$_STRATEGY_TYPE_STORE_

$sym108$PROPERTY_LIST_P

public static final SubLSymbol $sym108$PROPERTY_LIST_P

$sym109$STRATEGY_TYPE_PROPERTY_P

public static final SubLSymbol $sym109$STRATEGY_TYPE_PROPERTY_P

$kw110$RECOMPUTE

public static final SubLSymbol $kw110$RECOMPUTE

$str111$invalid_uninterestingness_cache_c

public static final SubLString $str111$invalid_uninterestingness_cache_c

$str112$invalid_uninterestingness_cache_s

public static final SubLString $str112$invalid_uninterestingness_cache_s

$sym113$PROBLEM_STRATEGIC_PROPERTIES

public static final SubLSymbol $sym113$PROBLEM_STRATEGIC_PROPERTIES

$sym114$PROBLEM_STRATEGIC_PROPERTIES_P

public static final SubLSymbol $sym114$PROBLEM_STRATEGIC_PROPERTIES_P

$list115

public static final SubLList $list115

$list116

public static final SubLList $list116

$list117

public static final SubLList $list117

$list118

public static final SubLList $list118

$sym119$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym119$DEFAULT_STRUCT_PRINT_FUNCTION

$sym120$PROBLEM_STRATEGIC_PROPERTIES_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym120$PROBLEM_STRATEGIC_PROPERTIES_PRINT_FUNCTION_TRAMPOLINE

$sym121$PROB_STRATEGIC_PROPERTIES_STATUS

public static final SubLSymbol $sym121$PROB_STRATEGIC_PROPERTIES_STATUS

$sym122$_CSETF_PROB_STRATEGIC_PROPERTIES_STATUS

public static final SubLSymbol $sym122$_CSETF_PROB_STRATEGIC_PROPERTIES_STATUS

$sym123$PROB_STRATEGIC_PROPERTIES_TACTIC_STRATEGIC_PROPERTY_INDEX

public static final SubLSymbol $sym123$PROB_STRATEGIC_PROPERTIES_TACTIC_STRATEGIC_PROPERTY_INDEX

$sym124$_CSETF_PROB_STRATEGIC_PROPERTIES_TACTIC_STRATEGIC_PROPERTY_INDEX

public static final SubLSymbol $sym124$_CSETF_PROB_STRATEGIC_PROPERTIES_TACTIC_STRATEGIC_PROPERTY_INDEX

$sym125$PROB_STRATEGIC_PROPERTIES_POSSIBLE_TACTIC_COUNT

public static final SubLSymbol $sym125$PROB_STRATEGIC_PROPERTIES_POSSIBLE_TACTIC_COUNT

$sym126$_CSETF_PROB_STRATEGIC_PROPERTIES_POSSIBLE_TACTIC_COUNT

public static final SubLSymbol $sym126$_CSETF_PROB_STRATEGIC_PROPERTIES_POSSIBLE_TACTIC_COUNT

$sym127$PROB_STRATEGIC_PROPERTIES_FLAGS

public static final SubLSymbol $sym127$PROB_STRATEGIC_PROPERTIES_FLAGS

$sym128$_CSETF_PROB_STRATEGIC_PROPERTIES_FLAGS

public static final SubLSymbol $sym128$_CSETF_PROB_STRATEGIC_PROPERTIES_FLAGS

$kw129$STATUS

public static final SubLSymbol $kw129$STATUS

$kw130$TACTIC_STRATEGIC_PROPERTY_INDEX

public static final SubLSymbol $kw130$TACTIC_STRATEGIC_PROPERTY_INDEX

$kw131$POSSIBLE_TACTIC_COUNT

public static final SubLSymbol $kw131$POSSIBLE_TACTIC_COUNT

$kw132$FLAGS

public static final SubLSymbol $kw132$FLAGS

$kw133$NEW

public static final SubLSymbol $kw133$NEW

$kw134$UNEXAMINED

public static final SubLSymbol $kw134$UNEXAMINED

$kw135$FINISHED

public static final SubLSymbol $kw135$FINISHED

$kw136$NEUTRAL

public static final SubLSymbol $kw136$NEUTRAL

$kw137$GOOD

public static final SubLSymbol $kw137$GOOD

$kw138$NO_GOOD

public static final SubLSymbol $kw138$NO_GOOD

$sym139$STRATEGIC_CONTEXT_P

public static final SubLSymbol $sym139$STRATEGIC_CONTEXT_P

$kw140$EXAMINED

public static final SubLSymbol $kw140$EXAMINED

$kw141$POSSIBLE

public static final SubLSymbol $kw141$POSSIBLE

$kw142$PENDING

public static final SubLSymbol $kw142$PENDING

$sym143$FIXNUMP

public static final SubLSymbol $sym143$FIXNUMP

$kw144$REMOVAL

public static final SubLSymbol $kw144$REMOVAL

$kw145$TRANSFORMATION

public static final SubLSymbol $kw145$TRANSFORMATION

$kw146$NEW_ROOT

public static final SubLSymbol $kw146$NEW_ROOT

$str147$unexpected_motivation__s

public static final SubLString $str147$unexpected_motivation__s

$kw148$SKIP

public static final SubLSymbol $kw148$SKIP

$sym149$TACTIC_STRATEGIC_PROPERTIES

public static final SubLSymbol $sym149$TACTIC_STRATEGIC_PROPERTIES

$sym150$TACTIC_STRATEGIC_PROPERTIES_P

public static final SubLSymbol $sym150$TACTIC_STRATEGIC_PROPERTIES_P

$list151

public static final SubLList $list151

$list152

public static final SubLList $list152

$list153

public static final SubLList $list153

$list154

public static final SubLList $list154

$sym155$TACTIC_STRATEGIC_PROPERTIES_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym155$TACTIC_STRATEGIC_PROPERTIES_PRINT_FUNCTION_TRAMPOLINE

$sym156$TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL

public static final SubLSymbol $sym156$TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL

$sym157$_CSETF_TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL

public static final SubLSymbol $sym157$_CSETF_TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL

$sym158$TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL_JUSTIFICATION

public static final SubLSymbol $sym158$TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL_JUSTIFICATION

$sym159$_CSETF_TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL_JUSTIFICATION

public static final SubLSymbol $sym159$_CSETF_TACT_STRATEGIC_PROPERTIES_PREFERENCE_LEVEL_JUSTIFICATION

$sym160$TACT_STRATEGIC_PROPERTIES_PRODUCTIVITY

public static final SubLSymbol $sym160$TACT_STRATEGIC_PROPERTIES_PRODUCTIVITY

$sym161$_CSETF_TACT_STRATEGIC_PROPERTIES_PRODUCTIVITY

public static final SubLSymbol $sym161$_CSETF_TACT_STRATEGIC_PROPERTIES_PRODUCTIVITY

$sym162$TACT_STRATEGIC_PROPERTIES_FLAGS

public static final SubLSymbol $sym162$TACT_STRATEGIC_PROPERTIES_FLAGS

$sym163$_CSETF_TACT_STRATEGIC_PROPERTIES_FLAGS

public static final SubLSymbol $sym163$_CSETF_TACT_STRATEGIC_PROPERTIES_FLAGS

$kw164$PREFERENCE_LEVEL

public static final SubLSymbol $kw164$PREFERENCE_LEVEL

$kw165$PREFERENCE_LEVEL_JUSTIFICATION

public static final SubLSymbol $kw165$PREFERENCE_LEVEL_JUSTIFICATION

$kw166$PRODUCTIVITY

public static final SubLSymbol $kw166$PRODUCTIVITY

$kw167$DISALLOWED

public static final SubLSymbol $kw167$DISALLOWED

$str168$

public static final SubLString $str168$

$sym169$TACTIC_P

public static final SubLSymbol $sym169$TACTIC_P

$kw170$TACTICAL

public static final SubLSymbol $kw170$TACTICAL

$str171$structural_tactic__s_cannot_have_

public static final SubLString $str171$structural_tactic__s_cannot_have_

$str172$content_tactic__s_cannot_have_a_p

public static final SubLString $str172$content_tactic__s_cannot_have_a_p

$str173$content_tactic__s_cannot_have_a_p

public static final SubLString $str173$content_tactic__s_cannot_have_a_p

$sym174$GENERALIZED_CONJUNCTIVE_TACTIC_P

public static final SubLSymbol $sym174$GENERALIZED_CONJUNCTIVE_TACTIC_P

$kw175$PREFERRED

public static final SubLSymbol $kw175$PREFERRED

$sym176$PREFERENCE_LEVEL_P

public static final SubLSymbol $sym176$PREFERENCE_LEVEL_P

Method Detail

strategy_print_function_trampoline

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

strategy_p

public static final SubLObject strategy_p(SubLObject object)

strat_suid

public static final SubLObject strat_suid(SubLObject object)

strat_inference

public static final SubLObject strat_inference(SubLObject object)

strat_result_uniqueness_criterion

public static final SubLObject strat_result_uniqueness_criterion(SubLObject object)

destroy_problem_store_strategy

public static final SubLObject destroy_problem_store_strategy(SubLObject strategy)

strat_active_problems

public static final SubLObject strat_active_problems(SubLObject object)

strat_motivated_problems

public static final SubLObject strat_motivated_problems(SubLObject object)

strat_set_aside_problems

public static final SubLObject strat_set_aside_problems(SubLObject object)

strat_should_reconsider_set_asidesP

public static final SubLObject strat_should_reconsider_set_asidesP(SubLObject object)

strat_productivity_limit

public static final SubLObject strat_productivity_limit(SubLObject object)

strat_removal_backtracking_productivity_limit

public static final SubLObject strat_removal_backtracking_productivity_limit(SubLObject object)

strat_proof_spec

public static final SubLObject strat_proof_spec(SubLObject object)

strat_problem_proof_spec_index

public static final SubLObject strat_problem_proof_spec_index(SubLObject object)

strat_problem_strategic_index

public static final SubLObject strat_problem_strategic_index(SubLObject object)

strat_memoization_state

public static final SubLObject strat_memoization_state(SubLObject object)

strat_type

public static final SubLObject strat_type(SubLObject object)

strat_data

public static final SubLObject strat_data(SubLObject object)

_csetf_strat_suid

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

_csetf_strat_inference

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

_csetf_strat_result_uniqueness_criterion

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

_csetf_strat_active_problems

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

_csetf_strat_motivated_problems

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

_csetf_strat_set_aside_problems

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

_csetf_strat_should_reconsider_set_asidesP

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

_csetf_strat_productivity_limit

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

_csetf_strat_removal_backtracking_productivity_limit

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

_csetf_strat_proof_spec

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

_csetf_strat_problem_proof_spec_index

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

_csetf_strat_problem_strategic_index

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

_csetf_strat_memoization_state

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

_csetf_strat_type

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

_csetf_strat_data

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

make_strategy

public static final SubLObject make_strategy(SubLObject arglist)

valid_strategy_p

public static final SubLObject valid_strategy_p(SubLObject object)

strategy_invalid_p

public static final SubLObject strategy_invalid_p(SubLObject strategy)

sxhash_strategy_method

public static final SubLObject sxhash_strategy_method(SubLObject object)

new_strategy

public static final SubLObject new_strategy(SubLObject type,
                                            SubLObject inference)

destroy_inference_strategy

public static final SubLObject destroy_inference_strategy(SubLObject strategy)

destroy_strategy_int

public static final SubLObject destroy_strategy_int(SubLObject strategy)

note_strategy_invalid

public static final SubLObject note_strategy_invalid(SubLObject strategy)

strategy_suid

public static final SubLObject strategy_suid(SubLObject strategy)

strategy_inference

public static final SubLObject strategy_inference(SubLObject strategy)

strategy_local_result_uniqueness_criterion

public static final SubLObject strategy_local_result_uniqueness_criterion(SubLObject strategy)

strategy_problem_strategic_index

public static final SubLObject strategy_problem_strategic_index(SubLObject strategy)

strategy_type

public static final SubLObject strategy_type(SubLObject strategy)

strategy_data

public static final SubLObject strategy_data(SubLObject strategy)

strategy_active_problems

public static final SubLObject strategy_active_problems(SubLObject strategy)

strategy_motivated_problems

public static final SubLObject strategy_motivated_problems(SubLObject strategy)

strategy_set_aside_problems

public static final SubLObject strategy_set_aside_problems(SubLObject strategy)

strategy_should_reconsider_set_asidesP

public static final SubLObject strategy_should_reconsider_set_asidesP(SubLObject strategy)

strategy_productivity_limit

public static final SubLObject strategy_productivity_limit(SubLObject strategy)

Returns:: productivity-p If a tactic's productivity meets or exceeds this limit, it will be ignored instead of executed.

strategy_removal_backtracking_productivity_limit

public static final SubLObject strategy_removal_backtracking_productivity_limit(SubLObject strategy)

Returns:: productivity-p If a tactic's productivity meets or exceeds this limit, it will not be considered for removal backtracking.

strategy_proof_spec

public static final SubLObject strategy_proof_spec(SubLObject strategy)

Returns:: proof-spec-p The proof spec that this strategy is allowed to apply.

set_strategy_productivity_limit

public static final SubLObject set_strategy_productivity_limit(SubLObject strategy,
                                                               SubLObject productivity_limit)

set_strategy_data

public static final SubLObject set_strategy_data(SubLObject strategy,
                                                 SubLObject data)

strategy_memoization_state

public static final SubLObject strategy_memoization_state(SubLObject strategy)

strategic_context_inference

public static final SubLObject strategic_context_inference(SubLObject strategic_context)

strategy_answer_link

public static final SubLObject strategy_answer_link(SubLObject strategy)

Returns:: answer-link-p; The answer-link of the inference of STRATEGY.

strategy_answer_link_propagatedP

public static final SubLObject strategy_answer_link_propagatedP(SubLObject strategy)

Return T iff the answer-link of the inference of STRATEGY has been propagated and has not been closed thereafter.

strategy_should_propagate_answer_linkP

public static final SubLObject strategy_should_propagate_answer_linkP(SubLObject strategy)

Return T iff the answer-link of the inference of STRATEGY ought to be propagated.

strategy_root_problem

public static final SubLObject strategy_root_problem(SubLObject strategy)

Returns:: problem-p; The root problem of the inference of STRATEGY.

strategy_continuableP

public static final SubLObject strategy_continuableP(SubLObject strategy)

problem_active_in_strategyP

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

problem_motivatedP

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

problem_set_aside_in_strategyP

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

strategy_has_some_set_aside_problemsP

public static final SubLObject strategy_has_some_set_aside_problemsP(SubLObject strategy)

strategy_all_valid_set_aside_problems

public static final SubLObject strategy_all_valid_set_aside_problems(SubLObject strategy)

strategy_problem_store

public static final SubLObject strategy_problem_store(SubLObject strategy)

strategy_result_uniqueness_criterion

public static final SubLObject strategy_result_uniqueness_criterion(SubLObject strategy)

Locally specified result uniqueness criteria on the strategy (if any) override the one from the inference.

strategy_unique_wrt_bindingsP

public static final SubLObject strategy_unique_wrt_bindingsP(SubLObject strategy)

strategy_wants_one_answerP

public static final SubLObject strategy_wants_one_answerP(SubLObject strategy)

set_strategy_property

public static final SubLObject set_strategy_property(SubLObject strategy,
                                                     SubLObject property,
                                                     SubLObject value)

set_strategy_properties

public static final SubLObject set_strategy_properties(SubLObject strategy,
                                                       SubLObject strategy_properties)

strategy_note_problem_active

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

strategy_note_problem_inactive

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

strategy_note_problem_motivated

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

strategy_note_problem_set_aside

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

strategy_clear_set_asides

public static final SubLObject strategy_clear_set_asides(SubLObject strategy)

note_strategy_should_reconsider_set_asides

public static final SubLObject note_strategy_should_reconsider_set_asides(SubLObject strategy)

clear_strategy_should_reconsider_set_asides

public static final SubLObject clear_strategy_should_reconsider_set_asides(SubLObject strategy)

strategy_dispatch

public static final SubLObject strategy_dispatch(SubLObject strategy,
                                                 SubLObject method_type,
                                                 SubLObject arg1,
                                                 SubLObject arg2,
                                                 SubLObject arg3,
                                                 SubLObject arg4,
                                                 SubLObject arg5)

strategy_dispatch_handler

public static final SubLObject strategy_dispatch_handler(SubLObject strategy,
                                                         SubLObject method_type)

strategy_dispatch_funcall_0

public static final SubLObject strategy_dispatch_funcall_0(SubLObject func,
                                                           SubLObject strategy)

strategy_dispatch_funcall_1

public static final SubLObject strategy_dispatch_funcall_1(SubLObject func,
                                                           SubLObject strategy,
                                                           SubLObject arg1)

controlling_strategy_callback

public static final SubLObject controlling_strategy_callback(SubLObject substrategy,
                                                             SubLObject method_type,
                                                             SubLObject arg1,
                                                             SubLObject arg2,
                                                             SubLObject arg3,
                                                             SubLObject arg4)

new_strategy_type

public static final SubLObject new_strategy_type(SubLObject type,
                                                 SubLObject plist)

deregister_strategy_type

public static final SubLObject deregister_strategy_type(SubLObject type)

strategy_type_property

public static final SubLObject strategy_type_property(SubLObject type,
                                                      SubLObject property)

set_strategy_type_property

public static final SubLObject set_strategy_type_property(SubLObject type,
                                                          SubLObject property,
                                                          SubLObject value)

uninterestingness_cache_thrown_away_wrt_removal_code

public static final SubLObject uninterestingness_cache_thrown_away_wrt_removal_code(SubLObject flags)

uninterestingness_cache_thrown_away_wrt_transformation_code

public static final SubLObject uninterestingness_cache_thrown_away_wrt_transformation_code(SubLObject flags)

uninterestingness_cache_thrown_away_wrt_new_root_code

public static final SubLObject uninterestingness_cache_thrown_away_wrt_new_root_code(SubLObject flags)

uninterestingness_cache_set_aside_wrt_removal_code

public static final SubLObject uninterestingness_cache_set_aside_wrt_removal_code(SubLObject flags)

uninterestingness_cache_set_aside_wrt_transformation_code

public static final SubLObject uninterestingness_cache_set_aside_wrt_transformation_code(SubLObject flags)

uninterestingness_cache_set_aside_wrt_new_root_code

public static final SubLObject uninterestingness_cache_set_aside_wrt_new_root_code(SubLObject flags)

uninterestingness_cache_thrown_away_code

public static final SubLObject uninterestingness_cache_thrown_away_code(SubLObject flags)

uninterestingness_cache_set_aside_code

public static final SubLObject uninterestingness_cache_set_aside_code(SubLObject flags)

set_uninterestingness_cache_thrown_away_wrt_removal_code

public static final SubLObject set_uninterestingness_cache_thrown_away_wrt_removal_code(SubLObject flags,
                                                                                        SubLObject code)

set_uninterestingness_cache_thrown_away_wrt_transformation_code

public static final SubLObject set_uninterestingness_cache_thrown_away_wrt_transformation_code(SubLObject flags,
                                                                                               SubLObject code)

set_uninterestingness_cache_thrown_away_wrt_new_root_code

public static final SubLObject set_uninterestingness_cache_thrown_away_wrt_new_root_code(SubLObject flags,
                                                                                         SubLObject code)

set_uninterestingness_cache_set_aside_wrt_removal_code

public static final SubLObject set_uninterestingness_cache_set_aside_wrt_removal_code(SubLObject flags,
                                                                                      SubLObject code)

set_uninterestingness_cache_set_aside_wrt_transformation_code

public static final SubLObject set_uninterestingness_cache_set_aside_wrt_transformation_code(SubLObject flags,
                                                                                             SubLObject code)

set_uninterestingness_cache_set_aside_wrt_new_root_code

public static final SubLObject set_uninterestingness_cache_set_aside_wrt_new_root_code(SubLObject flags,
                                                                                       SubLObject code)

set_uninterestingness_cache_thrown_away_code

public static final SubLObject set_uninterestingness_cache_thrown_away_code(SubLObject flags,
                                                                            SubLObject code)

set_uninterestingness_cache_set_aside_code

public static final SubLObject set_uninterestingness_cache_set_aside_code(SubLObject flags,
                                                                          SubLObject code)

decode_uninterestingness_cache_code

public static final SubLObject decode_uninterestingness_cache_code(SubLObject code)

encode_uninterestingness_cache_status

public static final SubLObject encode_uninterestingness_cache_status(SubLObject status)

problem_strategic_properties_p

public static final SubLObject problem_strategic_properties_p(SubLObject object)

prob_strategic_properties_status

public static final SubLObject prob_strategic_properties_status(SubLObject object)

prob_strategic_properties_tactic_strategic_property_index

public static final SubLObject prob_strategic_properties_tactic_strategic_property_index(SubLObject object)

prob_strategic_properties_possible_tactic_count

public static final SubLObject prob_strategic_properties_possible_tactic_count(SubLObject object)

prob_strategic_properties_flags

public static final SubLObject prob_strategic_properties_flags(SubLObject object)

_csetf_prob_strategic_properties_status

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

_csetf_prob_strategic_properties_tactic_strategic_property_index

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

_csetf_prob_strategic_properties_possible_tactic_count

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

_csetf_prob_strategic_properties_flags

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

make_problem_strategic_properties

public static final SubLObject make_problem_strategic_properties(SubLObject arglist)

new_problem_strategic_properties

public static final SubLObject new_problem_strategic_properties()

problem_strategic_properties_int

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

Returns:: problem-strategic-properties-p or NIL if uninitialized

set_problem_strategic_properties

public static final SubLObject set_problem_strategic_properties(SubLObject problem,
                                                                SubLObject strategy,
                                                                SubLObject v_properties)

problem_strategic_properties

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

Initializes the problem-strategic-properties if they do not exist yet.

problem_strategic_properties_tactic_strategic_property_index

public static final SubLObject problem_strategic_properties_tactic_strategic_property_index(SubLObject problem,
                                                                                            SubLObject problem_strategic_properties)

Initializes the tactic-properties-vector if it does not exist yet.

problem_raw_strategic_status

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

problem_strategic_status

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

problem_strategic_provability_status

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

set_problem_raw_strategic_status

public static final SubLObject set_problem_raw_strategic_status(SubLObject problem,
                                                                SubLObject strategy,
                                                                SubLObject status)

strategically_unexamined_problem_p

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

strategically_examined_problem_p

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

strategically_possible_problem_p

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

strategically_pending_problem_p

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

strategically_finished_problem_p

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

strategically_no_good_problem_p

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

strategically_neutral_problem_p

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

strategically_good_problem_p

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

strategically_totally_no_good_problem_p

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

problem_strategic_flags

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

set_problem_strategic_flags

public static final SubLObject set_problem_strategic_flags(SubLObject problem,
                                                           SubLObject strategy,
                                                           SubLObject flags)

problem_thrown_away_cache_status

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

problem_thrown_away_cache_removal_status

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

problem_thrown_away_cache_transformation_status

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

problem_thrown_away_cache_new_root_status

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

problem_set_aside_cache_removal_status

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

problem_set_aside_cache_status

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

problem_set_aside_cache_transformation_status

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

set_problem_thrown_away

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

set_problem_not_thrown_away

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

set_problem_not_thrown_away_wrt_removal

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

set_problem_recompute_thrown_away_wrt_removal

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

set_problem_thrown_away_wrt_transformation

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

set_problem_not_thrown_away_wrt_transformation

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

set_problem_recompute_thrown_away_wrt_transformation

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

set_problem_not_thrown_away_wrt_new_root

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

set_problem_recompute_thrown_away_wrt_new_root

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

set_problem_set_aside

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

set_problem_not_set_aside

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

set_problem_not_set_aside_wrt_removal

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

set_problem_recompute_set_aside_wrt_removal

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

set_problem_not_set_aside_wrt_transformation

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

set_problem_recompute_set_aside_wrt_transformation

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

set_problem_recompute_set_aside_wrt_new_root

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

set_problem_thrown_away_wrt

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

set_problem_not_thrown_away_wrt

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

set_problem_not_set_aside_wrt

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

problem_thrown_away_cache_status_wrt_motivation

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

set_problem_recompute_thrown_away_wrt_all_motivations

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

set_problem_recompute_thrown_away_wrt_all_relevant_strategies_and_all_motivations

public static final SubLObject set_problem_recompute_thrown_away_wrt_all_relevant_strategies_and_all_motivations(SubLObject problem)

problem_set_aside_cache_status_wrt_motivation

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

set_problem_recompute_set_aside_wrt_all_motivations

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

tactic_strategic_properties_p

public static final SubLObject tactic_strategic_properties_p(SubLObject object)

tact_strategic_properties_preference_level

public static final SubLObject tact_strategic_properties_preference_level(SubLObject object)

tact_strategic_properties_productivity

public static final SubLObject tact_strategic_properties_productivity(SubLObject object)

tact_strategic_properties_flags

public static final SubLObject tact_strategic_properties_flags(SubLObject object)

_csetf_tact_strategic_properties_preference_level

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

_csetf_tact_strategic_properties_preference_level_justification

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

_csetf_tact_strategic_properties_productivity

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

_csetf_tact_strategic_properties_flags

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

make_tactic_strategic_properties

public static final SubLObject make_tactic_strategic_properties(SubLObject arglist)

new_tactic_strategic_properties

public static final SubLObject new_tactic_strategic_properties()

tactic_strategic_properties_int

public static final SubLObject tactic_strategic_properties_int(SubLObject tactic,
                                                               SubLObject strategy)

Returns:: tactic-strategic-properties-p or NIL if uninitialized

set_tactic_strategic_properties

public static final SubLObject set_tactic_strategic_properties(SubLObject tactic,
                                                               SubLObject strategy,
                                                               SubLObject v_properties)

tactic_strategic_properties

public static final SubLObject tactic_strategic_properties(SubLObject tactic,
                                                           SubLObject strategy)

Initializes the tactic-strategic-properties if they do not exist yet.

tactic_strategic_completeness

public static final SubLObject tactic_strategic_completeness(SubLObject tactic,
                                                             SubLObject strategic_context)

tactic_strategic_preference_level

public static final SubLObject tactic_strategic_preference_level(SubLObject tactic,
                                                                 SubLObject strategic_context)

tactic_strategic_preference_level_justification

public static final SubLObject tactic_strategic_preference_level_justification(SubLObject tactic,
                                                                               SubLObject strategic_context)

conjunctive_tactic_strategic_preference_level

public static final SubLObject conjunctive_tactic_strategic_preference_level(SubLObject tactic,
                                                                             SubLObject strategic_context)

conjunctive_tactic_strategic_preference_level_justification

public static final SubLObject conjunctive_tactic_strategic_preference_level_justification(SubLObject tactic,
                                                                                           SubLObject strategic_context)

tactic_strategic_productivity

public static final SubLObject tactic_strategic_productivity(SubLObject tactic,
                                                             SubLObject strategic_context)

tactic_strategically_preferredP

public static final SubLObject tactic_strategically_preferredP(SubLObject tactic,
                                                               SubLObject strategy)

set_tactic_strategic_preference_level

public static final SubLObject set_tactic_strategic_preference_level(SubLObject tactic,
                                                                     SubLObject strategy,
                                                                     SubLObject preference_level,
                                                                     SubLObject justification)

set_tactic_strategic_productivity

public static final SubLObject set_tactic_strategic_productivity(SubLObject tactic,
                                                                 SubLObject strategy,
                                                                 SubLObject productivity)

tactic_strategic_flags

public static final SubLObject tactic_strategic_flags(SubLObject tactic,
                                                      SubLObject strategy)

set_tactic_strategic_flags

public static final SubLObject set_tactic_strategic_flags(SubLObject tactic,
                                                          SubLObject strategy,
                                                          SubLObject flags)

tactic_thrown_away_cache_status

public static final SubLObject tactic_thrown_away_cache_status(SubLObject tactic,
                                                               SubLObject strategy)

tactic_thrown_away_cache_removal_status

public static final SubLObject tactic_thrown_away_cache_removal_status(SubLObject tactic,
                                                                       SubLObject strategy)

tactic_thrown_away_cache_transformation_status

public static final SubLObject tactic_thrown_away_cache_transformation_status(SubLObject tactic,
                                                                              SubLObject strategy)

tactic_thrown_away_cache_new_root_status

public static final SubLObject tactic_thrown_away_cache_new_root_status(SubLObject tactic,
                                                                        SubLObject strategy)

tactic_set_aside_cache_status

public static final SubLObject tactic_set_aside_cache_status(SubLObject tactic,
                                                             SubLObject strategy)

tactic_set_aside_cache_removal_status

public static final SubLObject tactic_set_aside_cache_removal_status(SubLObject tactic,
                                                                     SubLObject strategy)

tactic_set_aside_cache_transformation_status

public static final SubLObject tactic_set_aside_cache_transformation_status(SubLObject tactic,
                                                                            SubLObject strategy)

tactic_set_aside_cache_new_root_status

public static final SubLObject tactic_set_aside_cache_new_root_status(SubLObject tactic,
                                                                      SubLObject strategy)

set_tactic_thrown_away

public static final SubLObject set_tactic_thrown_away(SubLObject tactic,
                                                      SubLObject strategy)

set_tactic_not_thrown_away

public static final SubLObject set_tactic_not_thrown_away(SubLObject tactic,
                                                          SubLObject strategy)

set_tactic_thrown_away_wrt_removal

public static final SubLObject set_tactic_thrown_away_wrt_removal(SubLObject tactic,
                                                                  SubLObject strategy)

set_tactic_not_thrown_away_wrt_removal

public static final SubLObject set_tactic_not_thrown_away_wrt_removal(SubLObject tactic,
                                                                      SubLObject strategy)

set_tactic_recompute_thrown_away_wrt_removal

public static final SubLObject set_tactic_recompute_thrown_away_wrt_removal(SubLObject tactic,
                                                                            SubLObject strategy)

set_tactic_thrown_away_wrt_transformation

public static final SubLObject set_tactic_thrown_away_wrt_transformation(SubLObject tactic,
                                                                         SubLObject strategy)

set_tactic_not_thrown_away_wrt_transformation

public static final SubLObject set_tactic_not_thrown_away_wrt_transformation(SubLObject tactic,
                                                                             SubLObject strategy)

set_tactic_recompute_thrown_away_wrt_transformation

public static final SubLObject set_tactic_recompute_thrown_away_wrt_transformation(SubLObject tactic,
                                                                                   SubLObject strategy)

set_tactic_thrown_away_wrt_new_root

public static final SubLObject set_tactic_thrown_away_wrt_new_root(SubLObject tactic,
                                                                   SubLObject strategy)

set_tactic_not_thrown_away_wrt_new_root

public static final SubLObject set_tactic_not_thrown_away_wrt_new_root(SubLObject tactic,
                                                                       SubLObject strategy)

set_tactic_recompute_thrown_away_wrt_new_root

public static final SubLObject set_tactic_recompute_thrown_away_wrt_new_root(SubLObject tactic,
                                                                             SubLObject strategy)

set_tactic_not_set_aside

public static final SubLObject set_tactic_not_set_aside(SubLObject tactic,
                                                        SubLObject strategy)

set_tactic_not_set_aside_wrt_removal

public static final SubLObject set_tactic_not_set_aside_wrt_removal(SubLObject tactic,
                                                                    SubLObject strategy)

set_tactic_recompute_set_aside_wrt_removal

public static final SubLObject set_tactic_recompute_set_aside_wrt_removal(SubLObject tactic,
                                                                          SubLObject strategy)

set_tactic_set_aside_wrt_transformation

public static final SubLObject set_tactic_set_aside_wrt_transformation(SubLObject tactic,
                                                                       SubLObject strategy)

set_tactic_not_set_aside_wrt_transformation

public static final SubLObject set_tactic_not_set_aside_wrt_transformation(SubLObject tactic,
                                                                           SubLObject strategy)

set_tactic_recompute_set_aside_wrt_transformation

public static final SubLObject set_tactic_recompute_set_aside_wrt_transformation(SubLObject tactic,
                                                                                 SubLObject strategy)

set_tactic_not_set_aside_wrt_new_root

public static final SubLObject set_tactic_not_set_aside_wrt_new_root(SubLObject tactic,
                                                                     SubLObject strategy)

set_tactic_recompute_set_aside_wrt_new_root

public static final SubLObject set_tactic_recompute_set_aside_wrt_new_root(SubLObject tactic,
                                                                           SubLObject strategy)

set_tactic_thrown_away_wrt

public static final SubLObject set_tactic_thrown_away_wrt(SubLObject tactic,
                                                          SubLObject strategy,
                                                          SubLObject motivation)

set_tactic_not_thrown_away_wrt

public static final SubLObject set_tactic_not_thrown_away_wrt(SubLObject tactic,
                                                              SubLObject strategy,
                                                              SubLObject motivation)

set_tactic_set_aside_wrt

public static final SubLObject set_tactic_set_aside_wrt(SubLObject tactic,
                                                        SubLObject strategy,
                                                        SubLObject motivation)

set_tactic_not_set_aside_wrt

public static final SubLObject set_tactic_not_set_aside_wrt(SubLObject tactic,
                                                            SubLObject strategy,
                                                            SubLObject motivation)

tactic_thrown_away_cache_status_wrt_motivation

public static final SubLObject tactic_thrown_away_cache_status_wrt_motivation(SubLObject tactic,
                                                                              SubLObject strategy,
                                                                              SubLObject motivation)

set_tactic_recompute_thrown_away_wrt_all_motivations

public static final SubLObject set_tactic_recompute_thrown_away_wrt_all_motivations(SubLObject tactic,
                                                                                    SubLObject strategy)

set_problem_tactics_recompute_thrown_away_wrt_all_motivations

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

set_problem_tactics_recompute_thrown_away_wrt_all_relevant_strategies_and_all_motivations

public static final SubLObject set_problem_tactics_recompute_thrown_away_wrt_all_relevant_strategies_and_all_motivations(SubLObject problem)

tactic_set_aside_cache_status_wrt_motivation

public static final SubLObject tactic_set_aside_cache_status_wrt_motivation(SubLObject tactic,
                                                                            SubLObject strategy,
                                                                            SubLObject motivation)

set_tactic_recompute_set_aside_wrt_all_motivations

public static final SubLObject set_tactic_recompute_set_aside_wrt_all_motivations(SubLObject tactic,
                                                                                  SubLObject strategy)

set_tactic_recompute_set_aside_wrt_all_relevant_strategies_and_all_motivations

public static final SubLObject set_tactic_recompute_set_aside_wrt_all_relevant_strategies_and_all_motivations(SubLObject tactic)

problem_note_tactic_strategically_possible

public static final SubLObject problem_note_tactic_strategically_possible(SubLObject problem,
                                                                          SubLObject tactic,
                                                                          SubLObject strategy)

problem_note_tactic_not_strategically_possible

public static final SubLObject problem_note_tactic_not_strategically_possible(SubLObject problem,
                                                                              SubLObject tactic,
                                                                              SubLObject strategy)

declare_inference_datastructures_strategy_file

public static final SubLObject declare_inference_datastructures_strategy_file()

init_inference_datastructures_strategy_file

public static final SubLObject init_inference_datastructures_strategy_file()

setup_inference_datastructures_strategy_file

public static final SubLObject setup_inference_datastructures_strategy_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_datastructures_strategy

me

myName

$dtp_strategy$

$current_strategy_wrt_memoization$

$dtp_problem_strategic_properties$

$dtp_tactic_strategic_properties$

$sym0$STRATEGY

$sym1$STRATEGY_P

$list2

$list3

$list4

$list5

$sym6$PRINT_STRATEGY

$sym7$STRATEGY_PRINT_FUNCTION_TRAMPOLINE

$sym8$STRAT_SUID

$sym9$_CSETF_STRAT_SUID

$sym10$STRAT_INFERENCE

$sym11$_CSETF_STRAT_INFERENCE

$sym12$STRAT_RESULT_UNIQUENESS_CRITERION

$sym13$_CSETF_STRAT_RESULT_UNIQUENESS_CRITERION

$sym14$STRAT_ACTIVE_PROBLEMS

$sym15$_CSETF_STRAT_ACTIVE_PROBLEMS

$sym16$STRAT_MOTIVATED_PROBLEMS

$sym17$_CSETF_STRAT_MOTIVATED_PROBLEMS

$sym18$STRAT_SET_ASIDE_PROBLEMS

$sym19$_CSETF_STRAT_SET_ASIDE_PROBLEMS

$sym20$STRAT_SHOULD_RECONSIDER_SET_ASIDES_

$sym21$_CSETF_STRAT_SHOULD_RECONSIDER_SET_ASIDES_

$sym22$STRAT_PRODUCTIVITY_LIMIT

$sym23$_CSETF_STRAT_PRODUCTIVITY_LIMIT

$sym24$STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

$sym25$_CSETF_STRAT_REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

$sym26$STRAT_PROOF_SPEC

$sym27$_CSETF_STRAT_PROOF_SPEC

$sym28$STRAT_PROBLEM_PROOF_SPEC_INDEX

$sym29$_CSETF_STRAT_PROBLEM_PROOF_SPEC_INDEX

$sym30$STRAT_PROBLEM_STRATEGIC_INDEX

$sym31$_CSETF_STRAT_PROBLEM_STRATEGIC_INDEX

$sym32$STRAT_MEMOIZATION_STATE

$sym33$_CSETF_STRAT_MEMOIZATION_STATE

$sym34$STRAT_TYPE

$sym35$_CSETF_STRAT_TYPE

$sym36$STRAT_DATA

$sym37$_CSETF_STRAT_DATA

$kw38$SUID

$kw39$INFERENCE

$kw40$RESULT_UNIQUENESS_CRITERION

$kw41$ACTIVE_PROBLEMS

$kw42$MOTIVATED_PROBLEMS

$kw43$SET_ASIDE_PROBLEMS

$kw44$SHOULD_RECONSIDER_SET_ASIDES_

$kw45$PRODUCTIVITY_LIMIT

$kw46$REMOVAL_BACKTRACKING_PRODUCTIVITY_LIMIT

$kw47$PROOF_SPEC

$kw48$PROBLEM_PROOF_SPEC_INDEX

$kw49$PROBLEM_STRATEGIC_INDEX

$kw50$MEMOIZATION_STATE

$kw51$TYPE

$kw52$DATA

$str53$Invalid_slot__S_for_construction_

$kw54$FREE

$str55$_Invalid_STRATEGY__s_

$str56$__a_STRATEGY__a__a_for_inference_

$sym57$SXHASH_STRATEGY_METHOD

$sym58$STRATEGY_TYPE_P

$sym59$INFERENCE_P

$kw60$CONSTRUCTOR

$sym61$STRATEGY_ACTIVE_PROBLEMS

$sym62$DO_STRATEGY_ACTIVE_PROBLEMS

$sym63$STRATEGY_MOTIVATED_PROBLEMS

$sym64$DO_STRATEGY_MOTIVATED_PROBLEMS

$sym65$STRATEGY_SET_ASIDE_PROBLEMS

$sym66$DO_STRATEGY_SET_ASIDE_PROBLEMS

$sym67$RESULT_UNIQUENESS_CRITERION_P

$sym68$PRODUCTIVITY_P

$sym69$PROOF_SPEC_P

$list70

$list71

$kw72$ALLOW_OTHER_KEYS

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

$str56$__a_STRATEGYaa_for_inference_