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 removal_tactician_datastructures

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.inference.harness.removal_tactician_datastructures
All Implemented Interfaces:
CommonSymbols, SubLFile
public final class removal_tactician_datastructures
extends SubLTranslatedFile

Nested Class Summary
static class removal_tactician_datastructures.$removal_strategy_data_native
           
static class removal_tactician_datastructures.$removal_strategy_data_p$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $dtp_removal_strategy_data$
           
static SubLSymbol $kw20$LINK_HEADS_MOTIVATED
           
static SubLSymbol $kw21$PROBLEMS_PENDING
           
static SubLSymbol $kw22$REMOVAL_STRATEGEM_INDEX
           
static SubLSymbol $kw23$PROBLEM_TOTAL_STRATEGEMS_ACTIVE
           
static SubLSymbol $kw24$PROBLEM_STRATEGEMS_SET_ASIDE
           
static SubLSymbol $kw25$PROBLEM_STRATEGEMS_THROWN_AWAY
           
static SubLList $list2
           
static SubLList $list3
           
static SubLList $list4
           
static SubLList $list5
           
static SubLString $str26$Invalid_slot__S_for_construction_
           
static SubLSymbol $sym0$REMOVAL_STRATEGY_DATA
           
static SubLSymbol $sym1$REMOVAL_STRATEGY_DATA_P
           
static SubLSymbol $sym10$REM_STRAT_DATA_PROBLEMS_PENDING
           
static SubLSymbol $sym11$_CSETF_REM_STRAT_DATA_PROBLEMS_PENDING
           
static SubLSymbol $sym12$REM_STRAT_DATA_REMOVAL_STRATEGEM_INDEX
           
static SubLSymbol $sym13$_CSETF_REM_STRAT_DATA_REMOVAL_STRATEGEM_INDEX
           
static SubLSymbol $sym14$REM_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE
           
static SubLSymbol $sym15$_CSETF_REM_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE
           
static SubLSymbol $sym16$REM_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE
           
static SubLSymbol $sym17$_CSETF_REM_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE
           
static SubLSymbol $sym18$REM_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY
           
static SubLSymbol $sym19$_CSETF_REM_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY
           
static SubLSymbol $sym27$REMOVAL_STRATEGY_P
           
static SubLSymbol $sym28$MOTIVATION_STRATEGEM_P
           
static SubLSymbol $sym29$CONNECTED_CONJUNCTION_LINK_P
           
static SubLSymbol $sym30$PROBLEM_P
           
static SubLSymbol $sym31$STRATEGEM_P
           
static SubLSymbol $sym32$REMOVAL_STRATEGEM_P
           
static SubLSymbol $sym6$DEFAULT_STRUCT_PRINT_FUNCTION
           
static SubLSymbol $sym7$REMOVAL_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE
           
static SubLSymbol $sym8$REM_STRAT_DATA_LINK_HEADS_MOTIVATED
           
static SubLSymbol $sym9$_CSETF_REM_STRAT_DATA_LINK_HEADS_MOTIVATED
           
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
 
Method Summary
static SubLObject _csetf_rem_strat_data_link_heads_motivated(SubLObject object, SubLObject value)
           
static SubLObject _csetf_rem_strat_data_problem_strategems_set_aside(SubLObject object, SubLObject value)
           
static SubLObject _csetf_rem_strat_data_problem_strategems_thrown_away(SubLObject object, SubLObject value)
           
static SubLObject _csetf_rem_strat_data_problem_total_strategems_active(SubLObject object, SubLObject value)
           
static SubLObject _csetf_rem_strat_data_problems_pending(SubLObject object, SubLObject value)
           
static SubLObject _csetf_rem_strat_data_removal_strategem_index(SubLObject object, SubLObject value)
           
static SubLObject declare_removal_tactician_datastructures_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_removal_tactician_datastructures_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject make_removal_strategy_data(SubLObject arglist)
           
static SubLObject new_removal_strategy_data(SubLObject removal_index)
           
static SubLObject rem_strat_data_link_heads_motivated(SubLObject object)
           
static SubLObject rem_strat_data_problem_strategems_set_aside(SubLObject object)
           
static SubLObject rem_strat_data_problem_strategems_thrown_away(SubLObject object)
           
