com.cyc.cycjava.cycl
Class simple_indexing
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.simple_indexing
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class simple_indexing
- extends SubLTranslatedFile
| 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_simple_index(SubLObject v_term,
SubLObject assertion)
|
static SubLObject |
convert_to_complex_index(SubLObject v_term)
|
static SubLObject |
convert_to_simple_index(SubLObject v_term)
|
static SubLObject |
declare_simple_indexing_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_simple_indexing_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
matches_decontextualized_ist_predicate_rule_index_test(SubLObject pred,
SubLObject literal)
|
static SubLObject |
matches_decontextualized_ist_predicate_rule_index(SubLObject assertion,
SubLObject pred,
SubLObject sense,
SubLObject direction)
|
static SubLObject |
matches_exception_rule_index_test(SubLObject rule,
SubLObject literal)
|
static SubLObject |
matches_exception_rule_index(SubLObject assertion,
SubLObject rule,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_function_extent_index(SubLObject assertion,
SubLObject v_term)
|
static SubLObject |
matches_function_rule_index_test(SubLObject func,
SubLObject literal)
|
static SubLObject |
matches_function_rule_index(SubLObject assertion,
SubLObject func,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_gaf_arg_index_internal(SubLObject assertion,
SubLObject v_term,
SubLObject arg,
SubLObject pred,
SubLObject mt)
|
static SubLObject |
matches_gaf_arg_index(SubLObject assertion,
SubLObject v_term,
SubLObject argnum,
SubLObject pred,
SubLObject mt)
|
static SubLObject |
matches_genl_mt_rule_index_test(SubLObject mt,
SubLObject literal)
|
static SubLObject |
matches_genl_mt_rule_index(SubLObject assertion,
SubLObject genl_mt,
SubLObject sense,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_genls_rule_index_test(SubLObject col,
SubLObject literal)
|
static SubLObject |
matches_genls_rule_index(SubLObject assertion,
SubLObject col,
SubLObject sense,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_isa_rule_index_test(SubLObject col,
SubLObject literal)
|
static SubLObject |
matches_isa_rule_index(SubLObject assertion,
SubLObject col,
SubLObject sense,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_ist_predicate_rule_index_test(SubLObject pred,
SubLObject literal)
|
static SubLObject |
matches_ist_predicate_rule_index(SubLObject assertion,
SubLObject pred,
SubLObject sense,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_nart_arg_index_internal(SubLObject assertion,
SubLObject v_term,
SubLObject arg,
SubLObject func)
|
static SubLObject |
matches_nart_arg_index(SubLObject assertion,
SubLObject v_term,
SubLObject argnum,
SubLObject func)
|
static SubLObject |
matches_other_index(SubLObject assertion,
SubLObject v_term)
|
static SubLObject |
matches_pragma_rule_index_test(SubLObject rule,
SubLObject literal)
|
static SubLObject |
matches_pragma_rule_index(SubLObject assertion,
SubLObject rule,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_predicate_extent_index_internal(SubLObject assertion,
SubLObject v_term,
SubLObject mt)
|
static SubLObject |
matches_predicate_extent_index(SubLObject assertion,
SubLObject v_term,
SubLObject mt)
|
static SubLObject |
matches_predicate_rule_index_test(SubLObject pred,
SubLObject literal)
|
static SubLObject |
matches_predicate_rule_index(SubLObject assertion,
SubLObject pred,
SubLObject sense,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
matches_quoted_isa_rule_index(SubLObject assertion,
SubLObject col,
SubLObject sense,
SubLObject mt,
SubLObject direction)
|
static SubLObject |
noting_terms_to_toggle_indexing_mode_internal()
|
static SubLObject |
possibly_toggle_term_index_mode(SubLObject v_term)
|
static SubLObject |
rem_simple_index(SubLObject v_term,
SubLObject assertion)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_simple_indexing_file()
|
static SubLObject |
simple_key_gaf_arg_index_internal(SubLObject assertion,
SubLObject accumulator,
SubLObject v_term,
SubLObject arg,
SubLObject pred)
|
static SubLObject |
simple_key_gaf_arg_index(SubLObject assertion,
SubLObject accumulator,
SubLObject v_term,
SubLObject arg,
SubLObject pred)
|
static SubLObject |
simple_key_nart_arg_index(SubLObject assertion,
SubLObject accumulator,
SubLObject v_term,
SubLObject arg,
SubLObject func)
|
static SubLObject |
toggle_term_index_mode(SubLObject v_term)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$within_noting_terms_to_toggle_indexing_mode$
public static SubLSymbol $within_noting_terms_to_toggle_indexing_mode$
$terms_to_toggle_indexing_mode$
public static SubLSymbol $terms_to_toggle_indexing_mode$
$sym0$ASSERTION_P
public static final SubLSymbol $sym0$ASSERTION_P
$sym1$HLMT_EQUAL
public static final SubLSymbol $sym1$HLMT_EQUAL
$const2$termOfUnit
public static final SubLObject $const2$termOfUnit
$kw3$POS
public static final SubLSymbol $kw3$POS
$sym4$MATCHES_PREDICATE_RULE_INDEX_TEST
public static final SubLSymbol $sym4$MATCHES_PREDICATE_RULE_INDEX_TEST
$sym5$MATCHES_IST_PREDICATE_RULE_INDEX_TEST
public static final SubLSymbol $sym5$MATCHES_IST_PREDICATE_RULE_INDEX_TEST
$const6$ist
public static final SubLObject $const6$ist
$sym7$MATCHES_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX_TEST
public static final SubLSymbol $sym7$MATCHES_DECONTEXTUALIZED_IST_PREDICATE_RULE_INDEX_TEST
$sym8$MATCHES_ISA_RULE_INDEX_TEST
public static final SubLSymbol $sym8$MATCHES_ISA_RULE_INDEX_TEST
$const9$isa
public static final SubLObject $const9$isa
$sym10$MATCHES_QUOTED_ISA_RULE_INDEX_TEST
public static final SubLSymbol $sym10$MATCHES_QUOTED_ISA_RULE_INDEX_TEST
$const11$quotedIsa
public static final SubLObject $const11$quotedIsa
$sym12$MATCHES_GENLS_RULE_INDEX_TEST
public static final SubLSymbol $sym12$MATCHES_GENLS_RULE_INDEX_TEST
$const13$genls
public static final SubLObject $const13$genls
$sym14$MATCHES_GENL_MT_RULE_INDEX_TEST
public static final SubLSymbol $sym14$MATCHES_GENL_MT_RULE_INDEX_TEST
$const15$genlMt
public static final SubLObject $const15$genlMt
$sym16$MATCHES_FUNCTION_RULE_INDEX_TEST
public static final SubLSymbol $sym16$MATCHES_FUNCTION_RULE_INDEX_TEST
$sym17$MATCHES_EXCEPTION_RULE_INDEX_TEST
public static final SubLSymbol $sym17$MATCHES_EXCEPTION_RULE_INDEX_TEST
$const18$abnormal
public static final SubLObject $const18$abnormal
$sym19$MATCHES_PRAGMA_RULE_INDEX_TEST
public static final SubLSymbol $sym19$MATCHES_PRAGMA_RULE_INDEX_TEST
$const20$meetsPragmaticRequirement
public static final SubLObject $const20$meetsPragmaticRequirement
$sym21$CLET
public static final SubLSymbol $sym21$CLET
$list22
public static final SubLList $list22
$list23
public static final SubLList $list23
$sym24$NOTING_TERMS_TO_TOGGLE_INDEXING_MODE_INTERNAL
public static final SubLSymbol $sym24$NOTING_TERMS_TO_TOGGLE_INDEXING_MODE_INTERNAL
$sym25$NOTING_TERMS_TO_TOGGLE_INDEXING_MODE
public static final SubLSymbol $sym25$NOTING_TERMS_TO_TOGGLE_INDEXING_MODE
$sym26$POSSIBLY_TOGGLE_TERM_INDEX_MODE
public static final SubLSymbol $sym26$POSSIBLY_TOGGLE_TERM_INDEX_MODE
$sym27$VALID_ASSERTION
public static final SubLSymbol $sym27$VALID_ASSERTION
$str28$mapping_Cyc_FORTs
public static final SubLString $str28$mapping_Cyc_FORTs
$kw29$SKIP
public static final SubLSymbol $kw29$SKIP
$str30$mapping_Cyc_assertions
public static final SubLString $str30$mapping_Cyc_assertions
$sym31$STRINGP
public static final SubLSymbol $sym31$STRINGP
$str32$invalid_index_under__S
public static final SubLString $str32$invalid_index_under__S
$kw33$INVALID
public static final SubLSymbol $kw33$INVALID
$sym34$CLEAN_TERM_INDEX_INTERNAL
public static final SubLSymbol $sym34$CLEAN_TERM_INDEX_INTERNAL
matches_gaf_arg_index
public static final SubLObject matches_gaf_arg_index(SubLObject assertion,
SubLObject v_term,
SubLObject argnum,
SubLObject pred,
SubLObject mt)
simple_key_gaf_arg_index
public static final SubLObject simple_key_gaf_arg_index(SubLObject assertion,
SubLObject accumulator,
SubLObject v_term,
SubLObject arg,
SubLObject pred)
matches_gaf_arg_index_internal
public static final SubLObject matches_gaf_arg_index_internal(SubLObject assertion,
SubLObject v_term,
SubLObject arg,
SubLObject pred,
SubLObject mt)
simple_key_gaf_arg_index_internal
public static final SubLObject simple_key_gaf_arg_index_internal(SubLObject assertion,
SubLObject accumulator,
SubLObject v_term,
SubLObject arg,
SubLObject pred)
matches_nart_arg_index
public static final SubLObject matches_nart_arg_index(SubLObject assertion,
SubLObject v_term,
SubLObject argnum,
SubLObject func)
simple_key_nart_arg_index
public static final SubLObject simple_key_nart_arg_index(SubLObject assertion,
SubLObject accumulator,
SubLObject v_term,
SubLObject arg,
SubLObject func)
matches_nart_arg_index_internal
public static final SubLObject matches_nart_arg_index_internal(SubLObject assertion,
SubLObject v_term,
SubLObject arg,
SubLObject func)
matches_predicate_extent_index
public static final SubLObject matches_predicate_extent_index(SubLObject assertion,
SubLObject v_term,
SubLObject mt)
matches_predicate_extent_index_internal
public static final SubLObject matches_predicate_extent_index_internal(SubLObject assertion,
SubLObject v_term,
SubLObject mt)
matches_function_extent_index
public static final SubLObject matches_function_extent_index(SubLObject assertion,
SubLObject v_term)
matches_predicate_rule_index
public static final SubLObject matches_predicate_rule_index(SubLObject assertion,
SubLObject pred,
SubLObject sense,
SubLObject mt,
SubLObject direction)
matches_predicate_rule_index_test
public static final SubLObject matches_predicate_rule_index_test(SubLObject pred,
SubLObject literal)
matches_ist_predicate_rule_index
public static final SubLObject matches_ist_predicate_rule_index(SubLObject assertion,
SubLObject pred,
SubLObject sense,
SubLObject mt,
SubLObject direction)
matches_ist_predicate_rule_index_test
public static final SubLObject matches_ist_predicate_rule_index_test(SubLObject pred,
SubLObject literal)
matches_decontextualized_ist_predicate_rule_index
public static final SubLObject matches_decontextualized_ist_predicate_rule_index(SubLObject assertion,
SubLObject pred,
SubLObject sense,
SubLObject direction)
matches_decontextualized_ist_predicate_rule_index_test
public static final SubLObject matches_decontextualized_ist_predicate_rule_index_test(SubLObject pred,
SubLObject literal)
matches_isa_rule_index
public static final SubLObject matches_isa_rule_index(SubLObject assertion,
SubLObject col,
SubLObject sense,
SubLObject mt,
SubLObject direction)
matches_isa_rule_index_test
public static final SubLObject matches_isa_rule_index_test(SubLObject col,
SubLObject literal)
matches_quoted_isa_rule_index
public static final SubLObject matches_quoted_isa_rule_index(SubLObject assertion,
SubLObject col,
SubLObject sense,
SubLObject mt,
SubLObject direction)
matches_genls_rule_index
public static final SubLObject matches_genls_rule_index(SubLObject assertion,
SubLObject col,
SubLObject sense,
SubLObject mt,
SubLObject direction)
matches_genls_rule_index_test
public static final SubLObject matches_genls_rule_index_test(SubLObject col,
SubLObject literal)
matches_genl_mt_rule_index
public static final SubLObject matches_genl_mt_rule_index(SubLObject assertion,
SubLObject genl_mt,
SubLObject sense,
SubLObject mt,
SubLObject direction)
matches_genl_mt_rule_index_test
public static final SubLObject matches_genl_mt_rule_index_test(SubLObject mt,
SubLObject literal)
matches_function_rule_index
public static final SubLObject matches_function_rule_index(SubLObject assertion,
SubLObject func,
SubLObject mt,
SubLObject direction)
matches_function_rule_index_test
public static final SubLObject matches_function_rule_index_test(SubLObject func,
SubLObject literal)
matches_exception_rule_index
public static final SubLObject matches_exception_rule_index(SubLObject assertion,
SubLObject rule,
SubLObject mt,
SubLObject direction)
matches_exception_rule_index_test
public static final SubLObject matches_exception_rule_index_test(SubLObject rule,
SubLObject literal)
matches_pragma_rule_index
public static final SubLObject matches_pragma_rule_index(SubLObject assertion,
SubLObject rule,
SubLObject mt,
SubLObject direction)
matches_pragma_rule_index_test
public static final SubLObject matches_pragma_rule_index_test(SubLObject rule,
SubLObject literal)
matches_other_index
public static final SubLObject matches_other_index(SubLObject assertion,
SubLObject v_term)
add_simple_index
public static final SubLObject add_simple_index(SubLObject v_term,
SubLObject assertion)
rem_simple_index
public static final SubLObject rem_simple_index(SubLObject v_term,
SubLObject assertion)
noting_terms_to_toggle_indexing_mode_internal
public static final SubLObject noting_terms_to_toggle_indexing_mode_internal()
possibly_toggle_term_index_mode
public static final SubLObject possibly_toggle_term_index_mode(SubLObject v_term)
toggle_term_index_mode
public static final SubLObject toggle_term_index_mode(SubLObject v_term)
convert_to_complex_index
public static final SubLObject convert_to_complex_index(SubLObject v_term)
convert_to_simple_index
public static final SubLObject convert_to_simple_index(SubLObject v_term)
declare_simple_indexing_file
public static final SubLObject declare_simple_indexing_file()
init_simple_indexing_file
public static final SubLObject init_simple_indexing_file()
setup_simple_indexing_file
public static final SubLObject setup_simple_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.