com.cyc.cycjava.cycl
Class predicate_relevance_cache

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class predicate_relevance_cache
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLInteger	$int0$128
static SubLSymbol	$sym1$_SPEC_PRED_FORT_CACHE_
static SubLSymbol	$sym10$ALL_SPEC_INVERSES
static SubLSymbol	$sym11$ALL_GENL_PREDICATES
static SubLSymbol	$sym12$ALL_GENL_INVERSES
static SubLSymbol	$sym13$SPEC_PREDICATE_
static SubLSymbol	$sym14$SPEC_INVERSE_
static SubLSymbol	$sym15$GENL_PREDICATE_
static SubLSymbol	$sym16$GENL_INVERSE_
static SubLSymbol	$sym2$_SPEC_INVERSE_FORT_CACHE_
static SubLSymbol	$sym3$_GENL_PRED_FORT_CACHE_
static SubLSymbol	$sym4$_GENL_INVERSE_FORT_CACHE_
static SubLSymbol	$sym5$_SPEC_PRED_NAUT_CACHE_
static SubLSymbol	$sym6$_SPEC_INVERSE_NAUT_CACHE_
static SubLSymbol	$sym7$_GENL_PRED_NAUT_CACHE_
static SubLSymbol	$sym8$_GENL_INVERSE_NAUT_CACHE_
static SubLSymbol	$sym9$ALL_SPEC_PREDICATES
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	cached_spec_inverseP(SubLObject genl, SubLObject spec, SubLObject mt)
static SubLObject	cached_spec_predP(SubLObject genl, SubLObject spec, SubLObject mt)
static SubLObject	clear_genl_inverse_fort_cache()
static SubLObject	clear_genl_inverse_naut_cache()
static SubLObject	clear_genl_pred_fort_cache()
static SubLObject	clear_genl_pred_naut_cache()
static SubLObject	clear_predicate_relevance_cache()
static SubLObject	clear_spec_inverse_fort_cache()
static SubLObject	clear_spec_inverse_naut_cache()
static SubLObject	clear_spec_pred_fort_cache()
static SubLObject	clear_spec_pred_naut_cache()
static SubLObject	declare_predicate_relevance_cache_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	fort_cache_relevant_predP(SubLObject v_cache, SubLObject key_pred, SubLObject relevant_pred, SubLObject mt, SubLObject update_function)
static SubLObject	fort_cache_spec_inverseP(SubLObject genl, SubLObject spec, SubLObject mt)
static SubLObject	fort_cache_spec_predP(SubLObject genl, SubLObject spec, SubLObject mt)
static SubLObject	init_predicate_relevance_cache_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_predicate_relevance_cache_file()
static SubLObject	update_relevant_pred_fort_cache(SubLObject update_function, SubLObject pred, SubLObject mt)

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

$int0$128

public static final SubLInteger $int0$128

$sym1$_SPEC_PRED_FORT_CACHE_

public static final SubLSymbol $sym1$_SPEC_PRED_FORT_CACHE_

$sym2$_SPEC_INVERSE_FORT_CACHE_

public static final SubLSymbol $sym2$_SPEC_INVERSE_FORT_CACHE_

$sym3$_GENL_PRED_FORT_CACHE_

public static final SubLSymbol $sym3$_GENL_PRED_FORT_CACHE_

$sym4$_GENL_INVERSE_FORT_CACHE_

public static final SubLSymbol $sym4$_GENL_INVERSE_FORT_CACHE_

$sym5$_SPEC_PRED_NAUT_CACHE_

public static final SubLSymbol $sym5$_SPEC_PRED_NAUT_CACHE_

$sym6$_SPEC_INVERSE_NAUT_CACHE_

public static final SubLSymbol $sym6$_SPEC_INVERSE_NAUT_CACHE_

$sym7$_GENL_PRED_NAUT_CACHE_

public static final SubLSymbol $sym7$_GENL_PRED_NAUT_CACHE_

$sym8$_GENL_INVERSE_NAUT_CACHE_

public static final SubLSymbol $sym8$_GENL_INVERSE_NAUT_CACHE_

$sym9$ALL_SPEC_PREDICATES

public static final SubLSymbol $sym9$ALL_SPEC_PREDICATES

$sym10$ALL_SPEC_INVERSES

public static final SubLSymbol $sym10$ALL_SPEC_INVERSES

$sym11$ALL_GENL_PREDICATES

public static final SubLSymbol $sym11$ALL_GENL_PREDICATES

$sym12$ALL_GENL_INVERSES

public static final SubLSymbol $sym12$ALL_GENL_INVERSES

$sym13$SPEC_PREDICATE_

public static final SubLSymbol $sym13$SPEC_PREDICATE_

$sym14$SPEC_INVERSE_

public static final SubLSymbol $sym14$SPEC_INVERSE_

$sym15$GENL_PREDICATE_

public static final SubLSymbol $sym15$GENL_PREDICATE_

$sym16$GENL_INVERSE_

public static final SubLSymbol $sym16$GENL_INVERSE_

Method Detail

cached_spec_predP

public static final SubLObject cached_spec_predP(SubLObject genl,
                                                 SubLObject spec,
                                                 SubLObject mt)

cached_spec_inverseP

public static final SubLObject cached_spec_inverseP(SubLObject genl,
                                                    SubLObject spec,
                                                    SubLObject mt)

clear_predicate_relevance_cache

public static final SubLObject clear_predicate_relevance_cache()

fort_cache_relevant_predP

public static final SubLObject fort_cache_relevant_predP(SubLObject v_cache,
                                                         SubLObject key_pred,
                                                         SubLObject relevant_pred,
                                                         SubLObject mt,
                                                         SubLObject update_function)

update_relevant_pred_fort_cache

public static final SubLObject update_relevant_pred_fort_cache(SubLObject update_function,
                                                               SubLObject pred,
                                                               SubLObject mt)

fort_cache_spec_predP

public static final SubLObject fort_cache_spec_predP(SubLObject genl,
                                                     SubLObject spec,
                                                     SubLObject mt)

clear_spec_pred_fort_cache

public static final SubLObject clear_spec_pred_fort_cache()

clear_spec_pred_naut_cache

public static final SubLObject clear_spec_pred_naut_cache()

fort_cache_spec_inverseP

public static final SubLObject fort_cache_spec_inverseP(SubLObject genl,
                                                        SubLObject spec,
                                                        SubLObject mt)

clear_spec_inverse_fort_cache

public static final SubLObject clear_spec_inverse_fort_cache()

clear_spec_inverse_naut_cache

public static final SubLObject clear_spec_inverse_naut_cache()

clear_genl_pred_fort_cache

public static final SubLObject clear_genl_pred_fort_cache()

clear_genl_pred_naut_cache

public static final SubLObject clear_genl_pred_naut_cache()

clear_genl_inverse_fort_cache

public static final SubLObject clear_genl_inverse_fort_cache()

clear_genl_inverse_naut_cache

public static final SubLObject clear_genl_inverse_naut_cache()

declare_predicate_relevance_cache_file

public static final SubLObject declare_predicate_relevance_cache_file()

init_predicate_relevance_cache_file

public static final SubLObject init_predicate_relevance_cache_file()

setup_predicate_relevance_cache_file

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