static SubLObject rem_strat_data_problem_total_strategems_active(SubLObject object)
           
static SubLObject rem_strat_data_problems_pending(SubLObject object)
           
static SubLObject rem_strat_data_removal_strategem_index(SubLObject object)
           
static SubLObject removal_strategy_activate_strategem(SubLObject strategy, SubLObject strategem)
          note that STRATEGEM is in STRATEGY's R-box
static SubLObject removal_strategy_link_head_motivatedP(SubLObject strategy, SubLObject link_head)
          Return T iff removal motivation should propagate through LINK-HEAD in STRATEGY
static SubLObject removal_strategy_link_heads_motivated(SubLObject strategy)
           
static SubLObject removal_strategy_no_strategems_activeP(SubLObject strategy)
           
static SubLObject removal_strategy_note_link_head_motivated(SubLObject strategy, SubLObject link_head)
          note R
static SubLObject removal_strategy_note_problem_motivated(SubLObject strategy, SubLObject problem)
          note R
static SubLObject removal_strategy_note_problem_pending(SubLObject strategy, SubLObject problem)
           
static SubLObject removal_strategy_note_problem_unpending(SubLObject strategy, SubLObject problem)
           
static SubLObject removal_strategy_note_strategem_set_aside(SubLObject strategy, SubLObject strategem)
           
static SubLObject removal_strategy_note_strategem_thrown_away(SubLObject strategy, SubLObject strategem)
           
static SubLObject removal_strategy_peek_strategem(SubLObject strategy)
           
static SubLObject removal_strategy_pop_strategem(SubLObject strategy)
           
static SubLObject removal_strategy_problem_activeP(SubLObject strategy, SubLObject problem)
           
static SubLObject removal_strategy_problem_pendingP(SubLObject strategy, SubLObject problem)
          Return T iff PROBLEM is pending in STRATEGY
static SubLObject removal_strategy_problem_set_asideP(SubLObject strategy, SubLObject problem)
           
static SubLObject removal_strategy_problem_strategems_set_aside(SubLObject strategy)
           
static SubLObject removal_strategy_problem_strategems_thrown_away(SubLObject strategy)
           
static SubLObject removal_strategy_problem_total_strategems_active(SubLObject strategy)
           
static SubLObject removal_strategy_problems_pending(SubLObject strategy)
           
static SubLObject removal_strategy_removal_backtracking_productivity_limit(SubLObject strategy)
           
static SubLObject removal_strategy_strategem_index(SubLObject strategy)
           
static SubLObject removal_strategy_strategem_set_asideP(SubLObject strategy, SubLObject strategem)
           
static SubLObject removal_strategy_strategem_thrown_awayP(SubLObject strategy, SubLObject strategem)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_removal_tactician_datastructures_file()
           
 
Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
extractFunctionNamed
 
Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName
See Also:
Constant Field Values

$dtp_removal_strategy_data$

public static SubLSymbol $dtp_removal_strategy_data$

$sym0$REMOVAL_STRATEGY_DATA

public static final SubLSymbol $sym0$REMOVAL_STRATEGY_DATA

$sym1$REMOVAL_STRATEGY_DATA_P

public static final SubLSymbol $sym1$REMOVAL_STRATEGY_DATA_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$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym6$DEFAULT_STRUCT_PRINT_FUNCTION

$sym7$REMOVAL_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$REMOVAL_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym8$REM_STRAT_DATA_LINK_HEADS_MOTIVATED

public static final SubLSymbol $sym8$REM_STRAT_DATA_LINK_HEADS_MOTIVATED

$sym9$_CSETF_REM_STRAT_DATA_LINK_HEADS_MOTIVATED

public static final SubLSymbol $sym9$_CSETF_REM_STRAT_DATA_LINK_HEADS_MOTIVATED

$sym10$REM_STRAT_DATA_PROBLEMS_PENDING

public static final SubLSymbol $sym10$REM_STRAT_DATA_PROBLEMS_PENDING

$sym11$_CSETF_REM_STRAT_DATA_PROBLEMS_PENDING

public static final SubLSymbol $sym11$_CSETF_REM_STRAT_DATA_PROBLEMS_PENDING

$sym12$REM_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

