com.cyc.cycjava.cycl
Class tva_tactic

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class tva_tactic
extends SubLTranslatedFile

Nested Class Summary

static class	tva_tactic.$tva_tactic_native
static class	tva_tactic.$tva_tactic_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const65$transitiveViaArg
static SubLObject	$const66$conservativeViaArg
static SubLObject	$const67$transitiveViaArgInverse
static SubLObject	$const68$conservativeViaArgInverse
static SubLObject	$const69$genlPreds
static SubLObject	$const70$genlInverse
static SubLSymbol	$dtp_tva_tactic$
static SubLSymbol	$kw28$TYPE
static SubLSymbol	$kw29$TVA_PRED
static SubLSymbol	$kw30$INDEX_PRED
static SubLSymbol	$kw31$TRANSITIVE_PRED
static SubLSymbol	$kw32$ARGNUM
static SubLSymbol	$kw33$TERM
static SubLSymbol	$kw34$COST
static SubLSymbol	$kw35$PRECOMPUTATION
static SubLSymbol	$kw36$PARENT_PRED
static SubLSymbol	$kw37$PARENT_PRED_INVERSE_
static SubLSymbol	$kw40$STREAM
static SubLSymbol	$kw41$BASE
static SubLSymbol	$kw52$FREE
static SubLSymbol	$kw53$FORWARD
static SubLSymbol	$kw61$LOOKUP
static SubLSymbol	$kw62$PRECOMPUTED_CLOSURE
static SubLSymbol	$kw63$CALCULATE_CLOSURE
static SubLSymbol	$kw64$PREDICATE_EXTENT
static SubLSymbol	$kw73$BACKWARD
static SubLSymbol	$kw79$PREDICATE
static SubLSymbol	$kw80$INDEX
static SubLSymbol	$kw81$TRUTH
static SubLSymbol	$kw82$TRUE
static SubLSymbol	$kw83$DONE
static SubLSymbol	$kw85$CYC_SKSI
static SubLSymbol	$kw89$INDEX_ARGNUM
static SubLList	$list112
static SubLList	$list118
static SubLList	$list120
static SubLList	$list122
static SubLList	$list2
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLList	$list54
static SubLList	$list60
static SubLList	$list75
static SubLList	$list90
static SubLString	$str123$Continue_Anyway_
static SubLString	$str38$Invalid_slot__S_for_construction_
static SubLString	$str39$__
static SubLString	$str42$tva_pred____a__
static SubLString	$str43$tva_index_pred____a__
static SubLString	$str44$tva_transitive_pred____a__
static SubLString	$str45$tva_argnum____a__
static SubLString	$str46$tva_term____S__
static SubLString	$str47$tva_cost____a__
static SubLString	$str48$tva_tactic_type____a__
static SubLString	$str49$tva_precomputation____a__
static SubLString	$str50$tva_parent_pred____a__
static SubLString	$str51$tva_parent_pred_inverse_____a
static SubLString	$str71$Continue_
static SubLString	$str72$Error_in_predicate__a
static SubLString	$str74$Error_in_direction__a
static SubLSymbol	$sym0$TVA_TACTIC
static SubLSymbol	$sym1$TVA_TACTIC_P
static SubLSymbol	$sym10$TVA_TVA_PRED
static SubLSymbol	$sym100$DO_TVA_PRECOMPUTATION_TABLE
static SubLSymbol	$sym101$ARG
static SubLSymbol	$sym102$TRANS_PRED
static SubLSymbol	$sym103$TRANS_PRED_MODULE
static SubLSymbol	$sym104$DIRECTION
static SubLSymbol	$sym105$ARGNUM
static SubLSymbol	$sym106$PRED
static SubLSymbol	$sym107$LINK_NODE
static SubLSymbol	$sym108$TVA_TACTIC_TRANSITIVE_PRED
static SubLSymbol	$sym109$TVA_DIRECTION_FOR_TVA_PRED
static SubLSymbol	$sym11$_CSETF_TVA_TVA_PRED
static SubLSymbol	$sym110$TVA_TACTIC_TVA_PRED
static SubLSymbol	$sym111$PIF
static SubLSymbol	$sym113$GET_SBHL_MODULE
static SubLSymbol	$sym114$DO_ALL_SIMPLE_TRUE_LINKS_FOR_INVERSES
static SubLSymbol	$sym115$DO_GHL_CLOSURE
static SubLSymbol	$sym116$PUNLESS
static SubLSymbol	$sym117$PRED
static SubLSymbol	$sym119$DO_PREDICATE_EXTENT_INDEX
static SubLSymbol	$sym12$TVA_INDEX_PRED
static SubLSymbol	$sym121$DO_SKSI_PREDICATE_EXTENT_INDEX
static SubLSymbol	$sym13$_CSETF_TVA_INDEX_PRED
static SubLSymbol	$sym14$TVA_TRANSITIVE_PRED
static SubLSymbol	$sym15$_CSETF_TVA_TRANSITIVE_PRED
static SubLSymbol	$sym16$TVA_ARGNUM
static SubLSymbol	$sym17$_CSETF_TVA_ARGNUM
static SubLSymbol	$sym18$TVA_TERM
static SubLSymbol	$sym19$_CSETF_TVA_TERM
static SubLSymbol	$sym20$TVA_COST
static SubLSymbol	$sym21$_CSETF_TVA_COST
static SubLSymbol	$sym22$TVA_PRECOMPUTATION
static SubLSymbol	$sym23$_CSETF_TVA_PRECOMPUTATION
static SubLSymbol	$sym24$TVA_PARENT_PRED
static SubLSymbol	$sym25$_CSETF_TVA_PARENT_PRED
static SubLSymbol	$sym26$TVA_PARENT_PRED_INVERSE_
static SubLSymbol	$sym27$_CSETF_TVA_PARENT_PRED_INVERSE_
static SubLSymbol	$sym55$MARKING_VAR
static SubLSymbol	$sym56$DO_SBHL_TABLE
static SubLSymbol	$sym57$TVA_TACTIC_PRECOMPUTATION
static SubLSymbol	$sym58$IGNORE
static SubLSymbol	$sym59$TVA_PRECOMPUTATION_P
static SubLSymbol	$sym6$PRINT_TVA_TACTIC
static SubLSymbol	$sym7$TVA_TACTIC_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym76$PROGN
static SubLSymbol	$sym77$CLET
static SubLSymbol	$sym78$DO_GAF_ARG_INDEX
static SubLSymbol	$sym8$TVA_TYPE
static SubLSymbol	$sym84$PWHEN_FEATURE
static SubLSymbol	$sym86$PWHEN
static SubLSymbol	$sym87$SKSI_GAF_ARG_POSSIBLE_P
static SubLSymbol	$sym88$DO_SKSI_GAF_ARG_INDEX_GP
static SubLSymbol	$sym9$_CSETF_TVA_TYPE
static SubLSymbol	$sym91$PRED
static SubLSymbol	$sym92$ARG
static SubLSymbol	$sym93$ARGNUM
static SubLSymbol	$sym94$TVA_TACTIC_ARGNUM
static SubLSymbol	$sym95$TVA_TACTIC_TERM
static SubLSymbol	$sym96$TVA_DO_ALL_GAF_ARG_INDEX
static SubLSymbol	$sym97$PRED
static SubLSymbol	$sym98$ARG
static SubLSymbol	$sym99$ARGNUM
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_tactic_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_tva_tactic_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_tactic_file()
static SubLObject	tva_tactic_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_tactic$

