com.cyc.cycjava.cycl
Class tva_cache

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class tva_cache
extends SubLTranslatedFile

Nested Class Summary

static class	tva_cache.$tva_cache_native
static class	tva_cache.$tva_cache_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const104$relationAllInstance
static SubLObject	$const108$isa
static SubLObject	$const11$cacheTransitiveClosureForArgs
static SubLObject	$const110$relationInstanceAll
static SubLObject	$const126$TransitiveBinaryPredicate
static SubLObject	$const13$InferencePSC
static SubLObject	$const48$genlPreds
static SubLObject	$const53$True_JustificationTruth
static SubLObject	$const97$transitiveViaArg
static SubLObject	$const99$transitiveViaArgInverse
static SubLSymbol	$dtp_tva_cache$
static SubLInteger	$int106$25
static SubLInteger	$int127$96
static SubLSymbol	$kw111$COMPLEX
static SubLSymbol	$kw116$TOP
static SubLSymbol	$kw117$TRUE_DEF
static SubLSymbol	$kw14$GAF
static SubLSymbol	$kw37$PRED
static SubLSymbol	$kw38$INDEX_ARGNUM
static SubLSymbol	$kw39$TVA_PRED_GAFS
static SubLSymbol	$kw40$TVAI_PRED_GAFS
static SubLSymbol	$kw41$MAP
static SubLSymbol	$kw45$SWAPPED_OUT
static SubLSymbol	$kw49$BREADTH
static SubLSymbol	$kw50$DEPTH
static SubLSymbol	$kw51$STACK
static SubLSymbol	$kw52$QUEUE
static SubLSymbol	$kw55$ERROR
static SubLSymbol	$kw58$CERROR
static SubLSymbol	$kw60$WARN
static SubLSymbol	$kw67$ALLOW_OTHER_KEYS
static SubLSymbol	$kw68$DONE_
static SubLSymbol	$kw77$GENLPREDS
static SubLSymbol	$kw82$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw85$INVERSE
static SubLSymbol	$kw86$SPEC_PRED
static SubLSymbol	$kw98$TRUE
static SubLList	$list0
static SubLList	$list109
static SubLList	$list113
static SubLList	$list114
static SubLList	$list118
static SubLList	$list121
static SubLList	$list124
static SubLList	$list125
static SubLList	$list132
static SubLList	$list135
static SubLList	$list15
static SubLList	$list18
static SubLList	$list19
static SubLList	$list22
static SubLList	$list23
static SubLList	$list24
static SubLList	$list25
static SubLList	$list3
static SubLList	$list5
static SubLList	$list65
static SubLList	$list66
static SubLList	$list74
static SubLList	$list75
static SubLList	$list78
static SubLList	$list79
static SubLList	$list80
static SubLList	$list83
static SubLList	$list87
static SubLList	$list90
static SubLList	$list91
static SubLList	$list94
static SubLList	$list95
static SubLString	$str100$Error_initializing__S_____S___Der
static SubLString	$str101$TVA_Caching_
static SubLString	$str102$_
static SubLString	$str103$_assertions___
static SubLString	$str112$Complex_TVA_cache_support_in__S
static SubLString	$str120$Don_t_know_how_to_find_the_transi
static SubLString	$str122$Can_t_get_transitivity_support_fr
static SubLString	$str130$tva_cache_contents
static SubLString	$str131$tva_cache_contents_index
static SubLString	$str133$Reconnecting_to_legacy_unit_files
static SubLString	$str17$Problem_initializing_TVA_CACHE_fo
static SubLString	$str42$Invalid_slot__S_for_construction_
static SubLString	$str44$__TVA_CACHE__S__S_
static SubLString	$str46$Cannot_reconnect__A__which_is_not
static SubLString	$str56$_A_is_not_a__A
static SubLString	$str59$continue_anyway
static SubLString	$str61$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str62$attempting_to_bind_direction_link
static SubLString	$str63$Node__a_does_not_pass_sbhl_type_t
static SubLString	$str64$__Creating_TVA_cache_for__S__arg_
static SubLString	$str84$No_specified_pred_for__S
static SubLSymbol	$sym1$PRED_CACHES
static SubLSymbol	$sym10$POSITIVE_INTEGER_P
static SubLSymbol	$sym105$TVA_CACHE_MAX_INSTANCES_TO_CACHE
static SubLSymbol	$sym107$_TVA_CACHE_MAX_INSTANCES_TO_CACHE_CACHING_STATE_
static SubLSymbol	$sym115$INDEXED_TERM_P
static SubLSymbol	$sym119$PRED
static SubLSymbol	$sym12$RELEVANT_MT_IS_ANY_MT
static SubLSymbol	$sym123$TVA_CACHE_SUPPORT_GAF
static SubLSymbol	$sym128$CFASL_INPUT_TVA_CACHE
static SubLSymbol	$sym129$CFASL_OUTPUT_OBJECT_TVA_CACHE_METHOD
static SubLSymbol	$sym134$DUMP_TVA_CACHE_TO_STREAM
static SubLSymbol	$sym16$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym2$DO_DICTIONARY
static SubLSymbol	$sym20$TVA_CACHE
static SubLSymbol	$sym21$TVA_CACHE_P
static SubLSymbol	$sym26$PPRINT_TVA_CACHE
static SubLSymbol	$sym27$TVA_CACHE_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym28$TVA_CACHE_PRED
static SubLSymbol	$sym29$_CSETF_TVA_CACHE_PRED
static SubLSymbol	$sym30$TVA_CACHE_INDEX_ARGNUM
static SubLSymbol	$sym31$_CSETF_TVA_CACHE_INDEX_ARGNUM
static SubLSymbol	$sym32$TVA_CACHE_TVA_PRED_GAFS
static SubLSymbol	$sym33$_CSETF_TVA_CACHE_TVA_PRED_GAFS
static SubLSymbol	$sym34$TVA_CACHE_TVAI_PRED_GAFS
static SubLSymbol	$sym35$_CSETF_TVA_CACHE_TVAI_PRED_GAFS
static SubLSymbol	$sym36$_CSETF_TVA_CACHE_MAP
static SubLSymbol	$sym4$CDOLIST
static SubLSymbol	$sym43$SXHASH_TVA_CACHE_METHOD
static SubLSymbol	$sym47$_TVA_CACHE_REGISTRY_
static SubLSymbol	$sym54$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym57$SBHL_TRUE_TV_P
static SubLSymbol	$sym6$ENTRY
static SubLSymbol	$sym69$SPEC_PRED
static SubLSymbol	$sym7$DO_MAP
static SubLSymbol	$sym70$DO_ALL_SPEC_PREDICATES_AND_INVERSES
static SubLSymbol	$sym71$CLET
static SubLSymbol	$sym72$FIF
static SubLSymbol	$sym73$FIND_TVA_SUB_CACHE
static SubLSymbol	$sym76$TVA_CACHE_SUPPORT_EQUAL_
static SubLSymbol	$sym8$TVA_CACHE_MAP
static SubLSymbol	$sym81$TVA_CACHE_VALID_SUPPORT_
static SubLSymbol	$sym88$ADD_TVA_CACHE_VALUE
static SubLSymbol	$sym89$REMOVE_TVA_CACHE_VALUE
static SubLSymbol	$sym9$CDESTRUCTURING_BIND
static SubLSymbol	$sym92$ADD_TVA_CACHE_KEY
static SubLSymbol	$sym93$REMOVE_TVA_CACHE_KEY
static SubLSymbol	$sym96$BINARY_PREDICATE_
static SubLSymbol	$use_tva_cacheP$
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	add_tva_cache_value(SubLObject argument, SubLObject assertion) We've just added a new key->value support to the KB.
static SubLObject	cfasl_output_object_tva_cache_method(SubLObject object, SubLObject stream)
static SubLObject	declare_tva_cache_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_tva_cache_contents_data_file(SubLObject directory_path)
static SubLObject	get_tva_cache_contents_index_file(SubLObject directory_path)
static SubLObject	init_tva_cache_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	load_tva_cache_from_stream(SubLObject stream)
static SubLObject	reconnect_tva_cache_registry_to_file_vector_files(SubLObject data_file, SubLObject index_file, SubLObject common_symbols) Walks the TVA cache registry and reconnects all of the TVA caches registered.
static SubLObject	reconnect_tva_cache_registry(SubLObject directory, SubLObject common_symbols) Helper method for system KB initializations code.
static SubLObject	remove_tva_cache_value(SubLObject argument, SubLObject assertion) We're about to remove a key->value support from the KB.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_tva_cache_file()
static SubLObject	sxhash_tva_cache_method(SubLObject object)
static SubLObject	tva_cache_enabled_p()
static SubLObject	tva_cache_for_predicate_and_index_argnum(SubLObject predicate, SubLObject index_argnum)
static SubLObject	tva_cache_index_argnum(SubLObject object)
static SubLObject	tva_cache_predicate_index_arg_cached_p(SubLObject predicate, SubLObject index_arg)
static SubLObject	tva_cache_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	tva_cache_registry()
static SubLObject	tva_cache_unbuiltP()
static SubLObject	tva_caches_for_predicate(SubLObject predicate)
static SubLObject	tva_caches_implied_by_predicate(SubLObject predicate)

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