public static final SubLSymbol $sym12$REM_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

$sym13$_CSETF_REM_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

public static final SubLSymbol $sym13$_CSETF_REM_STRAT_DATA_REMOVAL_STRATEGEM_INDEX

$sym14$REM_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

public static final SubLSymbol $sym14$REM_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

$sym15$_CSETF_REM_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

public static final SubLSymbol $sym15$_CSETF_REM_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

$sym16$REM_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

public static final SubLSymbol $sym16$REM_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

$sym17$_CSETF_REM_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

public static final SubLSymbol $sym17$_CSETF_REM_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

$sym18$REM_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

public static final SubLSymbol $sym18$REM_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

$sym19$_CSETF_REM_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

public static final SubLSymbol $sym19$_CSETF_REM_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

$kw20$LINK_HEADS_MOTIVATED

public static final SubLSymbol $kw20$LINK_HEADS_MOTIVATED

$kw21$PROBLEMS_PENDING

public static final SubLSymbol $kw21$PROBLEMS_PENDING

$kw22$REMOVAL_STRATEGEM_INDEX

public static final SubLSymbol $kw22$REMOVAL_STRATEGEM_INDEX

$kw23$PROBLEM_TOTAL_STRATEGEMS_ACTIVE

public static final SubLSymbol $kw23$PROBLEM_TOTAL_STRATEGEMS_ACTIVE

$kw24$PROBLEM_STRATEGEMS_SET_ASIDE

public static final SubLSymbol $kw24$PROBLEM_STRATEGEMS_SET_ASIDE

$kw25$PROBLEM_STRATEGEMS_THROWN_AWAY

public static final SubLSymbol $kw25$PROBLEM_STRATEGEMS_THROWN_AWAY

$str26$Invalid_slot__S_for_construction_

public static final SubLString $str26$Invalid_slot__S_for_construction_

$sym27$REMOVAL_STRATEGY_P

public static final SubLSymbol $sym27$REMOVAL_STRATEGY_P

$sym28$MOTIVATION_STRATEGEM_P

public static final SubLSymbol $sym28$MOTIVATION_STRATEGEM_P

$sym29$CONNECTED_CONJUNCTION_LINK_P

public static final SubLSymbol $sym29$CONNECTED_CONJUNCTION_LINK_P

$sym30$PROBLEM_P

public static final SubLSymbol $sym30$PROBLEM_P

$sym31$STRATEGEM_P

public static final SubLSymbol $sym31$STRATEGEM_P

$sym32$REMOVAL_STRATEGEM_P

public static final SubLSymbol $sym32$REMOVAL_STRATEGEM_P
Method Detail

rem_strat_data_link_heads_motivated

public static final SubLObject rem_strat_data_link_heads_motivated(SubLObject object)

rem_strat_data_problems_pending

public static final SubLObject rem_strat_data_problems_pending(SubLObject object)

rem_strat_data_removal_strategem_index

public static final SubLObject rem_strat_data_removal_strategem_index(SubLObject object)

rem_strat_data_problem_total_strategems_active

public static final SubLObject rem_strat_data_problem_total_strategems_active(SubLObject object)

rem_strat_data_problem_strategems_set_aside

public static final SubLObject rem_strat_data_problem_strategems_set_aside(SubLObject object)

rem_strat_data_problem_strategems_thrown_away

public static final SubLObject rem_strat_data_problem_strategems_thrown_away(SubLObject object)

_csetf_rem_strat_data_link_heads_motivated

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

_csetf_rem_strat_data_problems_pending

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

_csetf_rem_strat_data_removal_strategem_index

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

_csetf_rem_strat_data_problem_total_strategems_active

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

_csetf_rem_strat_data_problem_strategems_set_aside

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

_csetf_rem_strat_data_problem_strategems_thrown_away

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

make_removal_strategy_data

public static final SubLObject make_removal_strategy_data(SubLObject arglist)

new_removal_strategy_data

public static final SubLObject new_removal_strategy_data(SubLObject removal_index)

removal_strategy_link_heads_motivated

public static final SubLObject removal_strategy_link_heads_motivated(SubLObject strategy)
Returns:
set-p of motivation-strategem-p

removal_strategy_problems_pending