public static SubLSymbol $dtp_tva_tactic$

$sym0$TVA_TACTIC

public static final SubLSymbol $sym0$TVA_TACTIC

$sym1$TVA_TACTIC_P

public static final SubLSymbol $sym1$TVA_TACTIC_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_TACTIC

public static final SubLSymbol $sym6$PRINT_TVA_TACTIC

$sym7$TVA_TACTIC_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$TVA_TACTIC_PRINT_FUNCTION_TRAMPOLINE

$sym8$TVA_TYPE

public static final SubLSymbol $sym8$TVA_TYPE

$sym9$_CSETF_TVA_TYPE

public static final SubLSymbol $sym9$_CSETF_TVA_TYPE

$sym10$TVA_TVA_PRED

public static final SubLSymbol $sym10$TVA_TVA_PRED

$sym11$_CSETF_TVA_TVA_PRED

public static final SubLSymbol $sym11$_CSETF_TVA_TVA_PRED

$sym12$TVA_INDEX_PRED

public static final SubLSymbol $sym12$TVA_INDEX_PRED

$sym13$_CSETF_TVA_INDEX_PRED

public static final SubLSymbol $sym13$_CSETF_TVA_INDEX_PRED

$sym14$TVA_TRANSITIVE_PRED

public static final SubLSymbol $sym14$TVA_TRANSITIVE_PRED

