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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_tactician_execution
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw1$UNINTERESTING
static SubLSymbol	$kw10$INTERESTING
static SubLSymbol	$kw2$DONE
static SubLSymbol	$kw5$SELECT_BEST_STRATEGEM
static SubLSymbol	$kw7$SET_ASIDE
static SubLSymbol	$kw8$THROW_AWAY
static SubLSymbol	$removal_strategy_removal_tactic_iterativity_enabledP$ If this is NIL, removal tactics will always be executed exhaustively before moving on to other tactics.
static SubLString	$str11$removal_tactician_does_not_handle
static SubLString	$str12$_S_was_an_unexpected_strategem
static SubLString	$str3$_s_says_it_s_done__but_its_R_box_
static SubLSymbol	$sym0$REMOVAL_STRATEGY_DONE_
static SubLSymbol	$sym4$REMOVAL_STRATEGY_DO_ONE_STEP
static SubLSymbol	$sym6$REMOVAL_STRATEGY_P
static SubLSymbol	$sym9$STRATEGEM_P
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	declare_removal_tactician_execution_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_tactician_execution_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_strategy_default_select_best_strategem(SubLObject strategy)
static SubLObject	removal_strategy_do_one_step_int(SubLObject strategy)
static SubLObject	removal_strategy_do_one_step(SubLObject strategy)
static SubLObject	removal_strategy_doneP(SubLObject strategy)
static SubLObject	removal_strategy_execute_content_tactic(SubLObject strategy, SubLObject content_tactic)
static SubLObject	removal_strategy_execute_executable_strategem(SubLObject strategy, SubLObject strategem)
static SubLObject	removal_strategy_execute_meta_structural_tactic(SubLObject strategy, SubLObject meta_structural_tactic)
static SubLObject	removal_strategy_execute_strategem(SubLObject strategy, SubLObject strategem)
static SubLObject	removal_strategy_execute_tactic(SubLObject strategy, SubLObject tactic)
static SubLObject	removal_strategy_quiesce(SubLObject strategy)
static SubLObject	removal_strategy_select_best_strategem(SubLObject strategy)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_tactician_execution_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

$removal_strategy_removal_tactic_iterativity_enabledP$

public static SubLSymbol $removal_strategy_removal_tactic_iterativity_enabledP$

If this is NIL, removal tactics will always be executed exhaustively before moving on to other tactics. Useful for experimentation, very bad for time to first answer.

$sym0$REMOVAL_STRATEGY_DONE_

public static final SubLSymbol $sym0$REMOVAL_STRATEGY_DONE_

$kw1$UNINTERESTING

public static final SubLSymbol $kw1$UNINTERESTING

$kw2$DONE

public static final SubLSymbol $kw2$DONE

$str3$_s_says_it_s_done__but_its_R_box_

public static final SubLString $str3$_s_says_it_s_done__but_its_R_box_

$sym4$REMOVAL_STRATEGY_DO_ONE_STEP

public static final SubLSymbol $sym4$REMOVAL_STRATEGY_DO_ONE_STEP

$kw5$SELECT_BEST_STRATEGEM

public static final SubLSymbol $kw5$SELECT_BEST_STRATEGEM

$sym6$REMOVAL_STRATEGY_P

public static final SubLSymbol $sym6$REMOVAL_STRATEGY_P

$kw7$SET_ASIDE

public static final SubLSymbol $kw7$SET_ASIDE

$kw8$THROW_AWAY

public static final SubLSymbol $kw8$THROW_AWAY

$sym9$STRATEGEM_P

public static final SubLSymbol $sym9$STRATEGEM_P

$kw10$INTERESTING

public static final SubLSymbol $kw10$INTERESTING

$str11$removal_tactician_does_not_handle

public static final SubLString $str11$removal_tactician_does_not_handle

$str12$_S_was_an_unexpected_strategem

public static final SubLString $str12$_S_was_an_unexpected_strategem

Method Detail

removal_strategy_doneP

public static final SubLObject removal_strategy_doneP(SubLObject strategy)

removal_strategy_do_one_step

public static final SubLObject removal_strategy_do_one_step(SubLObject strategy)

removal_strategy_do_one_step_int

public static final SubLObject removal_strategy_do_one_step_int(SubLObject strategy)

Returns:

one of (:done :interesting, :uninteresting)

removal_strategy_select_best_strategem

public static final SubLObject removal_strategy_select_best_strategem(SubLObject strategy)

Returns:

strategem-p remove from boxes during selection if necessary. (quiescence)

removal_strategy_default_select_best_strategem

public static final SubLObject removal_strategy_default_select_best_strategem(SubLObject strategy)

removal_strategy_quiesce

public static final SubLObject removal_strategy_quiesce(SubLObject strategy)

Returns:

nil or strategem-p

removal_strategy_execute_strategem

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

Returns:

one of (:interesting, :uninteresting)

removal_strategy_execute_tactic

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

removal_strategy_execute_content_tactic

public static final SubLObject removal_strategy_execute_content_tactic(SubLObject strategy,
                                                                       SubLObject content_tactic)

removal_strategy_execute_meta_structural_tactic

public static final SubLObject removal_strategy_execute_meta_structural_tactic(SubLObject strategy,
                                                                               SubLObject meta_structural_tactic)

removal_strategy_execute_executable_strategem

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

declare_removal_tactician_execution_file

public static final SubLObject declare_removal_tactician_execution_file()

init_removal_tactician_execution_file

public static final SubLObject init_removal_tactician_execution_file()

setup_removal_tactician_execution_file

public static final SubLObject setup_removal_tactician_execution_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.