com.cyc.cycjava.cycl
Class mt_relevance_cache

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.mt_relevance_cache
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class mt_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 $int5$256
           
static SubLSymbol $kw0$UNKNOWN
           
static SubLString $str1$Unsupported_Mt_relevance_cache_ty
           
static SubLString $str2$Corrupt_entry_in_Mt_relevance_cac
           
static SubLString $str3$Previous_entry_for__s_corrupt___R
           
static SubLSymbol $sym4$_MONAD_MT_FORT_CACHE_
           
static SubLSymbol $sym6$_MONAD_MT_NAUT_CACHE_
           
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 basemtP(SubLObject mt, SubLObject basemt)
          optimized for kb-mapping: this assumes all baseMt assertions are visible in BaseKB
static SubLObject bind_mt_indexicals(SubLObject mt)
           
static SubLObject clear_monad_mt_fort_cache()
           
static SubLObject clear_monad_mt_naut_cache()
           
static SubLObject clear_mt_relevance_cache()
          Clear the Mt relevance cache.
static SubLObject declare_mt_relevance_cache_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_mt_relevance_cache_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject monad_basemtP(SubLObject mt, SubLObject basemt)
           
static SubLObject monad_mt_fort_cache_base_mt(SubLObject mt, SubLObject basemt)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_mt_relevance_cache_file()
           
static SubLObject update_mt_relevance_cache(SubLObject argument, SubLObject assertion)
          Update the Mt relevance cache with information that ASSERTION is being added to or removed from the KB.
 
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

$kw0$UNKNOWN

public static final SubLSymbol $kw0$UNKNOWN

$str1$Unsupported_Mt_relevance_cache_ty

public static final SubLString $str1$Unsupported_Mt_relevance_cache_ty

$str2$Corrupt_entry_in_Mt_relevance_cac

public static final SubLString $str2$Corrupt_entry_in_Mt_relevance_cac

$str3$Previous_entry_for__s_corrupt___R

public static final SubLString $str3$Previous_entry_for__s_corrupt___R

$sym4$_MONAD_MT_FORT_CACHE_

public static final SubLSymbol $sym4$_MONAD_MT_FORT_CACHE_

$int5$256

public static final SubLInteger $int5$256

$sym6$_MONAD_MT_NAUT_CACHE_

public static final SubLSymbol $sym6$_MONAD_MT_NAUT_CACHE_
Method Detail

basemtP

public static final SubLObject basemtP(SubLObject mt,
                                       SubLObject basemt)
optimized for kb-mapping: this assumes all baseMt assertions are visible in BaseKB


clear_mt_relevance_cache

public static final SubLObject clear_mt_relevance_cache()
Clear the Mt relevance cache.


update_mt_relevance_cache

public static final SubLObject update_mt_relevance_cache(SubLObject argument,
                                                         SubLObject assertion)
Update the Mt relevance cache with information that ASSERTION is being added to or removed from the KB.


bind_mt_indexicals

public static final SubLObject bind_mt_indexicals(SubLObject mt)

monad_basemtP

public static final SubLObject monad_basemtP(SubLObject mt,
                                             SubLObject basemt)

monad_mt_fort_cache_base_mt

public static final SubLObject monad_mt_fort_cache_base_mt(SubLObject mt,
                                                           SubLObject basemt)

clear_monad_mt_fort_cache

public static final SubLObject clear_monad_mt_fort_cache()

clear_monad_mt_naut_cache

public static final SubLObject clear_monad_mt_naut_cache()

declare_mt_relevance_cache_file

public static final SubLObject declare_mt_relevance_cache_file()

init_mt_relevance_cache_file

public static final SubLObject init_mt_relevance_cache_file()

setup_mt_relevance_cache_file

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