$sym15$_CSETF_TVA_TRANSITIVE_PRED

public static final SubLSymbol $sym15$_CSETF_TVA_TRANSITIVE_PRED

$sym16$TVA_ARGNUM

public static final SubLSymbol $sym16$TVA_ARGNUM

$sym17$_CSETF_TVA_ARGNUM

public static final SubLSymbol $sym17$_CSETF_TVA_ARGNUM

$sym18$TVA_TERM

public static final SubLSymbol $sym18$TVA_TERM

$sym19$_CSETF_TVA_TERM

public static final SubLSymbol $sym19$_CSETF_TVA_TERM

$sym20$TVA_COST

public static final SubLSymbol $sym20$TVA_COST

$sym21$_CSETF_TVA_COST

public static final SubLSymbol $sym21$_CSETF_TVA_COST

$sym22$TVA_PRECOMPUTATION

public static final SubLSymbol $sym22$TVA_PRECOMPUTATION

$sym23$_CSETF_TVA_PRECOMPUTATION

public static final SubLSymbol $sym23$_CSETF_TVA_PRECOMPUTATION

$sym24$TVA_PARENT_PRED

public static final SubLSymbol $sym24$TVA_PARENT_PRED

$sym25$_CSETF_TVA_PARENT_PRED

public static final SubLSymbol $sym25$_CSETF_TVA_PARENT_PRED

$sym26$TVA_PARENT_PRED_INVERSE_

public static final SubLSymbol $sym26$TVA_PARENT_PRED_INVERSE_

$sym27$_CSETF_TVA_PARENT_PRED_INVERSE_

public static final SubLSymbol $sym27$_CSETF_TVA_PARENT_PRED_INVERSE_

$kw28$TYPE

public static final SubLSymbol $kw28$TYPE

$kw29$TVA_PRED

public static final SubLSymbol $kw29$TVA_PRED

$kw30$INDEX_PRED

public static final SubLSymbol $kw30$INDEX_PRED

$kw31$TRANSITIVE_PRED

public static final SubLSymbol $kw31$TRANSITIVE_PRED

$kw32$ARGNUM

public static final SubLSymbol $kw32$ARGNUM

$kw33$TERM

public static final SubLSymbol $kw33$TERM

$kw34$COST

public static final SubLSymbol $kw34$COST

$kw35$PRECOMPUTATION

public static final SubLSymbol $kw35$PRECOMPUTATION

$kw36$PARENT_PRED

public static final SubLSymbol $kw36$PARENT_PRED

$kw37$PARENT_PRED_INVERSE_

public static final SubLSymbol $kw37$PARENT_PRED_INVERSE_

$str38$Invalid_slot__S_for_construction_

public static final SubLString $str38$Invalid_slot__S_for_construction_

$str39$__

public static final SubLString $str39$__

$kw40$STREAM

public static final SubLSymbol $kw40$STREAM

$kw41$BASE

public static final SubLSymbol $kw41$BASE

$str42$tva_pred____a__

public static final SubLString $str42$tva_pred____a__

$str43$tva_index_pred____a__

public static final SubLString $str43$tva_index_pred____a__

