sbhl_cache

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.sbhl
Class sbhl_cache

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class sbhl_cache
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`sbhl_cache.$valid_fort_typeP$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$additional_fort_typing_collections$ The additional fort type collections.
`static SubLSymbol`	$all_mts_genl_inverse_cache$ The dictionary of dictionaries of genl-inverse relations with all mts relevance
`static SubLSymbol`	$all_mts_genl_predicate_cache$ The dictionary of dictionaries of genl-predicate relations with all mts relevance
`static SubLSymbol`	$all_mts_genls_cache$ The dictionary of dictionaries of genls relations
`static SubLSymbol`	$all_mts_isa_cache$ The id-index of forts types*
`static SubLSymbol`	$cached_genl_predicates_set$ The predicates that have their spec-preds and spec-inverses cached
`static SubLSymbol`	$cached_genls_set$ The collections that have their specs cached.
`static SubLSymbol`	$cached_isas_set$ All of the collections whose instances (via #$isa) are cached
`static SubLSymbol`	$cached_isas$
`static SubLObject`	`$const20$isa`
`static SubLObject`	`$const29$genls`
`static SubLObject`	`$const30$genlPreds`
`static SubLObject`	`$const31$genlInverse`
`static SubLObject`	`$const63$Relation`
`static SubLObject`	`$const64$Predicate`
`static SubLObject`	`$const65$Function_Denotational`
`static SubLObject`	`$const66$LogicalConnective`
`static SubLObject`	`$const67$Quantifier`
`static SubLObject`	`$const69$EverythingPSC`
`static SubLObject`	`$const74$UniversalVocabularyMt`
`static SubLSymbol`	$definitional_fort_typing_collections$ The collections used for fort type definitional typing.
`static SubLSymbol`	$genl_inverse_cache$ The dictionary of dictionaries of genl-inverse relations
`static SubLSymbol`	$genl_predicate_cache$ The dictionary of dictionaries of genl-predicate relations
`static SubLSymbol`	$genls_cache$ The dictionary of dictionaries of genls relations
`static SubLSymbol`	$implicit_fort_type_mapping$ Table mapping implicit fort types to the explicit fort types of which they are composed.
`static SubLSymbol`	$implicit_fort_typing_collections$ Implicit fort typing collections which are not stored explicitly but can be deduced by the union of other fort types.
`static SubLSymbol`	$isa_cache$ The dictionary of dictionaries of mts of types of forts
`static SubLSymbol`	`$kw73$TRUE`
`static SubLSymbol`	`$kw75$DEPTH`
`static SubLSymbol`	`$kw76$STACK`
`static SubLSymbol`	`$kw77$QUEUE`
`static SubLSymbol`	`$kw79$ERROR`
`static SubLSymbol`	`$kw82$CERROR`
`static SubLSymbol`	`$kw84$WARN`
`static SubLSymbol`	`$kw88$SKIP`
`static SubLSymbol`	`$kw91$BREADTH`
`static SubLList`	`$list13`
`static SubLList`	`$list15`
`static SubLList`	`$list17`
`static SubLList`	`$list2`
`static SubLList`	`$list25`
`static SubLList`	`$list26`
`static SubLList`	`$list34`
`static SubLList`	`$list44`
`static SubLList`	`$list52`
`static SubLList`	`$list56`
`static SubLList`	`$list62`
`static SubLList`	`$list70`
`static SubLList`	`$list9`
`static SubLList`	`$list94`
`static SubLString`	`$str43$All_Mts_cache_is_missing_for__A_`
`static SubLString`	`$str71$Computing_all_mts_SBHL_caches_`
`static SubLString`	`$str72$Computing_SBHL_caches_from_all_mt`
`static SubLString`	`$str80$_A_is_not_a__A`
`static SubLString`	`$str83$continue_anyway`
`static SubLString`	`$str85$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str86$attempting_to_bind_direction_link`
`static SubLString`	`$str87$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str89$genlPreds___genlInverse_after_add`
`static SubLSymbol`	`$sym0$_SBHL_CACHES_INITIALIZED__`
`static SubLSymbol`	`$sym1$_CACHED_GENL_PREDICATES_`
`static SubLSymbol`	`$sym10$_CACHED_GENLS_SET_`
`static SubLSymbol`	`$sym11$_GENLS_CACHE_`
`static SubLSymbol`	`$sym12$_ALL_MTS_GENLS_CACHE_`
`static SubLSymbol`	`$sym14$_ADDITIONAL_FORT_TYPING_COLLECTIONS_`
`static SubLSymbol`	`$sym16$_IMPLICIT_FORT_TYPING_COLLECTIONS_`
`static SubLSymbol`	`$sym18$_CACHED_ISAS_`
`static SubLSymbol`	`$sym19$_CACHED_ISAS_SET_`
`static SubLSymbol`	`$sym21$_ISA_CACHE_`
`static SubLSymbol`	`$sym22$_IMPLICIT_FORT_TYPE_MAPPING_`
`static SubLSymbol`	`$sym23$_ALL_MTS_ISA_CACHE_`
`static SubLSymbol`	`$sym24$_CACHED_PREDS_`
`static SubLSymbol`	`$sym27$DO_SET`
`static SubLSymbol`	`$sym28$GET_CACHED_NODES_SET_FOR_PRED`
`static SubLSymbol`	`$sym3$_CACHED_GENL_PREDICATES_SET_`
`static SubLSymbol`	`$sym32$FORT_P`
`static SubLSymbol`	`$sym33$SBHL_PREDICATE_P`
`static SubLSymbol`	`$sym35$SUBNODES_VAR`
`static SubLSymbol`	`$sym36$DO_DICTIONARY`
`static SubLSymbol`	`$sym37$GET_SBHL_CACHE_FOR_PRED`
`static SubLSymbol`	`$sym38$PWHEN`
`static SubLSymbol`	`$sym39$DICTIONARY_P`
`static SubLSymbol`	`$sym4$_GENL_PREDICATE_CACHE_`
`static SubLSymbol`	`$sym40$CLET`
`static SubLSymbol`	`$sym41$DICTIONARY_LOOKUP`
`static SubLSymbol`	`$sym42$HLMT_EQUAL`
`static SubLSymbol`	`$sym45$SUBNODES`
`static SubLSymbol`	`$sym46$NODES`
`static SubLSymbol`	`$sym47$CACHE`
`static SubLSymbol`	`$sym48$GET_SBHL_ALL_MTS_CACHE_FOR_PRED`
`static SubLSymbol`	`$sym49$PIF`
`static SubLSymbol`	`$sym5$_GENL_INVERSE_CACHE_`
`static SubLSymbol`	`$sym50$FORT_ID_INDEX_P`
`static SubLSymbol`	`$sym51$DO_FORT_ID_INDEX`
`static SubLSymbol`	`$sym53$CACHE`
`static SubLSymbol`	`$sym54$CACHED_NODES_STORE`
`static SubLSymbol`	`$sym55$MEMBER_`
`static SubLSymbol`	`$sym57$CACHE`
`static SubLSymbol`	`$sym58$SUBNODES`
`static SubLSymbol`	`$sym59$SBHL_PRED_ALL_MTS_CACHE_USES_ID_INDEX_P`
`static SubLSymbol`	`$sym6$_ALL_MTS_GENL_PREDICATE_CACHE_`
`static SubLSymbol`	`$sym60$SBHL_ID_INDEX_LOOKUP`
`static SubLSymbol`	`$sym61$SET_MEMBER_`
`static SubLSymbol`	`$sym68$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym7$_ALL_MTS_GENL_INVERSE_CACHE_`
`static SubLSymbol`	`$sym78$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym8$_CACHED_GENLS_`
`static SubLSymbol`	`$sym81$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym90$RESET_CACHED_GENL_PRED_AND_INVERSE_RELATIONS`
`static SubLSymbol`	`$sym92$RESET_CACHED_ISA_RELATIONS`
`static SubLSymbol`	`$sym93$RESET_CACHED_GENLS_RELATIONS`
`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

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_to_sbhl_all_mts_cache(SubLObject pred, SubLObject node, SubLObject subnode)` Modifier.
`static SubLObject`	`add_to_sbhl_cache(SubLObject pred, SubLObject node, SubLObject subnode, SubLObject mt)` Modifier.
`static SubLObject`	`cached_all_mts_relation_p(SubLObject pred, SubLObject subnode, SubLObject node)` Accessor.
`static SubLObject`	`cached_all_mts_relations_for_node(SubLObject pred, SubLObject node)` Accessor.
`static SubLObject`	`cached_nodeP(SubLObject node, SubLObject pred)`
`static SubLObject`	`cached_relation_in_cache_p(SubLObject pred, SubLObject subnode, SubLObject node, SubLObject mt)` Accessor.
`static SubLObject`	`cached_relation_p(SubLObject pred, SubLObject subnode, SubLObject node)` Accessor.
`static SubLObject`	`declare_sbhl_cache_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`genls_cache_addition_maintainence(SubLObject assertion)`
`static SubLObject`	`genls_cache_removal_maintainence(SubLObject assertion)`
`static SubLObject`	`get_cached_nodes_set_for_pred(SubLObject pred)`
`static SubLObject`	`get_mts_for_cached_sbhl_relation(SubLObject pred, SubLObject subnode, SubLObject node)` Accessor.
`static SubLObject`	`get_sbhl_all_mts_cache_for_pred(SubLObject pred)` Accesor.
`static SubLObject`	`get_sbhl_cache_for_pred(SubLObject pred)` Accessor.
`static SubLObject`	`get_sbhl_cached_nodes_for_pred(SubLObject pred)`
`static SubLObject`	`init_sbhl_cache_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`isa_cache_addition_maintainence(SubLObject assertion)`
`static SubLObject`	`isa_cache_removal_maintainence(SubLObject assertion)`
`static SubLObject`	`note_sbhl_caches_initialized()`
`static SubLObject`	`possibly_add_to_sbhl_caches(SubLObject assertion, SubLObject term2_check_pred, SubLObject cache_pred)` Modifier.
`static SubLObject`	`possibly_remove_from_sbhl_caches(SubLObject pred, SubLObject assertion)` Modifier.
`static SubLObject`	`recache_sbhl_cachesP()`
`static SubLObject`	`retract_from_sbhl_all_mts_cache(SubLObject pred, SubLObject node, SubLObject subnode)`
`static SubLObject`	`retract_from_sbhl_cache(SubLObject pred, SubLObject node, SubLObject subnode, SubLObject mt)` Modifier.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`sbhl_cache_addition_maintainence(SubLObject assertion)` Modifier.
`static SubLObject`	`sbhl_cache_removal_maintainence(SubLObject assertion)` Modifier.
`static SubLObject`	`sbhl_cache_use_possible_for_nodes_p(SubLObject pred, SubLObject nodes, SubLObject node)` Accessor.
`static SubLObject`	`sbhl_cache_use_possible_p(SubLObject pred, SubLObject node1, SubLObject node2)` Accessor.
`static SubLObject`	`sbhl_cached_predicate_relation_p(SubLObject pred, SubLObject subnode, SubLObject node, SubLObject mt)` Accessor.
`static SubLObject`	`sbhl_cached_relation_p(SubLObject pred, SubLObject subnode, SubLObject node)`
`static SubLObject`	`sbhl_caches_initialized_p()`
`static SubLObject`	`sbhl_genl_preds_cache_addition_maintainence(SubLObject assertion)`
`static SubLObject`	`sbhl_genl_preds_cache_removal_maintainence(SubLObject assertion)`
`static SubLObject`	`sbhl_id_index_lookup(SubLObject v_id_index, SubLObject node)` Does an @xref fort-id-index-lookup on ID-INDEX with NODE, provided node is a fort.
`static SubLObject`	`sbhl_pred_all_mts_cache_uses_id_index_p(SubLObject pred)`
`static SubLObject`	`sbhl_pred_has_caching_p(SubLObject pred)`
`static SubLObject`	`sbhl_predicate_relation_to_which_cached_nodes_excluding_link_node(SubLObject pred, SubLObject node, SubLObject cache_pred, SubLObject excl_link_node)`
`static SubLObject`	`sbhl_predicate_relation_to_which_cached_nodes(SubLObject pred, SubLObject node, SubLObject cache_pred)`
`static SubLObject`	`setup_sbhl_cache_file()`
`static SubLObject`	`valid_fort_typeP(SubLObject type)` Accessor.

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

$cached_genl_predicates_set$

public static SubLSymbol $cached_genl_predicates_set$

The predicates that have their spec-preds and spec-inverses cached

$genl_predicate_cache$

public static SubLSymbol $genl_predicate_cache$

The dictionary of dictionaries of genl-predicate relations

$genl_inverse_cache$

public static SubLSymbol $genl_inverse_cache$

The dictionary of dictionaries of genl-inverse relations

$all_mts_genl_predicate_cache$

public static SubLSymbol $all_mts_genl_predicate_cache$

The dictionary of dictionaries of genl-predicate relations with all mts relevance

$all_mts_genl_inverse_cache$

public static SubLSymbol $all_mts_genl_inverse_cache$

The dictionary of dictionaries of genl-inverse relations with all mts relevance

$cached_genls_set$

public static SubLSymbol $cached_genls_set$

The collections that have their specs cached.

$genls_cache$

public static SubLSymbol $genls_cache$

The dictionary of dictionaries of genls relations

$all_mts_genls_cache$

public static SubLSymbol $all_mts_genls_cache$

The dictionary of dictionaries of genls relations

$definitional_fort_typing_collections$

public static SubLSymbol $definitional_fort_typing_collections$

The collections used for fort type definitional typing.

$additional_fort_typing_collections$

public static SubLSymbol $additional_fort_typing_collections$

The additional fort type collections. Those which are not intended to be defining, disjoint types of forts

$implicit_fort_typing_collections$

public static SubLSymbol $implicit_fort_typing_collections$

Implicit fort typing collections which are not stored explicitly but can be deduced by the union of other fort types.

$cached_isas$

public static SubLSymbol $cached_isas$

$cached_isas_set$

public static SubLSymbol $cached_isas_set$

All of the collections whose instances (via #$isa) are cached

$isa_cache$

public static SubLSymbol $isa_cache$

The dictionary of dictionaries of mts of types of forts

$implicit_fort_type_mapping$

public static SubLSymbol $implicit_fort_type_mapping$

Table mapping implicit fort types to the explicit fort types of which they are composed. This must be the same in all mts.

$all_mts_isa_cache$

public static SubLSymbol $all_mts_isa_cache$

The id-index of forts types*

$sym0$_SBHL_CACHES_INITIALIZED__

public static final SubLSymbol $sym0$_SBHL_CACHES_INITIALIZED__

$sym1$_CACHED_GENL_PREDICATES_

public static final SubLSymbol $sym1$_CACHED_GENL_PREDICATES_

$list2

public static final SubLList $list2

$sym3$_CACHED_GENL_PREDICATES_SET_

public static final SubLSymbol $sym3$_CACHED_GENL_PREDICATES_SET_

$sym4$_GENL_PREDICATE_CACHE_

public static final SubLSymbol $sym4$_GENL_PREDICATE_CACHE_

$sym5$_GENL_INVERSE_CACHE_

public static final SubLSymbol $sym5$_GENL_INVERSE_CACHE_

$sym6$_ALL_MTS_GENL_PREDICATE_CACHE_

public static final SubLSymbol $sym6$_ALL_MTS_GENL_PREDICATE_CACHE_

$sym7$_ALL_MTS_GENL_INVERSE_CACHE_

public static final SubLSymbol $sym7$_ALL_MTS_GENL_INVERSE_CACHE_

$sym8$_CACHED_GENLS_

public static final SubLSymbol $sym8$_CACHED_GENLS_

$list9

public static final SubLList $list9

$sym10$_CACHED_GENLS_SET_

public static final SubLSymbol $sym10$_CACHED_GENLS_SET_

$sym11$_GENLS_CACHE_

public static final SubLSymbol $sym11$_GENLS_CACHE_

$sym12$_ALL_MTS_GENLS_CACHE_

public static final SubLSymbol $sym12$_ALL_MTS_GENLS_CACHE_

$list13

public static final SubLList $list13

$sym14$_ADDITIONAL_FORT_TYPING_COLLECTIONS_

public static final SubLSymbol $sym14$_ADDITIONAL_FORT_TYPING_COLLECTIONS_

$list15

public static final SubLList $list15

$sym16$_IMPLICIT_FORT_TYPING_COLLECTIONS_

public static final SubLSymbol $sym16$_IMPLICIT_FORT_TYPING_COLLECTIONS_

$list17

public static final SubLList $list17

$sym18$_CACHED_ISAS_

public static final SubLSymbol $sym18$_CACHED_ISAS_

$sym19$_CACHED_ISAS_SET_

public static final SubLSymbol $sym19$_CACHED_ISAS_SET_

$const20$isa

public static final SubLObject $const20$isa

$sym21$_ISA_CACHE_

public static final SubLSymbol $sym21$_ISA_CACHE_

$sym22$_IMPLICIT_FORT_TYPE_MAPPING_

public static final SubLSymbol $sym22$_IMPLICIT_FORT_TYPE_MAPPING_

$sym23$_ALL_MTS_ISA_CACHE_

public static final SubLSymbol $sym23$_ALL_MTS_ISA_CACHE_

$sym24$_CACHED_PREDS_

public static final SubLSymbol $sym24$_CACHED_PREDS_

$list25

public static final SubLList $list25

$list26

public static final SubLList $list26

$sym27$DO_SET

public static final SubLSymbol $sym27$DO_SET

$sym28$GET_CACHED_NODES_SET_FOR_PRED

public static final SubLSymbol $sym28$GET_CACHED_NODES_SET_FOR_PRED

$const29$genls

public static final SubLObject $const29$genls

$const30$genlPreds

public static final SubLObject $const30$genlPreds

$const31$genlInverse

public static final SubLObject $const31$genlInverse

$sym32$FORT_P

public static final SubLSymbol $sym32$FORT_P

$sym33$SBHL_PREDICATE_P

public static final SubLSymbol $sym33$SBHL_PREDICATE_P

$list34

public static final SubLList $list34

$sym35$SUBNODES_VAR

public static final SubLSymbol $sym35$SUBNODES_VAR

$sym36$DO_DICTIONARY

public static final SubLSymbol $sym36$DO_DICTIONARY

$sym37$GET_SBHL_CACHE_FOR_PRED

public static final SubLSymbol $sym37$GET_SBHL_CACHE_FOR_PRED

$sym38$PWHEN

public static final SubLSymbol $sym38$PWHEN

$sym39$DICTIONARY_P

public static final SubLSymbol $sym39$DICTIONARY_P

$sym40$CLET

public static final SubLSymbol $sym40$CLET

$sym41$DICTIONARY_LOOKUP

public static final SubLSymbol $sym41$DICTIONARY_LOOKUP

$sym42$HLMT_EQUAL

public static final SubLSymbol $sym42$HLMT_EQUAL

$str43$All_Mts_cache_is_missing_for__A_

public static final SubLString $str43$All_Mts_cache_is_missing_for__A_

$list44

public static final SubLList $list44

$sym45$SUBNODES

public static final SubLSymbol $sym45$SUBNODES

$sym46$NODES

public static final SubLSymbol $sym46$NODES

$sym47$CACHE

public static final SubLSymbol $sym47$CACHE

$sym48$GET_SBHL_ALL_MTS_CACHE_FOR_PRED

public static final SubLSymbol $sym48$GET_SBHL_ALL_MTS_CACHE_FOR_PRED

$sym49$PIF

public static final SubLSymbol $sym49$PIF

$sym50$FORT_ID_INDEX_P

public static final SubLSymbol $sym50$FORT_ID_INDEX_P

$sym51$DO_FORT_ID_INDEX

public static final SubLSymbol $sym51$DO_FORT_ID_INDEX

$list52

public static final SubLList $list52

$sym53$CACHE

public static final SubLSymbol $sym53$CACHE

$sym54$CACHED_NODES_STORE

public static final SubLSymbol $sym54$CACHED_NODES_STORE

$sym55$MEMBER_

public static final SubLSymbol $sym55$MEMBER_

$list56

public static final SubLList $list56

$sym57$CACHE

public static final SubLSymbol $sym57$CACHE

$sym58$SUBNODES

public static final SubLSymbol $sym58$SUBNODES

$sym59$SBHL_PRED_ALL_MTS_CACHE_USES_ID_INDEX_P

public static final SubLSymbol $sym59$SBHL_PRED_ALL_MTS_CACHE_USES_ID_INDEX_P

$sym60$SBHL_ID_INDEX_LOOKUP

public static final SubLSymbol $sym60$SBHL_ID_INDEX_LOOKUP

$sym61$SET_MEMBER_

public static final SubLSymbol $sym61$SET_MEMBER_

$list62

public static final SubLList $list62

$const63$Relation

public static final SubLObject $const63$Relation

$const64$Predicate

public static final SubLObject $const64$Predicate

$const65$Function_Denotational

public static final SubLObject $const65$Function_Denotational

$const66$LogicalConnective

public static final SubLObject $const66$LogicalConnective

$const67$Quantifier

public static final SubLObject $const67$Quantifier

$sym68$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym68$RELEVANT_MT_IS_EVERYTHING

$const69$EverythingPSC

public static final SubLObject $const69$EverythingPSC

$list70

public static final SubLList $list70

$str71$Computing_all_mts_SBHL_caches_

public static final SubLString $str71$Computing_all_mts_SBHL_caches_

$str72$Computing_SBHL_caches_from_all_mt

public static final SubLString $str72$Computing_SBHL_caches_from_all_mt

$kw73$TRUE

public static final SubLSymbol $kw73$TRUE

$const74$UniversalVocabularyMt

public static final SubLObject $const74$UniversalVocabularyMt

$kw75$DEPTH

public static final SubLSymbol $kw75$DEPTH

$kw76$STACK

public static final SubLSymbol $kw76$STACK

$kw77$QUEUE

public static final SubLSymbol $kw77$QUEUE

$sym78$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym78$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw79$ERROR

public static final SubLSymbol $kw79$ERROR

$str80$_A_is_not_a__A

public static final SubLString $str80$_A_is_not_a__A

$sym81$SBHL_TRUE_TV_P

public static final SubLSymbol $sym81$SBHL_TRUE_TV_P

$kw82$CERROR

public static final SubLSymbol $kw82$CERROR

$str83$continue_anyway

public static final SubLString $str83$continue_anyway

$kw84$WARN

public static final SubLSymbol $kw84$WARN

$str85$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str85$_A_is_not_a_valid__sbhl_type_erro

$str86$attempting_to_bind_direction_link

public static final SubLString $str86$attempting_to_bind_direction_link

$str87$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str87$Node__a_does_not_pass_sbhl_type_t

$kw88$SKIP

public static final SubLSymbol $kw88$SKIP

$str89$genlPreds___genlInverse_after_add

public static final SubLString $str89$genlPreds___genlInverse_after_add

$sym90$RESET_CACHED_GENL_PRED_AND_INVERSE_RELATIONS

public static final SubLSymbol $sym90$RESET_CACHED_GENL_PRED_AND_INVERSE_RELATIONS

$kw91$BREADTH

public static final SubLSymbol $kw91$BREADTH

$sym92$RESET_CACHED_ISA_RELATIONS

public static final SubLSymbol $sym92$RESET_CACHED_ISA_RELATIONS

$sym93$RESET_CACHED_GENLS_RELATIONS

public static final SubLSymbol $sym93$RESET_CACHED_GENLS_RELATIONS

$list94

public static final SubLList $list94

Method Detail

note_sbhl_caches_initialized

public static final SubLObject note_sbhl_caches_initialized()

sbhl_caches_initialized_p

public static final SubLObject sbhl_caches_initialized_p()

valid_fort_typeP

public static final SubLObject valid_fort_typeP(SubLObject type)

Accessor. @return booleanp; is TYPE a member of @xref all-fort-types.

cached_nodeP

public static final SubLObject cached_nodeP(SubLObject node,
                                            SubLObject pred)

Returns:: booleanp; whether NODE is a cached superior node for PRED

sbhl_id_index_lookup

public static final SubLObject sbhl_id_index_lookup(SubLObject v_id_index,
                                                    SubLObject node)

Does an @xref fort-id-index-lookup on ID-INDEX with NODE, provided node is a fort.

get_cached_nodes_set_for_pred

public static final SubLObject get_cached_nodes_set_for_pred(SubLObject pred)

Returns:: setp; the cached subsuming node set for MODULE.

get_sbhl_cached_nodes_for_pred

public static final SubLObject get_sbhl_cached_nodes_for_pred(SubLObject pred)

Returns:: listp; the cached subsuming nodes for PRED

sbhl_pred_has_caching_p

public static final SubLObject sbhl_pred_has_caching_p(SubLObject pred)

Returns:: booleanp; whether PRED has any caching.

sbhl_cache_use_possible_p

public static final SubLObject sbhl_cache_use_possible_p(SubLObject pred,
                                                         SubLObject node1,
                                                         SubLObject node2)

Accessor. @return booleanp. Determines whether a cache of the relation (PRED NODE1 NODE2) could exist and can currently be used

sbhl_cache_use_possible_for_nodes_p

public static final SubLObject sbhl_cache_use_possible_for_nodes_p(SubLObject pred,
                                                                   SubLObject nodes,
                                                                   SubLObject node)

Accessor. @return booleanp.

sbhl_cached_predicate_relation_p

public static final SubLObject sbhl_cached_predicate_relation_p(SubLObject pred,
                                                                SubLObject subnode,
                                                                SubLObject node,
                                                                SubLObject mt)

Accessor. @return booleanp. Returns whether the (PRED SUBNODE NODE):MT relation is cached in the sbhl caches.

sbhl_cached_relation_p

public static final SubLObject sbhl_cached_relation_p(SubLObject pred,
                                                      SubLObject subnode,
                                                      SubLObject node)

get_sbhl_cache_for_pred

public static final SubLObject get_sbhl_cache_for_pred(SubLObject pred)

Accessor. @return sbhl-cache-p; The cached relations associated with PRED.

get_mts_for_cached_sbhl_relation

public static final SubLObject get_mts_for_cached_sbhl_relation(SubLObject pred,
                                                                SubLObject subnode,
                                                                SubLObject node)

Accessor. @return listp; the list of mts for the cached (PRED SUBNODE NODE) relations.

cached_relation_p

public static final SubLObject cached_relation_p(SubLObject pred,
                                                 SubLObject subnode,
                                                 SubLObject node)

Accessor. @return booleanp; Whether the (PRED SUBNODE NODE):MT relation is valid, considering cached relations.

cached_relation_in_cache_p

public static final SubLObject cached_relation_in_cache_p(SubLObject pred,
                                                          SubLObject subnode,
                                                          SubLObject node,
                                                          SubLObject mt)

Accessor. like @xref sbhl-cached-relation-p, except this looks just in the cache for an exact match for (PRED SUBNODE NODE):MT, and is not predicated on mt-relevance

sbhl_pred_all_mts_cache_uses_id_index_p

public static final SubLObject sbhl_pred_all_mts_cache_uses_id_index_p(SubLObject pred)

get_sbhl_all_mts_cache_for_pred

public static final SubLObject get_sbhl_all_mts_cache_for_pred(SubLObject pred)

Accesor. @return sbhl-all-mts-cache-; The cached all-mts relations for PRED.

cached_all_mts_relation_p

public static final SubLObject cached_all_mts_relation_p(SubLObject pred,
                                                         SubLObject subnode,
                                                         SubLObject node)

Accessor. @return booleanp; Whether the (PRED SUBNODE NODE) relation is cached with all-mts relevance.

cached_all_mts_relations_for_node

public static final SubLObject cached_all_mts_relations_for_node(SubLObject pred,
                                                                 SubLObject node)

Accessor. @return listp; The cached-nodes s.t. (PRED NODE CACHED-NODE) relation is valid with all-mts relevance.

add_to_sbhl_cache

public static final SubLObject add_to_sbhl_cache(SubLObject pred,
                                                 SubLObject node,
                                                 SubLObject subnode,
                                                 SubLObject mt)

Modifier. Adds the MT info to the (PRED SUBNODE NODE) cache.

add_to_sbhl_all_mts_cache

public static final SubLObject add_to_sbhl_all_mts_cache(SubLObject pred,
                                                         SubLObject node,
                                                         SubLObject subnode)

Modifier. Adds the (PRED SUBNODE NODE) info to the all-mts cache.

sbhl_cache_addition_maintainence

public static final SubLObject sbhl_cache_addition_maintainence(SubLObject assertion)

Modifier. This is the main accessor for the SBHL to do cache maintainence. It belongs in the after-addings of predicates with cached relations.

possibly_add_to_sbhl_caches

public static final SubLObject possibly_add_to_sbhl_caches(SubLObject assertion,
                                                           SubLObject term2_check_pred,
                                                           SubLObject cache_pred)

Modifier. @return booleanp; Returns whether or not there was addition to the sbhl-caches on account of adding ASSERTION. This does the general addition maintainence for all preds. Each particular pred may do additional addition maintainence besides this.

retract_from_sbhl_cache

public static final SubLObject retract_from_sbhl_cache(SubLObject pred,
                                                       SubLObject node,
                                                       SubLObject subnode,
                                                       SubLObject mt)

Modifier. @return booleanp; Removes MT from the cache for NODE, and returns T iff this was the last MT for the PRED SUBNODE NODE relation.

retract_from_sbhl_all_mts_cache

public static final SubLObject retract_from_sbhl_all_mts_cache(SubLObject pred,
                                                               SubLObject node,
                                                               SubLObject subnode)

sbhl_cache_removal_maintainence

public static final SubLObject sbhl_cache_removal_maintainence(SubLObject assertion)

Modifier. This is the main accessor for the SBHL to do cache maintainence. It belongs in the after-removing of predicates with cached relations.

possibly_remove_from_sbhl_caches

public static final SubLObject possibly_remove_from_sbhl_caches(SubLObject pred,
                                                                SubLObject assertion)

Modifier. @return booleanp; Returns whether or not there was removal from the sbhl-caches on account of removing ASSERTION. This does the general removal maintainence for all preds. Each particular pred may do additional removal maintainence besides this.

recache_sbhl_cachesP

public static final SubLObject recache_sbhl_cachesP()

sbhl_predicate_relation_to_which_cached_nodes

public static final SubLObject sbhl_predicate_relation_to_which_cached_nodes(SubLObject pred,
                                                                             SubLObject node,
                                                                             SubLObject cache_pred)

sbhl_predicate_relation_to_which_cached_nodes_excluding_link_node

public static final SubLObject sbhl_predicate_relation_to_which_cached_nodes_excluding_link_node(SubLObject pred,
                                                                                                 SubLObject node,
                                                                                                 SubLObject cache_pred,
                                                                                                 SubLObject excl_link_node)

sbhl_genl_preds_cache_addition_maintainence

public static final SubLObject sbhl_genl_preds_cache_addition_maintainence(SubLObject assertion)

sbhl_genl_preds_cache_removal_maintainence

public static final SubLObject sbhl_genl_preds_cache_removal_maintainence(SubLObject assertion)

genls_cache_addition_maintainence

public static final SubLObject genls_cache_addition_maintainence(SubLObject assertion)

genls_cache_removal_maintainence

public static final SubLObject genls_cache_removal_maintainence(SubLObject assertion)

isa_cache_addition_maintainence

public static final SubLObject isa_cache_addition_maintainence(SubLObject assertion)

isa_cache_removal_maintainence

public static final SubLObject isa_cache_removal_maintainence(SubLObject assertion)

declare_sbhl_cache_file

public static final SubLObject declare_sbhl_cache_file()

init_sbhl_cache_file

public static final SubLObject init_sbhl_cache_file()

setup_sbhl_cache_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.sbhl Class sbhl_cache

me

myName

$cached_genl_predicates_set$

$genl_predicate_cache$

$genl_inverse_cache$

$all_mts_genl_predicate_cache$

$all_mts_genl_inverse_cache$

$cached_genls_set$

$genls_cache$

$all_mts_genls_cache$

$definitional_fort_typing_collections$

$additional_fort_typing_collections$

$implicit_fort_typing_collections$

$cached_isas$

$cached_isas_set$

$isa_cache$

$implicit_fort_type_mapping$

$all_mts_isa_cache$

$sym0$_SBHL_CACHES_INITIALIZED__

$sym1$_CACHED_GENL_PREDICATES_

$list2

$sym3$_CACHED_GENL_PREDICATES_SET_

$sym4$_GENL_PREDICATE_CACHE_

$sym5$_GENL_INVERSE_CACHE_

$sym6$_ALL_MTS_GENL_PREDICATE_CACHE_

$sym7$_ALL_MTS_GENL_INVERSE_CACHE_

$sym8$_CACHED_GENLS_

$list9

$sym10$_CACHED_GENLS_SET_

$sym11$_GENLS_CACHE_

$sym12$_ALL_MTS_GENLS_CACHE_

$list13

$sym14$_ADDITIONAL_FORT_TYPING_COLLECTIONS_

$list15

$sym16$_IMPLICIT_FORT_TYPING_COLLECTIONS_

$list17

$sym18$_CACHED_ISAS_

$sym19$_CACHED_ISAS_SET_

$const20$isa

$sym21$_ISA_CACHE_

$sym22$_IMPLICIT_FORT_TYPE_MAPPING_

$sym23$_ALL_MTS_ISA_CACHE_

$sym24$_CACHED_PREDS_

$list25

$list26

$sym27$DO_SET

$sym28$GET_CACHED_NODES_SET_FOR_PRED

$const29$genls

$const30$genlPreds

$const31$genlInverse

$sym32$FORT_P

$sym33$SBHL_PREDICATE_P

$list34

$sym35$SUBNODES_VAR

$sym36$DO_DICTIONARY

$sym37$GET_SBHL_CACHE_FOR_PRED

$sym38$PWHEN

$sym39$DICTIONARY_P

$sym40$CLET

$sym41$DICTIONARY_LOOKUP

$sym42$HLMT_EQUAL

$str43$All_Mts_cache_is_missing_for__A_

$list44

$sym45$SUBNODES

$sym46$NODES

$sym47$CACHE

$sym48$GET_SBHL_ALL_MTS_CACHE_FOR_PRED

$sym49$PIF

$sym50$FORT_ID_INDEX_P

$sym51$DO_FORT_ID_INDEX

$list52

$sym53$CACHE

$sym54$CACHED_NODES_STORE

$sym55$MEMBER_

$list56

$sym57$CACHE

$sym58$SUBNODES

$sym59$SBHL_PRED_ALL_MTS_CACHE_USES_ID_INDEX_P

$sym60$SBHL_ID_INDEX_LOOKUP

com.cyc.cycjava.cycl.sbhl
Class sbhl_cache