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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class transformation_tactician_datastructures
extends SubLTranslatedFile

Nested Class Summary

static class	transformation_tactician_datastructures.$transformation_strategy_data_native
static class	transformation_tactician_datastructures.$transformation_strategy_data_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_transformation_strategy_data$
static SubLSymbol	$kw0$TRANSFORMATION
static SubLSymbol	$kw21$LINK_HEADS_MOTIVATED
static SubLSymbol	$kw22$PROBLEMS_PENDING
static SubLSymbol	$kw23$TRANSFORMATION_STRATEGEM_INDEX
static SubLSymbol	$kw24$PROBLEM_TOTAL_STRATEGEMS_ACTIVE
static SubLSymbol	$kw25$PROBLEM_STRATEGEMS_SET_ASIDE
static SubLSymbol	$kw26$PROBLEM_STRATEGEMS_THROWN_AWAY
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLList	$list6
static SubLString	$str27$Invalid_slot__S_for_construction_
static SubLSymbol	$sym1$TRANSFORMATION_STRATEGY_DATA
static SubLSymbol	$sym10$_CSETF_TRANS_STRAT_DATA_LINK_HEADS_MOTIVATED
static SubLSymbol	$sym11$TRANS_STRAT_DATA_PROBLEMS_PENDING
static SubLSymbol	$sym12$_CSETF_TRANS_STRAT_DATA_PROBLEMS_PENDING
static SubLSymbol	$sym13$TRANS_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX
static SubLSymbol	$sym14$_CSETF_TRANS_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX
static SubLSymbol	$sym15$TRANS_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE
static SubLSymbol	$sym16$_CSETF_TRANS_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE
static SubLSymbol	$sym17$TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE
static SubLSymbol	$sym18$_CSETF_TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE
static SubLSymbol	$sym19$TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY
static SubLSymbol	$sym2$TRANSFORMATION_STRATEGY_DATA_P
static SubLSymbol	$sym20$_CSETF_TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY
static SubLSymbol	$sym28$TRANSFORMATION_STRATEGY_P
static SubLSymbol	$sym29$PROBLEM_P
static SubLSymbol	$sym30$MOTIVATION_STRATEGEM_P
static SubLSymbol	$sym31$TRANSFORMATION_STRATEGY_PROBLEM_TOTALLY_PENDING_
static SubLSymbol	$sym32$STRATEGEM_P
static SubLSymbol	$sym33$TRANSFORMATION_STRATEGEM_P
static SubLSymbol	$sym7$DEFAULT_STRUCT_PRINT_FUNCTION
static SubLSymbol	$sym8$TRANSFORMATION_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym9$TRANS_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	declare_transformation_tactician_datastructures_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_transformation_tactician_datastructures_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_transformation_tactician_datastructures_file()
static SubLObject	transformation_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_transformation_strategy_data$

public static SubLSymbol $dtp_transformation_strategy_data$

$kw0$TRANSFORMATION

public static final SubLSymbol $kw0$TRANSFORMATION

$sym1$TRANSFORMATION_STRATEGY_DATA

public static final SubLSymbol $sym1$TRANSFORMATION_STRATEGY_DATA

$sym2$TRANSFORMATION_STRATEGY_DATA_P

public static final SubLSymbol $sym2$TRANSFORMATION_STRATEGY_DATA_P

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym7$DEFAULT_STRUCT_PRINT_FUNCTION

$sym8$TRANSFORMATION_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$TRANSFORMATION_STRATEGY_DATA_PRINT_FUNCTION_TRAMPOLINE

$sym9$TRANS_STRAT_DATA_LINK_HEADS_MOTIVATED

public static final SubLSymbol $sym9$TRANS_STRAT_DATA_LINK_HEADS_MOTIVATED

$sym10$_CSETF_TRANS_STRAT_DATA_LINK_HEADS_MOTIVATED

public static final SubLSymbol $sym10$_CSETF_TRANS_STRAT_DATA_LINK_HEADS_MOTIVATED

$sym11$TRANS_STRAT_DATA_PROBLEMS_PENDING

public static final SubLSymbol $sym11$TRANS_STRAT_DATA_PROBLEMS_PENDING

$sym12$_CSETF_TRANS_STRAT_DATA_PROBLEMS_PENDING

public static final SubLSymbol $sym12$_CSETF_TRANS_STRAT_DATA_PROBLEMS_PENDING

$sym13$TRANS_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

public static final SubLSymbol $sym13$TRANS_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

$sym14$_CSETF_TRANS_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

public static final SubLSymbol $sym14$_CSETF_TRANS_STRAT_DATA_TRANSFORMATION_STRATEGEM_INDEX

$sym15$TRANS_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

public static final SubLSymbol $sym15$TRANS_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

$sym16$_CSETF_TRANS_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

public static final SubLSymbol $sym16$_CSETF_TRANS_STRAT_DATA_PROBLEM_TOTAL_STRATEGEMS_ACTIVE

$sym17$TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

public static final SubLSymbol $sym17$TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

$sym18$_CSETF_TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

public static final SubLSymbol $sym18$_CSETF_TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_SET_ASIDE

$sym19$TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

public static final SubLSymbol $sym19$TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

$sym20$_CSETF_TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

public static final SubLSymbol $sym20$_CSETF_TRANS_STRAT_DATA_PROBLEM_STRATEGEMS_THROWN_AWAY

$kw21$LINK_HEADS_MOTIVATED

public static final SubLSymbol $kw21$LINK_HEADS_MOTIVATED

$kw22$PROBLEMS_PENDING

public static final SubLSymbol $kw22$PROBLEMS_PENDING

$kw23$TRANSFORMATION_STRATEGEM_INDEX

public static final SubLSymbol $kw23$TRANSFORMATION_STRATEGEM_INDEX

$kw24$PROBLEM_TOTAL_STRATEGEMS_ACTIVE

public static final SubLSymbol $kw24$PROBLEM_TOTAL_STRATEGEMS_ACTIVE

$kw25$PROBLEM_STRATEGEMS_SET_ASIDE

public static final SubLSymbol $kw25$PROBLEM_STRATEGEMS_SET_ASIDE

$kw26$PROBLEM_STRATEGEMS_THROWN_AWAY

public static final SubLSymbol $kw26$PROBLEM_STRATEGEMS_THROWN_AWAY

$str27$Invalid_slot__S_for_construction_

public static final SubLString $str27$Invalid_slot__S_for_construction_

$sym28$TRANSFORMATION_STRATEGY_P

public static final SubLSymbol $sym28$TRANSFORMATION_STRATEGY_P

$sym29$PROBLEM_P

public static final SubLSymbol $sym29$PROBLEM_P

$sym30$MOTIVATION_STRATEGEM_P

public static final SubLSymbol $sym30$MOTIVATION_STRATEGEM_P

$sym31$TRANSFORMATION_STRATEGY_PROBLEM_TOTALLY_PENDING_

public static final SubLSymbol $sym31$TRANSFORMATION_STRATEGY_PROBLEM_TOTALLY_PENDING_

$sym32$STRATEGEM_P

public static final SubLSymbol $sym32$STRATEGEM_P

$sym33$TRANSFORMATION_STRATEGEM_P

public static final SubLSymbol $sym33$TRANSFORMATION_STRATEGEM_P

Method Detail

transformation_strategy_p

public static final SubLObject transformation_strategy_p(SubLObject object)

declare_transformation_tactician_datastructures_file

public static final SubLObject declare_transformation_tactician_datastructures_file()

init_transformation_tactician_datastructures_file

public static final SubLObject init_transformation_tactician_datastructures_file()

setup_transformation_tactician_datastructures_file

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