$str44$tva_transitive_pred____a__

public static final SubLString $str44$tva_transitive_pred____a__

$str45$tva_argnum____a__

public static final SubLString $str45$tva_argnum____a__

$str46$tva_term____S__

public static final SubLString $str46$tva_term____S__

$str47$tva_cost____a__

public static final SubLString $str47$tva_cost____a__

$str48$tva_tactic_type____a__

public static final SubLString $str48$tva_tactic_type____a__

$str49$tva_precomputation____a__

public static final SubLString $str49$tva_precomputation____a__

$str50$tva_parent_pred____a__

public static final SubLString $str50$tva_parent_pred____a__

$str51$tva_parent_pred_inverse_____a

public static final SubLString $str51$tva_parent_pred_inverse_____a

$kw52$FREE

public static final SubLSymbol $kw52$FREE

$kw53$FORWARD

public static final SubLSymbol $kw53$FORWARD

$list54

public static final SubLList $list54

$sym55$MARKING_VAR

public static final SubLSymbol $sym55$MARKING_VAR

$sym56$DO_SBHL_TABLE

public static final SubLSymbol $sym56$DO_SBHL_TABLE

$sym57$TVA_TACTIC_PRECOMPUTATION

public static final SubLSymbol $sym57$TVA_TACTIC_PRECOMPUTATION

$sym58$IGNORE

public static final SubLSymbol $sym58$IGNORE

$sym59$TVA_PRECOMPUTATION_P

public static final SubLSymbol $sym59$TVA_PRECOMPUTATION_P

$list60

public static final SubLList $list60

$kw61$LOOKUP

public static final SubLSymbol $kw61$LOOKUP

$kw62$PRECOMPUTED_CLOSURE

public static final SubLSymbol $kw62$PRECOMPUTED_CLOSURE

$kw63$CALCULATE_CLOSURE

public static final SubLSymbol $kw63$CALCULATE_CLOSURE

$kw64$PREDICATE_EXTENT

public static final SubLSymbol $kw64$PREDICATE_EXTENT

$const65$transitiveViaArg

public static final SubLObject $const65$transitiveViaArg

$const66$conservativeViaArg

public static final SubLObject $const66$conservativeViaArg

$const67$transitiveViaArgInverse

public static final SubLObject $const67$transitiveViaArgInverse

$const68$conservativeViaArgInverse

public static final SubLObject $const68$conservativeViaArgInverse

$const69$genlPreds

public static final SubLObject $const69$genlPreds

$const70$genlInverse

public static final SubLObject $const70$genlInverse

$str71$Continue_

public static final SubLString $str71$Continue_

$str72$Error_in_predicate__a

public static final SubLString $str72$Error_in_predicate__a

$kw73$BACKWARD

public static final SubLSymbol $kw73$BACKWARD

$str74$Error_in_direction__a

public static final SubLString $str74$Error_in_direction__a

$list75

public static final SubLList $list75

$sym76$PROGN

public static final SubLSymbol $sym76$PROGN

$sym77$CLET

public static final SubLSymbol $sym77$CLET

$sym78$DO_GAF_ARG_INDEX

public static final SubLSymbol $sym78$DO_GAF_ARG_INDEX

$kw79$PREDICATE

public static final SubLSymbol $kw79$PREDICATE

$kw80$INDEX

public static final SubLSymbol $kw80$INDEX

$kw81$TRUTH

public static final SubLSymbol $kw81$TRUTH

$kw82$TRUE

public static final SubLSymbol $kw82$TRUE

$kw83$DONE

public static final SubLSymbol $kw83$DONE

$sym84$PWHEN_FEATURE

public static final SubLSymbol $sym84$PWHEN_FEATURE

$kw85$CYC_SKSI

public static final SubLSymbol $kw85$CYC_SKSI

$sym86$PWHEN

public static final SubLSymbol $sym86$PWHEN

$sym87$SKSI_GAF_ARG_POSSIBLE_P

public static final SubLSymbol $sym87$SKSI_GAF_ARG_POSSIBLE_P