$use_tva_cacheP$

public static SubLSymbol $use_tva_cacheP$

$dtp_tva_cache$

public static SubLSymbol $dtp_tva_cache$

$list0

public static final SubLList $list0

$sym1$PRED_CACHES

public static final SubLSymbol $sym1$PRED_CACHES

$sym2$DO_DICTIONARY

public static final SubLSymbol $sym2$DO_DICTIONARY

$list3

public static final SubLList $list3

$sym4$CDOLIST

public static final SubLSymbol $sym4$CDOLIST

$list5

public static final SubLList $list5

$sym6$ENTRY

public static final SubLSymbol $sym6$ENTRY

$sym7$DO_MAP

public static final SubLSymbol $sym7$DO_MAP

$sym8$TVA_CACHE_MAP

public static final SubLSymbol $sym8$TVA_CACHE_MAP

$sym9$CDESTRUCTURING_BIND

public static final SubLSymbol $sym9$CDESTRUCTURING_BIND

$sym10$POSITIVE_INTEGER_P

public static final SubLSymbol $sym10$POSITIVE_INTEGER_P

$const11$cacheTransitiveClosureForArgs

public static final SubLObject $const11$cacheTransitiveClosureForArgs

$sym12$RELEVANT_MT_IS_ANY_MT

public static final SubLSymbol $sym12$RELEVANT_MT_IS_ANY_MT

