com.cyc.cycjava.cycl
Class auxiliary_indexing

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class auxiliary_indexing
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw13$MAPPING_DONE
static SubLSymbol	$kw15$POS
static SubLSymbol	$kw18$SKIP
static SubLSymbol	$kw2$INDEX_NAME
static SubLSymbol	$kw3$INDEX
static SubLSymbol	$kw4$UNBOUND_RULE_INDEX
static SubLSymbol	$kw6$UNBOUND_RULE_INDEX_POS
static SubLSymbol	$kw8$UNBOUND_RULE_INDEX_NEG
static SubLList	$list7
static SubLList	$list9
static SubLString	$str17$Rebuilding_unbound_rule_index_str
static SubLString	$str5$Unbound_Rule_Index
static SubLSymbol	$sym0$SYMBOLP
static SubLSymbol	$sym1$STRINGP
static SubLSymbol	$sym10$RELEVANT_MT_
static SubLSymbol	$sym11$FUNCTION_SPEC_P
static SubLSymbol	$sym12$SENSE_P
static SubLSymbol	$sym14$HLMT_P
static SubLSymbol	$sym16$UNBOUND_PREDICATE_LITERAL
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_unbound_rule_indices(SubLObject assertion)
static SubLObject	auxiliary_index_p(SubLObject object)
static SubLObject	declare_auxiliary_index(SubLObject aux_index, SubLObject name)
static SubLObject	declare_auxiliary_indexing_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_auxiliary_index(SubLObject aux_index)
static SubLObject	get_unbound_rule_subindex(SubLObject sense, SubLObject mt, SubLObject direction)
static SubLObject	init_auxiliary_indexing_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	key_unbound_rule_index(SubLObject sense, SubLObject mt) Return a list of the keys to the next unbound rule index level below SENSE MT.
static SubLObject	load_auxiliary_indices(SubLObject stream)
static SubLObject	load_unbound_rule_index(SubLObject stream)
static SubLObject	num_unbound_rule_index(SubLObject sense, SubLObject mt, SubLObject direction) Return the unbound rule count at SENSE MT DIRECTION
static SubLObject	relevant_num_unbound_rule_index(SubLObject sense) Return the unbound rule count at relevant mts under SENSE.
static SubLObject	rem_unbound_rule_indices(SubLObject assertion)
static SubLObject	reset_auxiliary_index(SubLObject aux_index, SubLObject new_index)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_auxiliary_indexing_file()
static SubLObject	some_unbound_predicate_literal(SubLObject clause, SubLObject sense)
static SubLObject	unbound_predicate_literal(SubLObject literal)
static SubLObject	unbound_rule_index()

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

$sym0$SYMBOLP

public static final SubLSymbol $sym0$SYMBOLP

$sym1$STRINGP

public static final SubLSymbol $sym1$STRINGP

$kw2$INDEX_NAME

public static final SubLSymbol $kw2$INDEX_NAME

$kw3$INDEX

public static final SubLSymbol $kw3$INDEX

$kw4$UNBOUND_RULE_INDEX

public static final SubLSymbol $kw4$UNBOUND_RULE_INDEX

$str5$Unbound_Rule_Index

public static final SubLString $str5$Unbound_Rule_Index

$kw6$UNBOUND_RULE_INDEX_POS

public static final SubLSymbol $kw6$UNBOUND_RULE_INDEX_POS

$list7

public static final SubLList $list7

$kw8$UNBOUND_RULE_INDEX_NEG

public static final SubLSymbol $kw8$UNBOUND_RULE_INDEX_NEG

$list9

public static final SubLList $list9

$sym10$RELEVANT_MT_

public static final SubLSymbol $sym10$RELEVANT_MT_

$sym11$FUNCTION_SPEC_P

public static final SubLSymbol $sym11$FUNCTION_SPEC_P

$sym12$SENSE_P

public static final SubLSymbol $sym12$SENSE_P

$kw13$MAPPING_DONE

public static final SubLSymbol $kw13$MAPPING_DONE

$sym14$HLMT_P

public static final SubLSymbol $sym14$HLMT_P

$kw15$POS

public static final SubLSymbol $kw15$POS

$sym16$UNBOUND_PREDICATE_LITERAL

public static final SubLSymbol $sym16$UNBOUND_PREDICATE_LITERAL

$str17$Rebuilding_unbound_rule_index_str

public static final SubLString $str17$Rebuilding_unbound_rule_index_str

$kw18$SKIP

public static final SubLSymbol $kw18$SKIP

Method Detail

declare_auxiliary_index

public static final SubLObject declare_auxiliary_index(SubLObject aux_index,
                                                       SubLObject name)

auxiliary_index_p

public static final SubLObject auxiliary_index_p(SubLObject object)

get_auxiliary_index

public static final SubLObject get_auxiliary_index(SubLObject aux_index)

reset_auxiliary_index

public static final SubLObject reset_auxiliary_index(SubLObject aux_index,
                                                     SubLObject new_index)

num_unbound_rule_index

public static final SubLObject num_unbound_rule_index(SubLObject sense,
                                                      SubLObject mt,
                                                      SubLObject direction)

Return the unbound rule count at SENSE MT DIRECTION

relevant_num_unbound_rule_index

public static final SubLObject relevant_num_unbound_rule_index(SubLObject sense)

Return the unbound rule count at relevant mts under SENSE.

key_unbound_rule_index

public static final SubLObject key_unbound_rule_index(SubLObject sense,
                                                      SubLObject mt)

Return a list of the keys to the next unbound rule index level below SENSE MT.

get_unbound_rule_subindex

public static final SubLObject get_unbound_rule_subindex(SubLObject sense,
                                                         SubLObject mt,
                                                         SubLObject direction)

Returns:

nil or subindex-p

unbound_rule_index

public static final SubLObject unbound_rule_index()

add_unbound_rule_indices

public static final SubLObject add_unbound_rule_indices(SubLObject assertion)

rem_unbound_rule_indices

public static final SubLObject rem_unbound_rule_indices(SubLObject assertion)

unbound_predicate_literal

public static final SubLObject unbound_predicate_literal(SubLObject literal)

some_unbound_predicate_literal

public static final SubLObject some_unbound_predicate_literal(SubLObject clause,
                                                              SubLObject sense)

load_auxiliary_indices

public static final SubLObject load_auxiliary_indices(SubLObject stream)

load_unbound_rule_index

public static final SubLObject load_unbound_rule_index(SubLObject stream)

declare_auxiliary_indexing_file

public static final SubLObject declare_auxiliary_indexing_file()

init_auxiliary_indexing_file

public static final SubLObject init_auxiliary_indexing_file()

setup_auxiliary_indexing_file

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