$sym88$DO_SKSI_GAF_ARG_INDEX_GP

public static final SubLSymbol $sym88$DO_SKSI_GAF_ARG_INDEX_GP

$kw89$INDEX_ARGNUM

public static final SubLSymbol $kw89$INDEX_ARGNUM

$list90

public static final SubLList $list90

$sym91$PRED

public static final SubLSymbol $sym91$PRED

$sym92$ARG

public static final SubLSymbol $sym92$ARG

$sym93$ARGNUM

public static final SubLSymbol $sym93$ARGNUM

$sym94$TVA_TACTIC_ARGNUM

public static final SubLSymbol $sym94$TVA_TACTIC_ARGNUM

$sym95$TVA_TACTIC_TERM

public static final SubLSymbol $sym95$TVA_TACTIC_TERM

$sym96$TVA_DO_ALL_GAF_ARG_INDEX

public static final SubLSymbol $sym96$TVA_DO_ALL_GAF_ARG_INDEX

$sym97$PRED

public static final SubLSymbol $sym97$PRED

$sym98$ARG

public static final SubLSymbol $sym98$ARG

$sym99$ARGNUM

public static final SubLSymbol $sym99$ARGNUM

$sym100$DO_TVA_PRECOMPUTATION_TABLE

public static final SubLSymbol $sym100$DO_TVA_PRECOMPUTATION_TABLE

$sym101$ARG

public static final SubLSymbol $sym101$ARG

$sym102$TRANS_PRED

public static final SubLSymbol $sym102$TRANS_PRED

$sym103$TRANS_PRED_MODULE

public static final SubLSymbol $sym103$TRANS_PRED_MODULE

$sym104$DIRECTION

public static final SubLSymbol $sym104$DIRECTION

$sym105$ARGNUM

public static final SubLSymbol $sym105$ARGNUM

$sym106$PRED

public static final SubLSymbol $sym106$PRED

$sym107$LINK_NODE

public static final SubLSymbol $sym107$LINK_NODE

$sym108$TVA_TACTIC_TRANSITIVE_PRED

public static final SubLSymbol $sym108$TVA_TACTIC_TRANSITIVE_PRED

$sym109$TVA_DIRECTION_FOR_TVA_PRED

public static final SubLSymbol $sym109$TVA_DIRECTION_FOR_TVA_PRED

$sym110$TVA_TACTIC_TVA_PRED

public static final SubLSymbol $sym110$TVA_TACTIC_TVA_PRED

$sym111$PIF

public static final SubLSymbol $sym111$PIF

$list112

public static final SubLList $list112

$sym113$GET_SBHL_MODULE

public static final SubLSymbol $sym113$GET_SBHL_MODULE

$sym114$DO_ALL_SIMPLE_TRUE_LINKS_FOR_INVERSES

public static final SubLSymbol $sym114$DO_ALL_SIMPLE_TRUE_LINKS_FOR_INVERSES

$sym115$DO_GHL_CLOSURE

public static final SubLSymbol $sym115$DO_GHL_CLOSURE

$sym116$PUNLESS

public static final SubLSymbol $sym116$PUNLESS

$sym117$PRED

public static final SubLSymbol $sym117$PRED

$list118

public static final SubLList $list118

$sym119$DO_PREDICATE_EXTENT_INDEX

public static final SubLSymbol $sym119$DO_PREDICATE_EXTENT_INDEX

$list120

public static final SubLList $list120

$sym121$DO_SKSI_PREDICATE_EXTENT_INDEX

public static final SubLSymbol $sym121$DO_SKSI_PREDICATE_EXTENT_INDEX

$list122

public static final SubLList $list122

$str123$Continue_Anyway_

public static final SubLString $str123$Continue_Anyway_

Method Detail

tva_tactic_print_function_trampoline

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

declare_tva_tactic_file

public static final SubLObject declare_tva_tactic_file()

init_tva_tactic_file

public static final SubLObject init_tva_tactic_file()

setup_tva_tactic_file

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