$const13$InferencePSC

public static final SubLObject $const13$InferencePSC

$kw14$GAF

public static final SubLSymbol $kw14$GAF

$list15

public static final SubLList $list15

$sym16$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym16$CATCH_ERROR_MESSAGE_HANDLER

$str17$Problem_initializing_TVA_CACHE_fo

public static final SubLString $str17$Problem_initializing_TVA_CACHE_fo

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$sym20$TVA_CACHE

public static final SubLSymbol $sym20$TVA_CACHE

$sym21$TVA_CACHE_P

public static final SubLSymbol $sym21$TVA_CACHE_P

$list22

public static final SubLList $list22

$list23

public static final SubLList $list23

$list24

public static final SubLList $list24

$list25

public static final SubLList $list25

$sym26$PPRINT_TVA_CACHE

public static final SubLSymbol $sym26$PPRINT_TVA_CACHE

$sym27$TVA_CACHE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym27$TVA_CACHE_PRINT_FUNCTION_TRAMPOLINE

$sym28$TVA_CACHE_PRED

public static final SubLSymbol $sym28$TVA_CACHE_PRED

$sym29$_CSETF_TVA_CACHE_PRED

public static final SubLSymbol $sym29$_CSETF_TVA_CACHE_PRED

$sym30$TVA_CACHE_INDEX_ARGNUM

public static final SubLSymbol $sym30$TVA_CACHE_INDEX_ARGNUM

$sym31$_CSETF_TVA_CACHE_INDEX_ARGNUM

public static final SubLSymbol $sym31$_CSETF_TVA_CACHE_INDEX_ARGNUM

