com.cyc.cycjava.cycl
Class virtual_indexing

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class virtual_indexing
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const11$EverythingPSC
static SubLSymbol	$index_overlap_enabledP$
static SubLInteger	$int16$50
static SubLSymbol	$kw15$IGNORE
static SubLSymbol	$kw19$SKIP
static SubLSymbol	$kw20$OVERLAP
static SubLSymbol	$kw21$INDEX_TYPE
static SubLList	$list22
static SubLList	$list6
static SubLList	$list8
static SubLSymbol	$lookup_overlap_watermark$ The minimum cost, below which it's not even worth it to try the overlap method.
static SubLString	$str17$mapping_Cyc_NARTs
static SubLString	$str23$_s_vs___s___s__s____
static SubLString	$str7$Return_a_list_of_assertions_that_
static SubLSymbol	$sym0$INDEXED_TERM_P
static SubLSymbol	$sym1$_
static SubLSymbol	$sym10$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym12$FULLY_INDEXED_TERM_P
static SubLSymbol	$sym13$GAF_ASSERTION_
static SubLSymbol	$sym14$MIN
static SubLSymbol	$sym18$STRINGP
static SubLSymbol	$sym2$NUM_INDEX
static SubLSymbol	$sym3$ASSERTION_WITH_SEARCH_TERM
static SubLSymbol	$sym4$ASSERTION_WITHOUT_SEARCH_TERM
static SubLSymbol	$sym5$ASSERTIONS_MENTIONING_TERMS
static SubLSymbol	$sym9$RELEVANT_MT_IS_GENL_MT
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_virtual_indexing_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	good_term_for_overlap_index_p(SubLObject object)
static SubLObject	init_virtual_indexing_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	lookup_should_use_index_overlapP(SubLObject formula, SubLObject best_count)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_virtual_indexing_file()
static SubLObject	too_few_terms_for_index_overlapP(SubLObject formula)

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

$index_overlap_enabledP$

public static SubLSymbol $index_overlap_enabledP$

$lookup_overlap_watermark$

public static SubLSymbol $lookup_overlap_watermark$

The minimum cost, below which it's not even worth it to try the overlap method.

$sym0$INDEXED_TERM_P

public static final SubLSymbol $sym0$INDEXED_TERM_P

$sym1$_

public static final SubLSymbol $sym1$_

$sym2$NUM_INDEX

public static final SubLSymbol $sym2$NUM_INDEX

$sym3$ASSERTION_WITH_SEARCH_TERM

public static final SubLSymbol $sym3$ASSERTION_WITH_SEARCH_TERM

$sym4$ASSERTION_WITHOUT_SEARCH_TERM

public static final SubLSymbol $sym4$ASSERTION_WITHOUT_SEARCH_TERM

$sym5$ASSERTIONS_MENTIONING_TERMS

public static final SubLSymbol $sym5$ASSERTIONS_MENTIONING_TERMS

$list6

public static final SubLList $list6

$str7$Return_a_list_of_assertions_that_

public static final SubLString $str7$Return_a_list_of_assertions_that_

$list8

public static final SubLList $list8

$sym9$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym9$RELEVANT_MT_IS_GENL_MT

$sym10$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym10$RELEVANT_MT_IS_EVERYTHING

$const11$EverythingPSC

public static final SubLObject $const11$EverythingPSC

$sym12$FULLY_INDEXED_TERM_P

public static final SubLSymbol $sym12$FULLY_INDEXED_TERM_P

$sym13$GAF_ASSERTION_

public static final SubLSymbol $sym13$GAF_ASSERTION_

$sym14$MIN

public static final SubLSymbol $sym14$MIN

$kw15$IGNORE

public static final SubLSymbol $kw15$IGNORE

$int16$50

public static final SubLInteger $int16$50

$str17$mapping_Cyc_NARTs

public static final SubLString $str17$mapping_Cyc_NARTs

$sym18$STRINGP

public static final SubLSymbol $sym18$STRINGP

$kw19$SKIP

public static final SubLSymbol $kw19$SKIP

$kw20$OVERLAP

public static final SubLSymbol $kw20$OVERLAP

$kw21$INDEX_TYPE

public static final SubLSymbol $kw21$INDEX_TYPE

$list22

public static final SubLList $list22

$str23$_s_vs___s___s__s____

public static final SubLString $str23$_s_vs___s___s__s____

Method Detail

good_term_for_overlap_index_p

public static final SubLObject good_term_for_overlap_index_p(SubLObject object)

lookup_should_use_index_overlapP

public static final SubLObject lookup_should_use_index_overlapP(SubLObject formula,
                                                                SubLObject best_count)

Parameters:

BEST-COUNT; - the smallest count of assertions indexed via the best other index.

Returns:

boolean; t iff overlap indexing will probably yield a better-focused search than any other kind of indexing.

too_few_terms_for_index_overlapP

public static final SubLObject too_few_terms_for_index_overlapP(SubLObject formula)

declare_virtual_indexing_file

public static final SubLObject declare_virtual_indexing_file()

init_virtual_indexing_file

public static final SubLObject init_virtual_indexing_file()

setup_virtual_indexing_file

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