com.cyc.cycjava.cycl
Class tva_strategy

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.tva_strategy

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class tva_strategy
extends SubLTranslatedFile

Nested Class Summary

static class	tva_strategy.$tva_strategy_native
static class	tva_strategy.$tva_strategy_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const63$transitiveViaArg
static SubLObject	$const64$transitiveViaArgInverse
static SubLObject	$const68$genlPreds
static SubLSymbol	$dtp_tva_strategy$
static SubLSymbol	$kw18$INVERSE_MODE_P
static SubLSymbol	$kw19$ARGNUMS_UNIFIED
static SubLSymbol	$kw20$ARGNUMS_REMAINING
static SubLSymbol	$kw21$TACTICS
static SubLSymbol	$kw22$TACTICS_CONSIDERED
static SubLSymbol	$kw25$STREAM
static SubLSymbol	$kw26$BASE
static SubLSymbol	$kw39$ALLOW_OTHER_KEYS
static SubLSymbol	$kw40$DONE
static SubLSymbol	$kw59$LOOKUP
static SubLSymbol	$kw60$PREDICATE_EXTENT
static SubLSymbol	$kw65$GAF
static SubLSymbol	$kw66$TRUE
static SubLSymbol	$kw67$DO_HASH_TABLE
static SubLSymbol	$kw69$DEPTH
static SubLSymbol	$kw70$STACK
static SubLSymbol	$kw71$QUEUE
static SubLSymbol	$kw73$ERROR
static SubLSymbol	$kw76$CERROR
static SubLSymbol	$kw78$WARN
static SubLSymbol	$kw82$DEPTH_FIRST
static SubLList	$list2
static SubLList	$list3
static SubLList	$list34
static SubLList	$list37
static SubLList	$list38
static SubLList	$list4
static SubLList	$list43
static SubLList	$list46
static SubLList	$list5
static SubLList	$list61
static SubLList	$list62
static SubLString	$str23$Invalid_slot__S_for_construction_
static SubLString	$str24$__
static SubLString	$str27$__Strategy____a__
static SubLString	$str28$Strategy_Inverse_Mode_____a__
static SubLString	$str29$Argnums_Unified___________a__
static SubLString	$str30$Argnums_Remaining_________a__
static SubLString	$str31$Tactics_Considered________a____
static SubLString	$str32$Strategy_Tactic__a___a__
static SubLString	$str33$____
static SubLString	$str74$_A_is_not_a__A
static SubLString	$str77$continue_anyway
static SubLString	$str79$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str80$attempting_to_bind_direction_link
static SubLString	$str81$Node__a_does_not_pass_sbhl_type_t
static SubLSymbol	$sym0$TVA_STRATEGY
static SubLSymbol	$sym1$TVA_STRATEGY_P
static SubLSymbol	$sym10$TVA_STRAT_ARGNUMS_UNIFIED
static SubLSymbol	$sym11$_CSETF_TVA_STRAT_ARGNUMS_UNIFIED
static SubLSymbol	$sym12$TVA_STRAT_ARGNUMS_REMAINING
static SubLSymbol	$sym13$_CSETF_TVA_STRAT_ARGNUMS_REMAINING
static SubLSymbol	$sym14$TVA_STRAT_TACTICS
static SubLSymbol	$sym15$_CSETF_TVA_STRAT_TACTICS
static SubLSymbol	$sym16$TVA_STRAT_TACTICS_CONSIDERED
static SubLSymbol	$sym17$_CSETF_TVA_STRAT_TACTICS_CONSIDERED
static SubLSymbol	$sym35$CDOLIST
static SubLSymbol	$sym36$STRATEGY_ARGNUMS_REMAINING
static SubLSymbol	$sym41$CSOME
static SubLSymbol	$sym42$STRATEGY_TACTICS
static SubLSymbol	$sym44$CDR
static SubLSymbol	$sym45$MEMBER
static SubLSymbol	$sym47$SUBSTRATEGY
static SubLSymbol	$sym48$CDO
static SubLSymbol	$sym49$CAR
static SubLSymbol	$sym50$COR
static SubLSymbol	$sym51$NULL
static SubLSymbol	$sym52$PUNLESS
static SubLSymbol	$sym53$STRATEGY_CONSIDERED_TACTIC_
static SubLSymbol	$sym54$STRATEGY_UNIFIED_TACTIC_ARGNUM_
static SubLSymbol	$sym55$NOTE_STRATEGY_CONSIDERED_TACTIC
static SubLSymbol	$sym56$CLET
static SubLSymbol	$sym57$TVA_TACTIC_ARGNUM_TO_STRATEGY_ARGNUM
static SubLSymbol	$sym58$STRATEGY_INVERSE_MODE_P
static SubLSymbol	$sym6$PRINT_TVA_STRATEGY
static SubLSymbol	$sym7$TVA_STRATEGY_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym72$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym75$SBHL_TRUE_TV_P
static SubLSymbol	$sym8$TVA_STRAT_INVERSE_MODE_P
static SubLSymbol	$sym9$_CSETF_TVA_STRAT_INVERSE_MODE_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_tva_strategy_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_tva_strategy_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_tva_strategy_file()
static SubLObject	tva_strategy_print_function_trampoline(SubLObject object, SubLObject stream)

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