$sym32$TVA_CACHE_TVA_PRED_GAFS

public static final SubLSymbol $sym32$TVA_CACHE_TVA_PRED_GAFS

$sym33$_CSETF_TVA_CACHE_TVA_PRED_GAFS

public static final SubLSymbol $sym33$_CSETF_TVA_CACHE_TVA_PRED_GAFS

$sym34$TVA_CACHE_TVAI_PRED_GAFS

public static final SubLSymbol $sym34$TVA_CACHE_TVAI_PRED_GAFS

$sym35$_CSETF_TVA_CACHE_TVAI_PRED_GAFS

public static final SubLSymbol $sym35$_CSETF_TVA_CACHE_TVAI_PRED_GAFS

$sym36$_CSETF_TVA_CACHE_MAP

public static final SubLSymbol $sym36$_CSETF_TVA_CACHE_MAP

$kw37$PRED

public static final SubLSymbol $kw37$PRED

$kw38$INDEX_ARGNUM

public static final SubLSymbol $kw38$INDEX_ARGNUM

$kw39$TVA_PRED_GAFS

public static final SubLSymbol $kw39$TVA_PRED_GAFS

$kw40$TVAI_PRED_GAFS

public static final SubLSymbol $kw40$TVAI_PRED_GAFS

$kw41$MAP

public static final SubLSymbol $kw41$MAP

$str42$Invalid_slot__S_for_construction_

public static final SubLString $str42$Invalid_slot__S_for_construction_

$sym43$SXHASH_TVA_CACHE_METHOD

public static final SubLSymbol $sym43$SXHASH_TVA_CACHE_METHOD

$str44$__TVA_CACHE__S__S_

public static final SubLString $str44$__TVA_CACHE__S__S_

$kw45$SWAPPED_OUT

public static final SubLSymbol $kw45$SWAPPED_OUT

$str46$Cannot_reconnect__A__which_is_not

public static final SubLString $str46$Cannot_reconnect__A__which_is_not

$sym47$_TVA_CACHE_REGISTRY_

public static final SubLSymbol $sym47$_TVA_CACHE_REGISTRY_

$const48$genlPreds

public static final SubLObject $const48$genlPreds

$kw49$BREADTH

public static final SubLSymbol $kw49$BREADTH

$kw50$DEPTH

public static final SubLSymbol $kw50$DEPTH

$kw51$STACK

public static final SubLSymbol $kw51$STACK

$kw52$QUEUE

public static final SubLSymbol $kw52$QUEUE

$const53$True_JustificationTruth

public static final SubLObject $const53$True_JustificationTruth

$sym54$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym54$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw55$ERROR

public static final SubLSymbol $kw55$ERROR

$str56$_A_is_not_a__A

public static final SubLString $str56$_A_is_not_a__A

$sym57$SBHL_TRUE_TV_P

public static final SubLSymbol $sym57$SBHL_TRUE_TV_P

$kw58$CERROR

public static final SubLSymbol $kw58$CERROR

$str59$continue_anyway

public static final SubLString $str59$continue_anyway

$kw60$WARN

public static final SubLSymbol $kw60$WARN

$str61$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str61$_A_is_not_a_valid__sbhl_type_erro

$str62$attempting_to_bind_direction_link

public static final SubLString $str62$attempting_to_bind_direction_link

$str63$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str63$Node__a_does_not_pass_sbhl_type_t

$str64$__Creating_TVA_cache_for__S__arg_

public static final SubLString $str64$__Creating_TVA_cache_for__S__arg_

$list65

public static final SubLList $list65

$list66

public static final SubLList $list66

$kw67$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw67$ALLOW_OTHER_KEYS

$kw68$DONE_

public static final SubLSymbol $kw68$DONE_

$sym69$SPEC_PRED

public static final SubLSymbol $sym69$SPEC_PRED

$sym70$DO_ALL_SPEC_PREDICATES_AND_INVERSES

public static final SubLSymbol $sym70$DO_ALL_SPEC_PREDICATES_AND_INVERSES

$sym71$CLET

public static final SubLSymbol $sym71$CLET

$sym72$FIF