public static final SubLObject removal_strategy_problems_pending(SubLObject strategy)
Returns:
set-p of problem-p

removal_strategy_strategem_index

public static final SubLObject removal_strategy_strategem_index(SubLObject strategy)

removal_strategy_problem_total_strategems_active

public static final SubLObject removal_strategy_problem_total_strategems_active(SubLObject strategy)
Returns:
#'EQ dictionary of problem-p -> non-negative-integer-p

removal_strategy_problem_strategems_set_aside

public static final SubLObject removal_strategy_problem_strategems_set_aside(SubLObject strategy)
Returns:
#'EQ dictionary of problem-p -> #'EQ set of strategem-p

removal_strategy_problem_strategems_thrown_away

public static final SubLObject removal_strategy_problem_strategems_thrown_away(SubLObject strategy)
Returns:
#'EQ dictionary of problem-p -> #'EQ set of strategem-p

removal_strategy_link_head_motivatedP

public static final SubLObject removal_strategy_link_head_motivatedP(SubLObject strategy,
                                                                     SubLObject link_head)
Return T iff removal motivation should propagate through LINK-HEAD in STRATEGY

removal_strategy_problem_pendingP

public static final SubLObject removal_strategy_problem_pendingP(SubLObject strategy,
                                                                 SubLObject problem)
Return T iff PROBLEM is pending in STRATEGY

removal_strategy_problem_activeP

public static final SubLObject removal_strategy_problem_activeP(SubLObject strategy,
                                                                SubLObject problem)
Returns:
booleanp; whether PROBLEM is actively being considered for removal by STRATEGY.

removal_strategy_problem_set_asideP

public static final SubLObject removal_strategy_problem_set_asideP(SubLObject strategy,
                                                                   SubLObject problem)
Returns:
booleanp; whether PROBLEM has been set aside for later removal consideration by STRATEGY.

removal_strategy_strategem_set_asideP

public static final SubLObject removal_strategy_strategem_set_asideP(SubLObject strategy,
                                                                     SubLObject strategem)
Returns:
booleanp; whether STRATEGEM has been set aside for later removal consideration by STRATEGY.

removal_strategy_strategem_thrown_awayP

public static final SubLObject removal_strategy_strategem_thrown_awayP(SubLObject strategy,
                                                                       SubLObject strategem)
Returns:
booleanp; whether STRATEGEM has been thrown away by STRATEGY.

removal_strategy_removal_backtracking_productivity_limit

public static final SubLObject removal_strategy_removal_backtracking_productivity_limit(SubLObject strategy)
Returns:
nil or productivity-p

removal_strategy_peek_strategem

public static final SubLObject removal_strategy_peek_strategem(SubLObject strategy)
Returns:
nil or removal-strategem-p

removal_strategy_note_problem_motivated

public static final SubLObject removal_strategy_note_problem_motivated(SubLObject strategy,
                                                                       SubLObject problem)
note R

removal_strategy_note_link_head_motivated

public static final SubLObject removal_strategy_note_link_head_motivated(SubLObject strategy,
                                                                         SubLObject link_head)
note R

removal_strategy_note_problem_pending

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

removal_strategy_note_problem_unpending

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

removal_strategy_activate_strategem

public static final SubLObject removal_strategy_activate_strategem(SubLObject strategy,
                                                                   SubLObject strategem)
note that STRATEGEM is in STRATEGY's R-box

removal_strategy_pop_strategem

public static final SubLObject removal_strategy_pop_strategem(SubLObject strategy)

removal_strategy_note_strategem_set_aside

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

removal_strategy_note_strategem_thrown_away

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

removal_strategy_no_strategems_activeP

public static final SubLObject removal_strategy_no_strategems_activeP(SubLObject strategy)

declare_removal_tactician_datastructures_file

public static final SubLObject declare_removal_tactician_datastructures_file()

init_removal_tactician_datastructures_file

public static final SubLObject init_removal_tactician_datastructures_file()

setup_removal_tactician_datastructures_file

public static final SubLObject setup_removal_tactician_datastructures_file()

declareFunctions

public void declareFunctions()
Description copied from interface: SubLFile
Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()
Description copied from interface: SubLFile
Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()
Description copied from interface: SubLFile
Runs all top-level forms in order. Like CRTL setup.

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD