com.cyc.cycjava.cycl
Class bookkeeping_store
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.bookkeeping_store
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class bookkeeping_store
- 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_bookkeeping_binary_gaf_indices(SubLObject pred,
SubLObject arg1,
SubLObject arg2)
|
static SubLObject |
arg2_indexed_bookkeeping_predicates_for_hl_store()
|
static SubLObject |
arg2_indexed_bookkeeping_predP(SubLObject pred)
|
static SubLObject |
assert_bookkeeping_binary_gaf_int(SubLObject pred,
SubLObject arg1,
SubLObject arg2)
|
static SubLObject |
assert_bookkeeping_binary_gaf(SubLObject pred,
SubLObject arg1,
SubLObject arg2,
SubLObject mt)
|
static SubLObject |
bookkeeping_arg1_pred_values_int(SubLObject pred,
SubLObject arg2)
|
static SubLObject |
bookkeeping_arg1_pred_values(SubLObject pred,
SubLObject arg2,
SubLObject mt)
|
static SubLObject |
bookkeeping_assertion_count()
|
static SubLObject |
bookkeeping_binary_gaf_arg2_index()
|
static SubLObject |
bookkeeping_binary_gaf_store()
|
static SubLObject |
bookkeeping_fpred_value_int(SubLObject pred,
SubLObject arg1)
|
static SubLObject |
bookkeeping_fpred_value(SubLObject pred,
SubLObject arg1,
SubLObject mt)
|
static SubLObject |
bookkeeping_intermediate_index_count(SubLObject index)
|
static SubLObject |
bookkeeping_intermediate_index_insert(SubLObject index,
SubLObject key,
SubLObject value,
SubLObject single_entryP)
|
static SubLObject |
bookkeeping_intermediate_index_lookup(SubLObject index,
SubLObject key)
|
static SubLObject |
bookkeeping_intermediate_index_push(SubLObject index,
SubLObject key,
SubLObject value)
|
static SubLObject |
bookkeeping_intermediate_index_set(SubLObject index,
SubLObject key,
SubLObject value)
|
static SubLObject |
bookkeeping_predicate_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
|
static SubLObject |
bookkeeping_predicate_hl_storage_module_assert(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
|
static SubLObject |
bookkeeping_top_level_index_count(SubLObject index)
|
static SubLObject |
bookkeeping_top_level_index_insert(SubLObject index,
SubLObject top_key,
SubLObject mid_key,
SubLObject leaf,
SubLObject single_entryP)
|
static SubLObject |
bookkeeping_top_level_index_lookup(SubLObject index,
SubLObject key)
|
static SubLObject |
clear_bookkeeping_binary_gaf_store()
|
static SubLObject |
declare_bookkeeping_store_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
dumper_clear_bookkeeping_binary_gaf_store()
|
static SubLObject |
dumper_load_bookkeeping_binary_gaf(SubLObject pred,
SubLObject arg1,
SubLObject arg2)
|
static SubLObject |
dumper_load_bookkeeping_index(SubLObject index)
|
static SubLObject |
init_bookkeeping_store_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
my_creation_purpose_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
|
static SubLObject |
my_creation_second_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
|
static SubLObject |
my_creation_time_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
|
static SubLObject |
my_creator_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
|
static SubLObject |
new_bookkeeping_intermediate_index()
|
static SubLObject |
new_bookkeeping_top_level_index(SubLObject top_level_keys)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_bookkeeping_store_file()
|
static SubLObject |
terms_created_by(SubLObject cyclist,
SubLObject mt)
|
static SubLObject |
terms_created_for(SubLObject purpose,
SubLObject mt)
|
static SubLObject |
unassert_all_bookkeeping_gafs_on_term(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
$const0$BookkeepingMt
public static final SubLObject $const0$BookkeepingMt
$sym1$ASSERTED_ARGUMENT_SPEC_P
public static final SubLSymbol $sym1$ASSERTED_ARGUMENT_SPEC_P
$kw2$MONOTONIC
public static final SubLSymbol $kw2$MONOTONIC
$kw3$STRENGTH
public static final SubLSymbol $kw3$STRENGTH
$kw4$BACKWARD
public static final SubLSymbol $kw4$BACKWARD
$kw5$DIRECTION
public static final SubLSymbol $kw5$DIRECTION
$const6$myCreator
public static final SubLObject $const6$myCreator
$kw7$MY_CREATOR
public static final SubLSymbol $kw7$MY_CREATOR
$list8
public static final SubLList $list8
$list9
public static final SubLList $list9
$const10$myCreationTime
public static final SubLObject $const10$myCreationTime
$kw11$MY_CREATION_TIME
public static final SubLSymbol $kw11$MY_CREATION_TIME
$list12
public static final SubLList $list12
$list13
public static final SubLList $list13
$const14$myCreationPurpose
public static final SubLObject $const14$myCreationPurpose
$kw15$MY_CREATION_PURPOSE
public static final SubLSymbol $kw15$MY_CREATION_PURPOSE
$list16
public static final SubLList $list16
$list17
public static final SubLList $list17
$const18$myCreationSecond
public static final SubLObject $const18$myCreationSecond
$kw19$MY_CREATION_SECOND
public static final SubLSymbol $kw19$MY_CREATION_SECOND
$list20
public static final SubLList $list20
$list21
public static final SubLList $list21
$list22
public static final SubLList $list22
$list23
public static final SubLList $list23
$list24
public static final SubLList $list24
$sym25$DO_ALIST
public static final SubLSymbol $sym25$DO_ALIST
$list26
public static final SubLList $list26
$list27
public static final SubLList $list27
$sym28$DO_DICTIONARY
public static final SubLSymbol $sym28$DO_DICTIONARY
$sym29$_BOOKKEEPING_BINARY_GAF_STORE_
public static final SubLSymbol $sym29$_BOOKKEEPING_BINARY_GAF_STORE_
$sym30$_BOOKKEEPING_BINARY_GAF_ARG2_INDEX_
public static final SubLSymbol $sym30$_BOOKKEEPING_BINARY_GAF_ARG2_INDEX_
$list31
public static final SubLList $list31
$sym32$DO_BOOKKEEPING_TOP_LEVEL_INDEX
public static final SubLSymbol $sym32$DO_BOOKKEEPING_TOP_LEVEL_INDEX
$list33
public static final SubLList $list33
$list34
public static final SubLList $list34
$sym35$DO_BOOKKEEPING_INTERMEDIATE_INDEX
public static final SubLSymbol $sym35$DO_BOOKKEEPING_INTERMEDIATE_INDEX
$sym36$FORT_P
public static final SubLSymbol $sym36$FORT_P
$sym37$HLMT_P
public static final SubLSymbol $sym37$HLMT_P
$sym38$CREATOR
public static final SubLSymbol $sym38$CREATOR
$list39
public static final SubLList $list39
$str40$Identify_the_cyclist_who_created_
public static final SubLString $str40$Identify_the_cyclist_who_created_
$list41
public static final SubLList $list41
$list42
public static final SubLList $list42
$sym43$CREATION_TIME
public static final SubLSymbol $sym43$CREATION_TIME
$str44$Identify_when_FORT_was_created_
public static final SubLString $str44$Identify_when_FORT_was_created_
$list45
public static final SubLList $list45
$int46$1000000
public static final SubLInteger $int46$1000000
$sym47$BOOKKEEPING_ASENT_TO_HL_ASSERTION_SPEC
public static final SubLSymbol $sym47$BOOKKEEPING_ASENT_TO_HL_ASSERTION_SPEC
$sym48$BOOKKEEPING_ASENT_TO_HL_ASSERTIBLE
public static final SubLSymbol $sym48$BOOKKEEPING_ASENT_TO_HL_ASSERTIBLE
$list49
public static final SubLList $list49
$sym50$SUBINDEX
public static final SubLSymbol $sym50$SUBINDEX
$list51
public static final SubLList $list51
$list52
public static final SubLList $list52
$sym53$SUBINDEX
public static final SubLSymbol $sym53$SUBINDEX
$sym54$PRED
public static final SubLSymbol $sym54$PRED
$sym55$ARG1
public static final SubLSymbol $sym55$ARG1
$sym56$ARG2
public static final SubLSymbol $sym56$ARG2
$sym57$CLET
public static final SubLSymbol $sym57$CLET
$sym58$MAKE_BINARY_FORMULA
public static final SubLSymbol $sym58$MAKE_BINARY_FORMULA
$kw59$UNKNOWN
public static final SubLSymbol $kw59$UNKNOWN
$const60$different
public static final SubLObject $const60$different
$const61$arg2Format
public static final SubLObject $const61$arg2Format
$list62
public static final SubLList $list62
$const63$unknownSentence
public static final SubLObject $const63$unknownSentence
$const64$completeExtentEnumerable
public static final SubLObject $const64$completeExtentEnumerable
$str65$Gathering_all__s_assertions
public static final SubLString $str65$Gathering_all__s_assertions
$str66$Reindexing_all_
public static final SubLString $str66$Reindexing_all_
$str67$_assertions
public static final SubLString $str67$_assertions
$list68
public static final SubLList $list68
bookkeeping_predicate_hl_storage_module_applicableP
public static final SubLObject bookkeeping_predicate_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
bookkeeping_predicate_hl_storage_module_assert
public static final SubLObject bookkeeping_predicate_hl_storage_module_assert(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
my_creator_hl_storage_module_applicableP
public static final SubLObject my_creator_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
my_creation_time_hl_storage_module_applicableP
public static final SubLObject my_creation_time_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
my_creation_purpose_hl_storage_module_applicableP
public static final SubLObject my_creation_purpose_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
my_creation_second_hl_storage_module_applicableP
public static final SubLObject my_creation_second_hl_storage_module_applicableP(SubLObject argument_spec,
SubLObject cnf,
SubLObject mt,
SubLObject direction,
SubLObject variable_map)
arg2_indexed_bookkeeping_predicates_for_hl_store
public static final SubLObject arg2_indexed_bookkeeping_predicates_for_hl_store()
arg2_indexed_bookkeeping_predP
public static final SubLObject arg2_indexed_bookkeeping_predP(SubLObject pred)
new_bookkeeping_top_level_index
public static final SubLObject new_bookkeeping_top_level_index(SubLObject top_level_keys)
bookkeeping_top_level_index_lookup
public static final SubLObject bookkeeping_top_level_index_lookup(SubLObject index,
SubLObject key)
bookkeeping_top_level_index_insert
public static final SubLObject bookkeeping_top_level_index_insert(SubLObject index,
SubLObject top_key,
SubLObject mid_key,
SubLObject leaf,
SubLObject single_entryP)
bookkeeping_top_level_index_count
public static final SubLObject bookkeeping_top_level_index_count(SubLObject index)
new_bookkeeping_intermediate_index
public static final SubLObject new_bookkeeping_intermediate_index()
bookkeeping_intermediate_index_lookup
public static final SubLObject bookkeeping_intermediate_index_lookup(SubLObject index,
SubLObject key)
bookkeeping_intermediate_index_set
public static final SubLObject bookkeeping_intermediate_index_set(SubLObject index,
SubLObject key,
SubLObject value)
bookkeeping_intermediate_index_push
public static final SubLObject bookkeeping_intermediate_index_push(SubLObject index,
SubLObject key,
SubLObject value)
bookkeeping_intermediate_index_insert
public static final SubLObject bookkeeping_intermediate_index_insert(SubLObject index,
SubLObject key,
SubLObject value,
SubLObject single_entryP)
- Returns:
- boolean; whether the insert succeeded
bookkeeping_intermediate_index_count
public static final SubLObject bookkeeping_intermediate_index_count(SubLObject index)
clear_bookkeeping_binary_gaf_store
public static final SubLObject clear_bookkeeping_binary_gaf_store()
dumper_clear_bookkeeping_binary_gaf_store
public static final SubLObject dumper_clear_bookkeeping_binary_gaf_store()
dumper_load_bookkeeping_binary_gaf
public static final SubLObject dumper_load_bookkeeping_binary_gaf(SubLObject pred,
SubLObject arg1,
SubLObject arg2)
dumper_load_bookkeeping_index
public static final SubLObject dumper_load_bookkeeping_index(SubLObject index)
bookkeeping_binary_gaf_store
public static final SubLObject bookkeeping_binary_gaf_store()
bookkeeping_binary_gaf_arg2_index
public static final SubLObject bookkeeping_binary_gaf_arg2_index()
assert_bookkeeping_binary_gaf
public static final SubLObject assert_bookkeeping_binary_gaf(SubLObject pred,
SubLObject arg1,
SubLObject arg2,
SubLObject mt)
assert_bookkeeping_binary_gaf_int
public static final SubLObject assert_bookkeeping_binary_gaf_int(SubLObject pred,
SubLObject arg1,
SubLObject arg2)
add_bookkeeping_binary_gaf_indices
public static final SubLObject add_bookkeeping_binary_gaf_indices(SubLObject pred,
SubLObject arg1,
SubLObject arg2)
unassert_all_bookkeeping_gafs_on_term
public static final SubLObject unassert_all_bookkeeping_gafs_on_term(SubLObject v_term)
terms_created_by
public static final SubLObject terms_created_by(SubLObject cyclist,
SubLObject mt)
terms_created_for
public static final SubLObject terms_created_for(SubLObject purpose,
SubLObject mt)
bookkeeping_assertion_count
public static final SubLObject bookkeeping_assertion_count()
bookkeeping_fpred_value
public static final SubLObject bookkeeping_fpred_value(SubLObject pred,
SubLObject arg1,
SubLObject mt)
bookkeeping_fpred_value_int
public static final SubLObject bookkeeping_fpred_value_int(SubLObject pred,
SubLObject arg1)
bookkeeping_arg1_pred_values
public static final SubLObject bookkeeping_arg1_pred_values(SubLObject pred,
SubLObject arg2,
SubLObject mt)
bookkeeping_arg1_pred_values_int
public static final SubLObject bookkeeping_arg1_pred_values_int(SubLObject pred,
SubLObject arg2)
declare_bookkeeping_store_file
public static final SubLObject declare_bookkeeping_store_file()
init_bookkeeping_store_file
public static final SubLObject init_bookkeeping_store_file()
setup_bookkeeping_store_file
public static final SubLObject setup_bookkeeping_store_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.