public static final SubLSymbol $sym72$FIF

$sym73$FIND_TVA_SUB_CACHE

public static final SubLSymbol $sym73$FIND_TVA_SUB_CACHE

$list74

public static final SubLList $list74

$list75

public static final SubLList $list75

$sym76$TVA_CACHE_SUPPORT_EQUAL_

public static final SubLSymbol $sym76$TVA_CACHE_SUPPORT_EQUAL_

$kw77$GENLPREDS

public static final SubLSymbol $kw77$GENLPREDS

$list78

public static final SubLList $list78

$list79

public static final SubLList $list79

$list80

public static final SubLList $list80

$sym81$TVA_CACHE_VALID_SUPPORT_

public static final SubLSymbol $sym81$TVA_CACHE_VALID_SUPPORT_

$kw82$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw82$_MEMOIZED_ITEM_NOT_FOUND_

$list83

public static final SubLList $list83

$str84$No_specified_pred_for__S

public static final SubLString $str84$No_specified_pred_for__S

$kw85$INVERSE

public static final SubLSymbol $kw85$INVERSE

$kw86$SPEC_PRED

public static final SubLSymbol $kw86$SPEC_PRED

$list87

public static final SubLList $list87

$sym88$ADD_TVA_CACHE_VALUE

public static final SubLSymbol $sym88$ADD_TVA_CACHE_VALUE

$sym89$REMOVE_TVA_CACHE_VALUE

public static final SubLSymbol $sym89$REMOVE_TVA_CACHE_VALUE

$list90

public static final SubLList $list90

$list91

public static final SubLList $list91

$sym92$ADD_TVA_CACHE_KEY

public static final SubLSymbol $sym92$ADD_TVA_CACHE_KEY

$sym93$REMOVE_TVA_CACHE_KEY

public static final SubLSymbol $sym93$REMOVE_TVA_CACHE_KEY

$list94

public static final SubLList $list94

$list95

public static final SubLList $list95

$sym96$BINARY_PREDICATE_

public static final SubLSymbol $sym96$BINARY_PREDICATE_

$const97$transitiveViaArg

public static final SubLObject $const97$transitiveViaArg

$kw98$TRUE

public static final SubLSymbol $kw98$TRUE

$const99$transitiveViaArgInverse

public static final SubLObject $const99$transitiveViaArgInverse

$str100$Error_initializing__S_____S___Der

public static final SubLString $str100$Error_initializing__S_____S___Der

$str101$TVA_Caching_

public static final SubLString $str101$TVA_Caching_

$str102$_

public static final SubLString $str102$_

$str103$_assertions___

public static final SubLString $str103$_assertions___

$const104$relationAllInstance

public static final SubLObject $const104$relationAllInstance

$sym105$TVA_CACHE_MAX_INSTANCES_TO_CACHE

public static final SubLSymbol $sym105$TVA_CACHE_MAX_INSTANCES_TO_CACHE

$int106$25

public static final SubLInteger $int106$25

$sym107$_TVA_CACHE_MAX_INSTANCES_TO_CACHE_CACHING_STATE_

public static final SubLSymbol $sym107$_TVA_CACHE_MAX_INSTANCES_TO_CACHE_CACHING_STATE_

$const108$isa

public static final SubLObject $const108$isa

$list109

public static final SubLList $list109

$const110$relationInstanceAll

public static final SubLObject $const110$relationInstanceAll

$kw111$COMPLEX

public static final SubLSymbol $kw111$COMPLEX

$str112$Complex_TVA_cache_support_in__S

public static final SubLString $str112$Complex_TVA_cache_support_in__S

$list113

public static final SubLList $list113

$list114

public static final SubLList $list114

$sym115$INDEXED_TERM_P

public static final SubLSymbol $sym115$INDEXED_TERM_P

$kw116$TOP

public static final SubLSymbol $kw116$TOP

$kw117$TRUE_DEF

public static final SubLSymbol $kw117$TRUE_DEF

$list118

public static final SubLList $list118

$sym119$PRED

public static final SubLSymbol $sym119$PRED

$str120$Don_t_know_how_to_find_the_transi