public static SubLSymbol $dtp_tva_strategy$

$sym0$TVA_STRATEGY

public static final SubLSymbol $sym0$TVA_STRATEGY

$sym1$TVA_STRATEGY_P

public static final SubLSymbol $sym1$TVA_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_TVA_STRATEGY

public static final SubLSymbol $sym6$PRINT_TVA_STRATEGY

$sym7$TVA_STRATEGY_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$TVA_STRATEGY_PRINT_FUNCTION_TRAMPOLINE

$sym8$TVA_STRAT_INVERSE_MODE_P

public static final SubLSymbol $sym8$TVA_STRAT_INVERSE_MODE_P

$sym9$_CSETF_TVA_STRAT_INVERSE_MODE_P

public static final SubLSymbol $sym9$_CSETF_TVA_STRAT_INVERSE_MODE_P

$sym10$TVA_STRAT_ARGNUMS_UNIFIED

public static final SubLSymbol $sym10$TVA_STRAT_ARGNUMS_UNIFIED

$sym11$_CSETF_TVA_STRAT_ARGNUMS_UNIFIED

public static final SubLSymbol $sym11$_CSETF_TVA_STRAT_ARGNUMS_UNIFIED

$sym12$TVA_STRAT_ARGNUMS_REMAINING

public static final SubLSymbol $sym12$TVA_STRAT_ARGNUMS_REMAINING

$sym13$_CSETF_TVA_STRAT_ARGNUMS_REMAINING

public static final SubLSymbol $sym13$_CSETF_TVA_STRAT_ARGNUMS_REMAINING

$sym14$TVA_STRAT_TACTICS

public static final SubLSymbol $sym14$TVA_STRAT_TACTICS

$sym15$_CSETF_TVA_STRAT_TACTICS

public static final SubLSymbol $sym15$_CSETF_TVA_STRAT_TACTICS

$sym16$TVA_STRAT_TACTICS_CONSIDERED

public static final SubLSymbol $sym16$TVA_STRAT_TACTICS_CONSIDERED

$sym17$_CSETF_TVA_STRAT_TACTICS_CONSIDERED

public static final SubLSymbol $sym17$_CSETF_TVA_STRAT_TACTICS_CONSIDERED

$kw18$INVERSE_MODE_P

public static final SubLSymbol $kw18$INVERSE_MODE_P

$kw19$ARGNUMS_UNIFIED

public static final SubLSymbol $kw19$ARGNUMS_UNIFIED

$kw20$ARGNUMS_REMAINING

public static final SubLSymbol $kw20$ARGNUMS_REMAINING

$kw21$TACTICS

public static final SubLSymbol $kw21$TACTICS

$kw22$TACTICS_CONSIDERED

public static final SubLSymbol $kw22$TACTICS_CONSIDERED

$str23$Invalid_slot__S_for_construction_

public static final SubLString $str23$Invalid_slot__S_for_construction_

$str24$__

public static final SubLString $str24$__

$kw25$STREAM

public static final SubLSymbol $kw25$STREAM

$kw26$BASE

public static final SubLSymbol $kw26$BASE

$str27$__Strategy____a__

public static final SubLString $str27$__Strategy____a__

$str28$Strategy_Inverse_Mode_____a__

public static final SubLString $str28$Strategy_Inverse_Mode_____a__

$str29$Argnums_Unified___________a__

public static final SubLString $str29$Argnums_Unified___________a__

$str30$Argnums_Remaining_________a__

public static final SubLString $str30$Argnums_Remaining_________a__

$str31$Tactics_Considered________a____

public static final SubLString $str31$Tactics_Considered________a____

$str32$Strategy_Tactic__a___a__

public static final SubLString $str32$Strategy_Tactic__a___a__

$str33$____

public static final SubLString $str33$____

