com.cyc.cycjava.cycl.inference.harness
Class removal_tactician_uninterestingness
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.inference.harness.removal_tactician_uninterestingness
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class removal_tactician_uninterestingness
- extends SubLTranslatedFile
| Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols |
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER |
|
Method Summary |
static SubLObject |
controlling_strategy_allows_split_tactic_to_be_set_asideP(SubLObject strategy,
SubLObject split_tactic)
|
static SubLObject |
declare_removal_tactician_uninterestingness_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_removal_tactician_uninterestingness_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
removal_strategy_chooses_to_leave_problem_set_asideP(SubLObject strategy,
SubLObject set_aside_problem)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject problem_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_connected_conjunction_linkP(SubLObject strategy,
SubLObject link)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_join_ordered_tactic_due_to_conjunctive_removalP(SubLObject strategy,
SubLObject jo_tactic,
SubLObject problem_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that can be cached. |
static SubLObject |
removal_strategy_chooses_to_set_aside_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
removal_strategy_chooses_to_set_aside_problemP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_split_tacticP(SubLObject strategy,
SubLObject split_tactic)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject problem_already_consideredP,
SubLObject thrown_away_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that can be cached. |
static SubLObject |
removal_strategy_chooses_to_set_aside_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic)
|
static SubLObject |
removal_strategy_chooses_to_set_aside_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
removal_strategy_chooses_to_set_aside_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject problem_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_connected_conjunction_linkP(SubLObject strategy,
SubLObject link)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_lookahead_problemP(SubLObject strategy,
SubLObject lookahead_problem)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_meta_removal_tacticP(SubLObject strategy,
SubLObject meta_removal_tactic)
STRATEGY should throw away META-REMOVAL-TACTIC if it has a sibling tactic that is tactically possible but disallowed by STRATEGY,
because then the intended completeness of META-REMOVAL-TACTIC is inapplicable. |
static SubLObject |
removal_strategy_chooses_to_throw_away_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP)
The parts of throw-away reasoning that can be cached. |
static SubLObject |
removal_strategy_chooses_to_throw_away_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP)
The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
removal_strategy_chooses_to_throw_away_problemP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_sibling_split_tacticP(SubLObject strategy,
SubLObject split_tactic,
SubLObject sibling_tactic)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_split_tacticP(SubLObject strategy,
SubLObject split_tactic)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject problem_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
The parts of throw-away reasoning that can be cached. |
static SubLObject |
removal_strategy_chooses_to_throw_away_tactic_hl_moduleP(SubLObject strategy,
SubLObject tactic)
Return T iff STRATEGY throws away all tactics involving the HL module of TACTIC. |
static SubLObject |
removal_strategy_chooses_to_throw_away_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic)
|
static SubLObject |
removal_strategy_chooses_to_throw_away_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared. |
static SubLObject |
removal_strategy_chooses_to_throw_away_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_totally_set_aside_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
|
static SubLObject |
removal_strategy_chooses_to_totally_throw_away_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
|
static SubLObject |
removal_strategy_problem_thrown_awayP(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
removal_strategy_set_aside_non_continuable_implies_throw_away_problemP(SubLObject problem)
Whether :set-aside plus non-continuable should be strengthened to :throw-away for PROBLEM. |
static SubLObject |
removal_strategy_set_aside_non_continuable_implies_throw_away_tacticP(SubLObject tactic)
Whether :set-aside plus non-continuable should be strengthened to :throw-away for TACTIC. |
static SubLObject |
removal_strategy_set_aside_problems_to_reconsider(SubLObject strategy)
|
static SubLObject |
removal_strategy_tactic_set_asideP(SubLObject strategy,
SubLObject tactic)
|
static SubLObject |
removal_strategy_tactic_thrown_awayP(SubLObject strategy,
SubLObject tactic)
|
static SubLObject |
removal_strategy_throw_away_uninteresting_set_asides_int(SubLObject strategy)
|
static SubLObject |
removal_strategy_throw_away_uninteresting_set_asides(SubLObject strategy)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_removal_tactician_uninterestingness_file()
|
static SubLObject |
why_removal_strategy_chooses_to_ignore_problem(SubLObject strategy,
SubLObject problem)
|
static SubLObject |
why_removal_strategy_chooses_to_ignore_strategem(SubLObject strategy,
SubLObject strategem)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$removal_strategy_weaken_split_tactic_set_aside_policyP$
public static SubLSymbol $removal_strategy_weaken_split_tactic_set_aside_policyP$
- Temporary control parameter;
When non-nil, the set-aside policy for split tactics is weakened to be more conservative.
$kw0$PROBLEM_HAS_NO_ACTIVATIBLE_REMOVAL_STRATEGEMS
public static final SubLSymbol $kw0$PROBLEM_HAS_NO_ACTIVATIBLE_REMOVAL_STRATEGEMS
$kw1$PROBLEM_ALREADY_THROWN_AWAY
public static final SubLSymbol $kw1$PROBLEM_ALREADY_THROWN_AWAY
$kw2$ALL_TACTICS_THROWN_AWAY
public static final SubLSymbol $kw2$ALL_TACTICS_THROWN_AWAY
$kw3$PROBLEM_STRATEGY_NOT_CONTINUABLE
public static final SubLSymbol $kw3$PROBLEM_STRATEGY_NOT_CONTINUABLE
$kw4$TACTIC_ALREADY_THROWN_AWAY
public static final SubLSymbol $kw4$TACTIC_ALREADY_THROWN_AWAY
$kw5$TACTIC_HL_MODULE_THROWN_AWAY
public static final SubLSymbol $kw5$TACTIC_HL_MODULE_THROWN_AWAY
$kw6$META_REMOVAL_TACTIC_THROWN_AWAY
public static final SubLSymbol $kw6$META_REMOVAL_TACTIC_THROWN_AWAY
$kw7$TACTIC_THROWN_AWAY_BECAUSE_PROBLEM_THROWN_AWAY
public static final SubLSymbol $kw7$TACTIC_THROWN_AWAY_BECAUSE_PROBLEM_THROWN_AWAY
$str8$tactic_is_impossible
public static final SubLString $str8$tactic_is_impossible
$kw9$TACTIC_THROWN_AWAY_BECAUSE_LOOKAHEAD_PROBLEM_THROWN_AWAY
public static final SubLSymbol $kw9$TACTIC_THROWN_AWAY_BECAUSE_LOOKAHEAD_PROBLEM_THROWN_AWAY
$kw10$TACTIC_STRATEGY_NOT_CONTINUABLE
public static final SubLSymbol $kw10$TACTIC_STRATEGY_NOT_CONTINUABLE
$kw11$TACTIC_THROWN_AWAY_BECAUSE_COMPLETE_SIBLING_CONJUNCTIVE_REMOVAL
public static final SubLSymbol $kw11$TACTIC_THROWN_AWAY_BECAUSE_COMPLETE_SIBLING_CONJUNCTIVE_REMOVAL
$str12$tactic_is_disallowed
public static final SubLString $str12$tactic_is_disallowed
$kw13$LINK_SUPPORTED_PROBLEM_THROWN_AWAY
public static final SubLSymbol $kw13$LINK_SUPPORTED_PROBLEM_THROWN_AWAY
$kw14$PROBLEM_ALREADY_SET_ASIDE
public static final SubLSymbol $kw14$PROBLEM_ALREADY_SET_ASIDE
$kw15$ALL_TACTICS_SET_ASIDE
public static final SubLSymbol $kw15$ALL_TACTICS_SET_ASIDE
$kw16$TACTIC_ALREADY_SET_ASIDE
public static final SubLSymbol $kw16$TACTIC_ALREADY_SET_ASIDE
$kw17$TACTIC_SET_ASIDE_BECAUSE_PROBLEM_SET_ASIDE
public static final SubLSymbol $kw17$TACTIC_SET_ASIDE_BECAUSE_PROBLEM_SET_ASIDE
$kw18$TACTIC_SET_ASIDE_BECAUSE_LOOKAHEAD_PROBLEM_SET_ASIDE
public static final SubLSymbol $kw18$TACTIC_SET_ASIDE_BECAUSE_LOOKAHEAD_PROBLEM_SET_ASIDE
$kw19$JOIN_ORDERED_TACTIC_LEADS_TO_SET_ASIDE_CONJUNCTIVE_REMOVALS
public static final SubLSymbol $kw19$JOIN_ORDERED_TACTIC_LEADS_TO_SET_ASIDE_CONJUNCTIVE_REMOVALS
$kw20$LINK_SUPPORTED_PROBLEM_SET_ASIDE
public static final SubLSymbol $kw20$LINK_SUPPORTED_PROBLEM_SET_ASIDE
$kw21$THROW_AWAY
public static final SubLSymbol $kw21$THROW_AWAY
$kw22$SET_ASIDE
public static final SubLSymbol $kw22$SET_ASIDE
$kw23$IRRELEVANT
public static final SubLSymbol $kw23$IRRELEVANT
$kw24$INVALID
public static final SubLSymbol $kw24$INVALID
$kw25$REMOVAL_CONJUNCTIVE
public static final SubLSymbol $kw25$REMOVAL_CONJUNCTIVE
$kw26$SUBSTRATEGY_TOTALLY_THROW_AWAY_TACTIC
public static final SubLSymbol $kw26$SUBSTRATEGY_TOTALLY_THROW_AWAY_TACTIC
$sym27$REMOVAL_STRATEGY_PREFERRED_BACKCHAIN_REQUIRED_JOIN_ORDERED_TACTIC
public static final SubLSymbol $sym27$REMOVAL_STRATEGY_PREFERRED_BACKCHAIN_REQUIRED_JOIN_ORDERED_TACTIC
$kw28$UNDETERMINED
public static final SubLSymbol $kw28$UNDETERMINED
$kw29$POSITIVE_INFINITY
public static final SubLSymbol $kw29$POSITIVE_INFINITY
$kw30$JOIN_ORDERED
public static final SubLSymbol $kw30$JOIN_ORDERED
$kw31$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw31$_MEMOIZED_ITEM_NOT_FOUND_
$list32
public static final SubLList $list32
$sym33$REMOVAL_STRATEGY_P
public static final SubLSymbol $sym33$REMOVAL_STRATEGY_P
$sym34$PROBLEM_P
public static final SubLSymbol $sym34$PROBLEM_P
$kw35$SPLIT
public static final SubLSymbol $kw35$SPLIT
$kw36$SPLIT_TACTIC_THROWN_AWAY_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
public static final SubLSymbol $kw36$SPLIT_TACTIC_THROWN_AWAY_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
$kw37$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_SET_ASIDE
public static final SubLSymbol $kw37$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_SET_ASIDE
$kw38$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
public static final SubLSymbol $kw38$SPLIT_TACTIC_SET_ASIDE_BECAUSE_SIBLING_TACTIC_THROWN_AWAY
$kw39$SUBSTRATEGY_ALLOW_SPLIT_TACTIC_SET_ASIDE_WRT_REMOVAL
public static final SubLSymbol $kw39$SUBSTRATEGY_ALLOW_SPLIT_TACTIC_SET_ASIDE_WRT_REMOVAL
$kw40$GENERALIZED_REMOVAL
public static final SubLSymbol $kw40$GENERALIZED_REMOVAL
$kw41$POSSIBLE
public static final SubLSymbol $kw41$POSSIBLE
$sym42$_
public static final SubLSymbol $sym42$_
$sym43$PROBLEM_SUID
public static final SubLSymbol $sym43$PROBLEM_SUID
removal_strategy_set_aside_non_continuable_implies_throw_away_tacticP
public static final SubLObject removal_strategy_set_aside_non_continuable_implies_throw_away_tacticP(SubLObject tactic)
- Whether :set-aside plus non-continuable should be strengthened to :throw-away for TACTIC.
This is usually T except for special circumstances, e.g. split tactic removal lookahead when transformation is allowed.
removal_strategy_set_aside_non_continuable_implies_throw_away_problemP
public static final SubLObject removal_strategy_set_aside_non_continuable_implies_throw_away_problemP(SubLObject problem)
- Whether :set-aside plus non-continuable should be strengthened to :throw-away for PROBLEM.
This is usually T except for special circumstances, e.g. if PROBLEM is a split problem and transformation is allowed.
removal_strategy_chooses_to_throw_away_problemP
public static final SubLObject removal_strategy_chooses_to_throw_away_problemP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP)
- Returns:
- booleanp; whether STRATEGY, after careful deliberation, chooses to throw away PROBLEM wrt removal.
removal_strategy_chooses_to_throw_away_problem_uncacheableP
public static final SubLObject removal_strategy_chooses_to_throw_away_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP)
- The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
removal_strategy_chooses_to_throw_away_problem_cacheableP
public static final SubLObject removal_strategy_chooses_to_throw_away_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP)
- The parts of throw-away reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
removal_strategy_chooses_to_throw_away_strategemP
public static final SubLObject removal_strategy_chooses_to_throw_away_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject problem_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the problem of STRATEGEM
might be thrown away wrt removal. If T, the analysis will not be redone.
removal_strategy_chooses_to_throw_away_tacticP
public static final SubLObject removal_strategy_chooses_to_throw_away_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the problem of TACTIC
might be thrown away wrt removal.. If T, the analysis will not be redone.
removal_strategy_chooses_to_throw_away_tactic_uncacheableP
public static final SubLObject removal_strategy_chooses_to_throw_away_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
- The parts of throw-away reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
removal_strategy_chooses_to_throw_away_tactic_cacheableP
public static final SubLObject removal_strategy_chooses_to_throw_away_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
- The parts of throw-away reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
removal_strategy_chooses_to_set_aside_problemP
public static final SubLObject removal_strategy_chooses_to_set_aside_problemP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
- Returns:
- booleanp; whether STRATEGY, after careful deliberation, chooses to set aside PROBLEM wrt removal.
removal_strategy_chooses_to_set_aside_problem_uncacheableP
public static final SubLObject removal_strategy_chooses_to_set_aside_problem_uncacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
removal_strategy_chooses_to_set_aside_problem_cacheableP
public static final SubLObject removal_strategy_chooses_to_set_aside_problem_cacheableP(SubLObject strategy,
SubLObject problem,
SubLObject consider_all_tacticsP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
removal_strategy_chooses_to_set_aside_strategemP
public static final SubLObject removal_strategy_chooses_to_set_aside_strategemP(SubLObject strategy,
SubLObject strategem,
SubLObject problem_already_consideredP,
SubLObject thrown_away_already_consideredP)
removal_strategy_chooses_to_set_aside_tacticP
public static final SubLObject removal_strategy_chooses_to_set_aside_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
- Parameters:
PROBLEM-ALREADY-CONSIDERED?; - whether the caller has already considered that the problem of TACTIC
might be set aside wrt removal. If T, the analysis will not be redone.THROWN-AWAY-ALREADY-CONSIDERED?; - don't redo work if this is being called from removal-strategy-chooses-to-throw-away-tactic?
removal_strategy_chooses_to_set_aside_tactic_uncacheableP
public static final SubLObject removal_strategy_chooses_to_set_aside_tactic_uncacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that must always be recomputed and cannot be cached
because it's too hard to figure out when the cache needs to be cleared.
Or perhaps because they're really cheap to recompute.
removal_strategy_chooses_to_set_aside_tactic_cacheableP
public static final SubLObject removal_strategy_chooses_to_set_aside_tactic_cacheableP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP,
SubLObject thrown_away_already_consideredP)
- The parts of set-aside reasoning that can be cached.
The comments before each clause in the pcond indicate the conditions when the cache for TACTIC should be cleared.
why_removal_strategy_chooses_to_ignore_problem
public static final SubLObject why_removal_strategy_chooses_to_ignore_problem(SubLObject strategy,
SubLObject problem)
- Returns:
- strategic-uninterestingness-reason-p
why_removal_strategy_chooses_to_ignore_strategem
public static final SubLObject why_removal_strategy_chooses_to_ignore_strategem(SubLObject strategy,
SubLObject strategem)
- Returns:
- strategic-uninterestingness-reason-p
removal_strategy_chooses_to_throw_away_all_tacticsP
public static final SubLObject removal_strategy_chooses_to_throw_away_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject problem_already_consideredP)
removal_strategy_chooses_to_set_aside_all_tacticsP
public static final SubLObject removal_strategy_chooses_to_set_aside_all_tacticsP(SubLObject strategy,
SubLObject problem,
SubLObject problem_already_consideredP)
removal_strategy_chooses_to_set_aside_join_ordered_tactic_due_to_conjunctive_removalP
public static final SubLObject removal_strategy_chooses_to_set_aside_join_ordered_tactic_due_to_conjunctive_removalP(SubLObject strategy,
SubLObject jo_tactic,
SubLObject problem_already_consideredP)
removal_strategy_chooses_to_throw_away_connected_conjunction_linkP
public static final SubLObject removal_strategy_chooses_to_throw_away_connected_conjunction_linkP(SubLObject strategy,
SubLObject link)
removal_strategy_chooses_to_set_aside_connected_conjunction_linkP
public static final SubLObject removal_strategy_chooses_to_set_aside_connected_conjunction_linkP(SubLObject strategy,
SubLObject link)
removal_strategy_chooses_to_totally_set_aside_tacticP
public static final SubLObject removal_strategy_chooses_to_totally_set_aside_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
removal_strategy_chooses_to_totally_throw_away_tacticP
public static final SubLObject removal_strategy_chooses_to_totally_throw_away_tacticP(SubLObject strategy,
SubLObject tactic,
SubLObject problem_already_consideredP,
SubLObject siblings_already_consideredP)
removal_strategy_chooses_to_throw_away_tactic_hl_moduleP
public static final SubLObject removal_strategy_chooses_to_throw_away_tactic_hl_moduleP(SubLObject strategy,
SubLObject tactic)
- Return T iff STRATEGY throws away all tactics involving the HL module of TACTIC.
removal_strategy_problem_thrown_awayP
public static final SubLObject removal_strategy_problem_thrown_awayP(SubLObject strategy,
SubLObject problem)
- Returns:
- booleanp; whether PROBLEM has motivation according to STRATEGY,
but is no longer active or set-aside.
removal_strategy_tactic_thrown_awayP
public static final SubLObject removal_strategy_tactic_thrown_awayP(SubLObject strategy,
SubLObject tactic)
removal_strategy_tactic_set_asideP
public static final SubLObject removal_strategy_tactic_set_asideP(SubLObject strategy,
SubLObject tactic)
removal_strategy_chooses_to_throw_away_tactic_lookahead_problemP
public static final SubLObject removal_strategy_chooses_to_throw_away_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic)
removal_strategy_chooses_to_throw_away_lookahead_problemP
public static final SubLObject removal_strategy_chooses_to_throw_away_lookahead_problemP(SubLObject strategy,
SubLObject lookahead_problem)
removal_strategy_chooses_to_throw_away_split_tacticP
public static final SubLObject removal_strategy_chooses_to_throw_away_split_tacticP(SubLObject strategy,
SubLObject split_tactic)
removal_strategy_chooses_to_throw_away_sibling_split_tacticP
public static final SubLObject removal_strategy_chooses_to_throw_away_sibling_split_tacticP(SubLObject strategy,
SubLObject split_tactic,
SubLObject sibling_tactic)
removal_strategy_chooses_to_set_aside_tactic_lookahead_problemP
public static final SubLObject removal_strategy_chooses_to_set_aside_tactic_lookahead_problemP(SubLObject strategy,
SubLObject logical_tactic)
removal_strategy_chooses_to_set_aside_split_tacticP
public static final SubLObject removal_strategy_chooses_to_set_aside_split_tacticP(SubLObject strategy,
SubLObject split_tactic)
controlling_strategy_allows_split_tactic_to_be_set_asideP
public static final SubLObject controlling_strategy_allows_split_tactic_to_be_set_asideP(SubLObject strategy,
SubLObject split_tactic)
removal_strategy_chooses_to_throw_away_meta_removal_tacticP
public static final SubLObject removal_strategy_chooses_to_throw_away_meta_removal_tacticP(SubLObject strategy,
SubLObject meta_removal_tactic)
- STRATEGY should throw away META-REMOVAL-TACTIC if it has a sibling tactic that is tactically possible but disallowed by STRATEGY,
because then the intended completeness of META-REMOVAL-TACTIC is inapplicable.
removal_strategy_throw_away_uninteresting_set_asides
public static final SubLObject removal_strategy_throw_away_uninteresting_set_asides(SubLObject strategy)
removal_strategy_throw_away_uninteresting_set_asides_int
public static final SubLObject removal_strategy_throw_away_uninteresting_set_asides_int(SubLObject strategy)
removal_strategy_chooses_to_leave_problem_set_asideP
public static final SubLObject removal_strategy_chooses_to_leave_problem_set_asideP(SubLObject strategy,
SubLObject set_aside_problem)
removal_strategy_set_aside_problems_to_reconsider
public static final SubLObject removal_strategy_set_aside_problems_to_reconsider(SubLObject strategy)
declare_removal_tactician_uninterestingness_file
public static final SubLObject declare_removal_tactician_uninterestingness_file()
init_removal_tactician_uninterestingness_file
public static final SubLObject init_removal_tactician_uninterestingness_file()
setup_removal_tactician_uninterestingness_file
public static final SubLObject setup_removal_tactician_uninterestingness_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.