public static final SubLString $str120$Don_t_know_how_to_find_the_transi

$list121

public static final SubLList $list121

$str122$Can_t_get_transitivity_support_fr

public static final SubLString $str122$Can_t_get_transitivity_support_fr

$sym123$TVA_CACHE_SUPPORT_GAF

public static final SubLSymbol $sym123$TVA_CACHE_SUPPORT_GAF

$list124

public static final SubLList $list124

$list125

public static final SubLList $list125

$const126$TransitiveBinaryPredicate

public static final SubLObject $const126$TransitiveBinaryPredicate

$int127$96

public static final SubLInteger $int127$96

$sym128$CFASL_INPUT_TVA_CACHE

public static final SubLSymbol $sym128$CFASL_INPUT_TVA_CACHE

$sym129$CFASL_OUTPUT_OBJECT_TVA_CACHE_METHOD

public static final SubLSymbol $sym129$CFASL_OUTPUT_OBJECT_TVA_CACHE_METHOD

$str130$tva_cache_contents

public static final SubLString $str130$tva_cache_contents

$str131$tva_cache_contents_index

public static final SubLString $str131$tva_cache_contents_index

$list132

public static final SubLList $list132

$str133$Reconnecting_to_legacy_unit_files

public static final SubLString $str133$Reconnecting_to_legacy_unit_files

$sym134$DUMP_TVA_CACHE_TO_STREAM

public static final SubLSymbol $sym134$DUMP_TVA_CACHE_TO_STREAM

$list135

public static final SubLList $list135

Method Detail

tva_cache_predicate_index_arg_cached_p

public static final SubLObject tva_cache_predicate_index_arg_cached_p(SubLObject predicate,
                                                                      SubLObject index_arg)

tva_cache_enabled_p

public static final SubLObject tva_cache_enabled_p()

tva_cache_print_function_trampoline

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

tva_cache_index_argnum

public static final SubLObject tva_cache_index_argnum(SubLObject object)

sxhash_tva_cache_method

public static final SubLObject sxhash_tva_cache_method(SubLObject object)

tva_cache_registry

public static final SubLObject tva_cache_registry()

tva_caches_for_predicate

public static final SubLObject tva_caches_for_predicate(SubLObject predicate)

tva_caches_implied_by_predicate

public static final SubLObject tva_caches_implied_by_predicate(SubLObject predicate)

Returns:

LISTP of TVA caches that represent facts implied by PREDICATE.

tva_cache_for_predicate_and_index_argnum

public static final SubLObject tva_cache_for_predicate_and_index_argnum(SubLObject predicate,
                                                                        SubLObject index_argnum)

add_tva_cache_value

public static final SubLObject add_tva_cache_value(SubLObject argument,
                                                   SubLObject assertion)

We've just added a new key->value support to the KB.

remove_tva_cache_value

public static final SubLObject remove_tva_cache_value(SubLObject argument,
                                                      SubLObject assertion)

We're about to remove a key->value support from the KB.

cfasl_output_object_tva_cache_method

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

tva_cache_unbuiltP

public static final SubLObject tva_cache_unbuiltP()

get_tva_cache_contents_data_file

public static final SubLObject get_tva_cache_contents_data_file(SubLObject directory_path)

get_tva_cache_contents_index_file

public static final SubLObject get_tva_cache_contents_index_file(SubLObject directory_path)

reconnect_tva_cache_registry

public static final SubLObject reconnect_tva_cache_registry(SubLObject directory,
                                                            SubLObject common_symbols)

Helper method for system KB initializations code.

reconnect_tva_cache_registry_to_file_vector_files

public static final SubLObject reconnect_tva_cache_registry_to_file_vector_files(SubLObject data_file,
                                                                                 SubLObject index_file,
                                                                                 SubLObject common_symbols)

Walks the TVA cache registry and reconnects all of the TVA caches registered.

load_tva_cache_from_stream

public static final SubLObject load_tva_cache_from_stream(SubLObject stream)

declare_tva_cache_file

public static final SubLObject declare_tva_cache_file()

init_tva_cache_file

public static final SubLObject init_tva_cache_file()

setup_tva_cache_file

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