$list34

public static final SubLList $list34

$sym35$CDOLIST

public static final SubLSymbol $sym35$CDOLIST

$sym36$STRATEGY_ARGNUMS_REMAINING

public static final SubLSymbol $sym36$STRATEGY_ARGNUMS_REMAINING

$list37

public static final SubLList $list37

$list38

public static final SubLList $list38

$kw39$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw39$ALLOW_OTHER_KEYS

$kw40$DONE

public static final SubLSymbol $kw40$DONE

$sym41$CSOME

public static final SubLSymbol $sym41$CSOME

$sym42$STRATEGY_TACTICS

public static final SubLSymbol $sym42$STRATEGY_TACTICS

$list43

public static final SubLList $list43

$sym44$CDR

public static final SubLSymbol $sym44$CDR

$sym45$MEMBER

public static final SubLSymbol $sym45$MEMBER

$list46

public static final SubLList $list46

$sym47$SUBSTRATEGY

public static final SubLSymbol $sym47$SUBSTRATEGY

$sym48$CDO

public static final SubLSymbol $sym48$CDO

$sym49$CAR

public static final SubLSymbol $sym49$CAR

$sym50$COR

public static final SubLSymbol $sym50$COR

$sym51$NULL

public static final SubLSymbol $sym51$NULL

$sym52$PUNLESS

public static final SubLSymbol $sym52$PUNLESS

$sym53$STRATEGY_CONSIDERED_TACTIC_

public static final SubLSymbol $sym53$STRATEGY_CONSIDERED_TACTIC_

$sym54$STRATEGY_UNIFIED_TACTIC_ARGNUM_

public static final SubLSymbol $sym54$STRATEGY_UNIFIED_TACTIC_ARGNUM_

$sym55$NOTE_STRATEGY_CONSIDERED_TACTIC

public static final SubLSymbol $sym55$NOTE_STRATEGY_CONSIDERED_TACTIC

$sym56$CLET

public static final SubLSymbol $sym56$CLET

$sym57$TVA_TACTIC_ARGNUM_TO_STRATEGY_ARGNUM

public static final SubLSymbol $sym57$TVA_TACTIC_ARGNUM_TO_STRATEGY_ARGNUM

$sym58$STRATEGY_INVERSE_MODE_P

public static final SubLSymbol $sym58$STRATEGY_INVERSE_MODE_P

$kw59$LOOKUP

public static final SubLSymbol $kw59$LOOKUP

$kw60$PREDICATE_EXTENT

public static final SubLSymbol $kw60$PREDICATE_EXTENT

$list61

public static final SubLList $list61

$list62

public static final SubLList $list62

$const63$transitiveViaArg

public static final SubLObject $const63$transitiveViaArg

$const64$transitiveViaArgInverse

public static final SubLObject $const64$transitiveViaArgInverse

$kw65$GAF

public static final SubLSymbol $kw65$GAF

$kw66$TRUE

public static final SubLSymbol $kw66$TRUE

$kw67$DO_HASH_TABLE

public static final SubLSymbol $kw67$DO_HASH_TABLE

$const68$genlPreds

public static final SubLObject $const68$genlPreds

$kw69$DEPTH

public static final SubLSymbol $kw69$DEPTH

$kw70$STACK

public static final SubLSymbol $kw70$STACK

$kw71$QUEUE

public static final SubLSymbol $kw71$QUEUE

$sym72$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym72$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw73$ERROR

public static final SubLSymbol $kw73$ERROR

$str74$_A_is_not_a__A

public static final SubLString $str74$_A_is_not_a__A

$sym75$SBHL_TRUE_TV_P

public static final SubLSymbol $sym75$SBHL_TRUE_TV_P

$kw76$CERROR

public static final SubLSymbol $kw76$CERROR

$str77$continue_anyway

public static final SubLString $str77$continue_anyway

$kw78$WARN

public static final SubLSymbol $kw78$WARN

$str79$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str79$_A_is_not_a_valid__sbhl_type_erro

$str80$attempting_to_bind_direction_link

public static final SubLString $str80$attempting_to_bind_direction_link

$str81$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str81$Node__a_does_not_pass_sbhl_type_t

$kw82$DEPTH_FIRST

public static final SubLSymbol $kw82$DEPTH_FIRST

Method Detail

tva_strategy_print_function_trampoline

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

declare_tva_strategy_file

public static final SubLObject declare_tva_strategy_file()

init_tva_strategy_file

public static final SubLObject init_tva_strategy_file()

setup_tva_strategy_file

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