dumper

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class dumper

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class dumper
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`dumper.$load_assertion_def_from_cache$BinaryFunction`
`static class`	`dumper.$load_deduction_def_from_cache$BinaryFunction`
`static class`	`dumper.$load_nart_hl_formula_from_cache$BinaryFunction`

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

Field Summary
`static SubLSymbol`	$compute_arg_type_cache_on_dumpP$
`static SubLSymbol`	$dump_verbose$
`static SubLSymbol`	$dump_verify$ Verify the existence of dump files when non-nil.
`static SubLInteger`	`$int170$30`
`static SubLInteger`	`$int25$192`
`static SubLSymbol`	`$kw166$SWAPPED_OUT`
`static SubLSymbol`	`$kw168$WARN_ONLY`
`static SubLSymbol`	`$kw171$GRAPH`
`static SubLSymbol`	`$kw172$END`
`static SubLSymbol`	`$kw173$ISA_ARG2_NAUT_TABLE`
`static SubLSymbol`	`$kw174$NON_FORT_ISA_TABLE`
`static SubLSymbol`	`$kw175$NON_FORT_INSTANCE_TABLE`
`static SubLSymbol`	`$kw56$INPUT`
`static SubLSymbol`	`$kw58$EOF`
`static SubLSymbol`	`$kw61$OUTPUT`
`static SubLSymbol`	`$kw72$SKIP`
`static SubLList`	`$list10`
`static SubLList`	`$list11`
`static SubLList`	`$list116`
`static SubLList`	`$list12`
`static SubLList`	`$list14`
`static SubLList`	`$list184`
`static SubLList`	`$list21`
`static SubLList`	`$list64`
`static SubLList`	`$list9`
`static SubLString`	`$str100$assertion_index`
`static SubLString`	`$str101$Dumping_assertion_definitions`
`static SubLString`	`$str102$__Assertion_definitions_will_be_s`
`static SubLString`	`$str103$Loading_assertion_definitions`
`static SubLString`	`$str105$kb_hl_support`
`static SubLString`	`$str106$kb_hl_support_index`
`static SubLString`	`$str107$Dumping_KB_HL_support_definitions`
`static SubLString`	`$str108$__KB_HL_supports_will_be_swapped_`
`static SubLString`	`$str109$Loading_KB_HL_support_definitions`
`static SubLString`	`$str111$kb_hl_support_indexing`
`static SubLString`	`$str112$Dumping_KB_HL_support_indexing___`
`static SubLString`	`$str113$Loading_KB_HL_support_indexing___`
`static SubLString`	`$str114$bookkeeping_assertions`
`static SubLString`	`$str115$Dumping_bookkeeping_assertions___`
`static SubLString`	`$str117$Loading_bookkeeping_assertions___`
`static SubLString`	`$str118$Dumping_rule_utility_experience__`
`static SubLString`	`$str119$Loading_rule_utility_experience__`
`static SubLString`	`$str120$indices`
`static SubLString`	`$str121$indices_index`
`static SubLString`	`$str122$Dumping_constant_indices`
`static SubLString`	`$str123$__Constant_indexing_will_be_swapp`
`static SubLString`	`$str124$Loading_constant_indices`
`static SubLString`	`$str126$nat_indices`
`static SubLString`	`$str127$nat_indices_index`
`static SubLString`	`$str128$Dumping_NART_indices`
`static SubLString`	`$str129$__NART_indexing_will_be_swapped_i`
`static SubLString`	`$str130$Loading_NART_indices`
`static SubLString`	`$str132$unrepresented_term_indices`
`static SubLString`	`$str133$unrepresented_term_indices_index`
`static SubLString`	`$str134$Dumping_unrepresented_term_indice`
`static SubLString`	`$str135$__Unrepresented_term_indexing_wil`
`static SubLString`	`$str136$Loading_unrepresented_term_indice`
`static SubLString`	`$str138$assertion_indices`
`static SubLString`	`$str139$Dumping_assertion_indices`
`static SubLString`	`$str140$Loading_assertion_indices`
`static SubLString`	`$str141$auxiliary_indices`
`static SubLString`	`$str142$Dumping_auxiliary_indices___`
`static SubLString`	`$str143$Loading_auxiliary_indices`
`static SubLString`	`$str144$bookkeeping_indices`
`static SubLString`	`$str145$Dumping_bookkeeping_indices`
`static SubLString`	`$str147$Loading_bookkeeping_indices___`
`static SubLString`	`$str148$rule_set`
`static SubLString`	`$str149$Dumping_rule_set___`
`static SubLString`	`$str151$Loading_rule_set___`
`static SubLString`	`$str152$nart_hl_formula`
`static SubLString`	`$str153$nart_hl_formula_index`
`static SubLString`	`$str155$Dumping_NART_HL_formulas`
`static SubLString`	`$str156$_A`
`static SubLString`	`$str157$__NART_HL_formulas_will_be_swappe`
`static SubLString`	`$str158$Loading_nart_hl_formula_definitio`
`static SubLString`	`$str159$misc`
`static SubLString`	`$str160$Dumping_miscellaneous_stuff___`
`static SubLString`	`$str161$Loading_miscellaneous_stuff___`
`static SubLString`	`$str162$sbhl_modules`
`static SubLString`	`$str163$sbhl_module_graphs`
`static SubLString`	`$str164$sbhl_module_graphs_index`
`static SubLString`	`$str165$Dumping_SBHL_modules_and_graphs__`
`static SubLString`	`$str167$Dumping_SBHL_graphs___`
`static SubLString`	`$str169$Loading_SBHL_graphs___`
`static SubLString`	`$str176$Could_not_handle_SBHL_miscellany_`
`static SubLString`	`$str177$sbhl_cache`
`static SubLString`	`$str178$Dumping_SBHL_cache___`
`static SubLString`	`$str179$Loading_SBHL_cache___`
`static SubLString`	`$str180$cardinality_estimates`
`static SubLString`	`$str181$Dumping_cardinality_estimates___`
`static SubLString`	`$str183$Loading_cardinality_estimates___`
`static SubLString`	`$str185$arg_type_cache`
`static SubLString`	`$str186$Dumping_arg_type_cache___`
`static SubLString`	`$str187$Loading_arg_type_cache___`
`static SubLString`	`$str188$Rebuilding_arg_type_cache`
`static SubLString`	`$str189$defns_cache`
`static SubLString`	`$str190$Dumping_defns_cache___`
`static SubLString`	`$str191$Loading_defns_cache___`
`static SubLString`	`$str192$tva_cache`
`static SubLString`	`$str193$Dumping_TVA_cache___`
`static SubLString`	`$str195$Loading_TVA_cache___`
`static SubLString`	`$str196$somewhere_cache`
`static SubLString`	`$str197$Dumping_somewhere_rules_cache___`
`static SubLString`	`$str198$Loading_somewhere_cache___`
`static SubLString`	`$str199$arity_cache`
`static SubLString`	`$str200$Dumping_arity_cache___`
`static SubLString`	`$str201$Loading_arity_cache___`
`static SubLString`	`$str202$________Performing_other_KB_dump_`
`static SubLString`	`$str203$________Performing_KB_initializat`
`static SubLString`	`$str204$Reformulator___A__`
`static SubLString`	`$str205$Paraphrase___A__`
`static SubLString`	`$str206$Cyc_Task_Scheduler___A__`
`static SubLString`	`$str207$SKSI___A__`
`static SubLString`	`$str208$Quant___A__`
`static SubLString`	`$str209$Date___A__`
`static SubLString`	`$str210$Time___A__`
`static SubLString`	`$str211$Lexicon___A__`
`static SubLString`	`$str212$NL___A__`
`static SubLString`	`$str213$RTP___A__`
`static SubLString`	`$str214$RKF___A__`
`static SubLString`	`$str215$Thesaurus___A__`
`static SubLString`	`$str216$Wordnet___A__`
`static SubLString`	`$str217$Planner___A__`
`static SubLString`	`$str218$Secure___A__`
`static SubLString`	`$str22$cfasl`
`static SubLString`	`$str23$fht`
`static SubLString`	`$str24$_4__0D`
`static SubLString`	`$str26$file__s_not_found`
`static SubLString`	`$str27$Directory__S_does_not_exist_`
`static SubLString`	`$str28$Directory__S_cannot_be_written_to`
`static SubLString`	`$str29$Directory__S_does_not_have_enough`
`static SubLString`	`$str30$rule_utility_experience`
`static SubLString`	`$str43$Create_directory_and_continue_`
`static SubLString`	`$str44$________Dumping_KB__A_to__A_at__A`
`static SubLString`	`$str45$_____S_transcript_operations_proc`
`static SubLString`	`$str46$________Dump_of_KB__A_completed__`
`static SubLString`	`$str47$________Loading_KB_from__A_at__A_`
`static SubLString`	`$str48$________Load_of_KB__A_completed__`
`static SubLString`	`$str49$________Dumping_essential_KB__`
`static SubLString`	`$str50$________Loading_essential_KB_at__`
`static SubLString`	`$str51$________Loading_computable_KB_at_`
`static SubLString`	`$str52$________Loading_computable_remain`
`static SubLString`	`$str53$________Rebuilding_computable_but`
`static SubLString`	`$str54$Invalid_attempt_to_reuse_memoizat`
`static SubLString`	`$str57$Unable_to_open__S`
`static SubLString`	`$str59$_d_bytes_of_unread_stuff_in__S`
`static SubLString`	`$str60$text`
`static SubLString`	`$str62$_a__`
`static SubLString`	`$str65$Dumping_special_objects_at__A___`
`static SubLString`	`$str66$special`
`static SubLString`	`$str67$Loading_special_objects___`
`static SubLString`	`$str69$constant_count`
`static SubLString`	`$str70$constant_shell`
`static SubLString`	`$str71$Dumping_constant_shells`
`static SubLString`	`$str73$Loading_constant_shells`
`static SubLString`	`$str74$nart_count`
`static SubLString`	`$str75$nat_shell`
`static SubLString`	`$str76$Loading_NART_shells`
`static SubLString`	`$str77$assertion_count`
`static SubLString`	`$str78$assertion_shell`
`static SubLString`	`$str79$Loading_assertion_shells`
`static SubLString`	`$str80$kb_hl_support_count`
`static SubLString`	`$str81$kb_hl_support_shell`
`static SubLString`	`$str82$Loading_KB_HL_support_shells`
`static SubLString`	`$str83$unrepresented_term_count`
`static SubLString`	`$str84$unrepresented_terms`
`static SubLString`	`$str85$Dumping_KB_unrepresented_terms`
`static SubLString`	`$str86$Loading_KB_unrepresented_terms`
`static SubLString`	`$str87$clause_struc_count`
`static SubLString`	`$str88$clause_struc`
`static SubLString`	`$str89$Dumping_clause_struc_definitions`
`static SubLString`	`$str90$Loading_clause_struc_definitions`
`static SubLString`	`$str91$deduction_count`
`static SubLString`	`$str92$deduction`
`static SubLString`	`$str93$deduction_index`
`static SubLString`	`$str94$Dumping_deduction_definitions`
`static SubLString`	`$str95$__Deduction_definitions_will_be_s`
`static SubLString`	`$str96$Initializing_deduction_handles_on`
`static SubLString`	`$str97$Loading_deduction_definitions`
`static SubLString`	`$str99$assertion`
`static SubLSymbol`	`$sym0$_FORCE_MONOLITHIC_KB_ASSUMPTION_`
`static SubLSymbol`	`$sym1$WITH_CONSTANT_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym104$LOAD_ASSERTION_DEF_FROM_CACHE`
`static SubLSymbol`	`$sym110$LOAD_KB_HL_SUPPORT_DEF_FROM_CACHE`
`static SubLSymbol`	`$sym125$LOAD_CONSTANT_INDEX_FROM_CACHE`
`static SubLSymbol`	`$sym13$DISCARD_DUMP_FILENAME`
`static SubLSymbol`	`$sym131$LOAD_NART_INDEX_FROM_CACHE`
`static SubLSymbol`	`$sym137$LOAD_UNREPRESENTED_TERM_INDEX_FROM_CACHE`
`static SubLSymbol`	`$sym146$LOAD_BOOKKEEPING_INDICES`
`static SubLSymbol`	`$sym15$FILENAME_VAR`
`static SubLSymbol`	`$sym150$LOAD_RULE_SET_FROM_STREAM`
`static SubLSymbol`	`$sym154$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym16$WITH_KB_DUMP_FILENAME`
`static SubLSymbol`	`$sym17$WITH_PRIVATE_BINARY_FILE`
`static SubLSymbol`	`$sym18$FILENAME_VAR`
`static SubLSymbol`	`$sym182$LOAD_CARDINALITY_ESTIMATES_FROM_STREAM`
`static SubLSymbol`	`$sym19$WITH_PRIVATE_TEXT_FILE`
`static SubLSymbol`	`$sym194$LOAD_TVA_CACHE_FROM_STREAM`
`static SubLSymbol`	`$sym2$WITH_NART_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym20$STRINGP`
`static SubLSymbol`	`$sym3$WITH_UNREPRESENTED_TERM_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym31$CONSTANT_DUMP_ID`
`static SubLSymbol`	`$sym32$NART_DUMP_ID`
`static SubLSymbol`	`$sym33$ASSERTION_DUMP_ID`
`static SubLSymbol`	`$sym34$DEDUCTION_DUMP_ID`
`static SubLSymbol`	`$sym35$KB_HL_SUPPORT_DUMP_ID`
`static SubLSymbol`	`$sym36$CLAUSE_STRUC_DUMP_ID`
`static SubLSymbol`	`$sym37$FIND_CONSTANT_BY_DUMP_ID`
`static SubLSymbol`	`$sym38$FIND_NART_BY_DUMP_ID`
`static SubLSymbol`	`$sym39$FIND_ASSERTION_BY_DUMP_ID`
`static SubLSymbol`	`$sym4$WITH_ASSERTION_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym40$FIND_DEDUCTION_BY_DUMP_ID`
`static SubLSymbol`	`$sym41$FIND_KB_HL_SUPPORT_BY_DUMP_ID`
`static SubLSymbol`	`$sym42$FIND_CLAUSE_STRUC_BY_DUMP_ID`
`static SubLSymbol`	`$sym5$WITH_DEDUCTION_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym55$SYMBOLP`
`static SubLSymbol`	`$sym6$WITH_KB_HL_SUPPORT_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym63$NON_NEGATIVE_INTEGER_P`
`static SubLSymbol`	`$sym68$INTEGERP`
`static SubLSymbol`	`$sym7$WITH_CLAUSE_STRUC_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym8$CLET`
`static SubLSymbol`	`$sym98$LOAD_DEDUCTION_DEF_FROM_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

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_dumper_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`discard_dump_filename(SubLObject filename)`
`static SubLObject`	`force_monolithic_kb_assumptionP()`
`static SubLObject`	`init_dumper_file()`
`static SubLObject`	`initialize_assertion_shells(SubLObject assertion_count)`
`static SubLObject`	`initialize_kb_features()` If the code is missing, assume the relevant portion of the KB is also missing, because it won't matter if it's there.
`static SubLObject`	`initialize_kb_hl_support_shells(SubLObject kb_hl_support_count)`
`static SubLObject`	`initialize_nart_shells(SubLObject nart_count)`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`kb_dump_file(SubLObject name, SubLObject directory_path, SubLObject extension)` Return the KB dump file NAME.EXTENSION in the dump directory DIRECTORY-PATH
`static SubLObject`	`kb_load_from_directory(SubLObject directory_path)`
`static SubLObject`	`kb_load_gc_checkpoint()`
`static SubLObject`	`load_arg_type_cache(SubLObject directory_path)`
`static SubLObject`	`load_arity_cache(SubLObject directory_path)`
`static SubLObject`	`load_assertion_count(SubLObject directory_path)`
`static SubLObject`	`load_assertion_def_from_cache(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_assertion_def(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_assertion_defs(SubLObject directory_path)`
`static SubLObject`	`load_assertion_index(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_assertion_indices(SubLObject directory_path)`
`static SubLObject`	`load_assertion_shells(SubLObject directory_path)`
`static SubLObject`	`load_auxiliary_indices_file(SubLObject directory_path)`
`static SubLObject`	`load_bookkeeping_assertion(SubLObject pred, SubLObject stream)`
`static SubLObject`	`load_bookkeeping_assertions_for_pred(SubLObject stream)`
`static SubLObject`	`load_bookkeeping_assertions(SubLObject directory_path)`
`static SubLObject`	`load_bookkeeping_indices_file(SubLObject directory_path)`
`static SubLObject`	`load_bookkeeping_indices(SubLObject stream)`
`static SubLObject`	`load_cardinality_estimates(SubLObject directory_path)`
`static SubLObject`	`load_clause_struc_count(SubLObject directory_path)`
`static SubLObject`	`load_clause_struc_def(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_clause_struc_defs(SubLObject directory_path)`
`static SubLObject`	`load_computable_content(SubLObject directory_path)`
`static SubLObject`	`load_computable_kb_initializations()` Initialize the non-dumpable but computable KB aspects exclusively dependent on the computable KB (e.g.indexing), but not on the remaining HL
`static SubLObject`	`load_computable_kb(SubLObject directory_path)`
`static SubLObject`	`load_computable_remaining_hl_low_initializations()` Initialize the non-dumpable but computable KB aspects dependent on SBHL and arg type caches.
`static SubLObject`	`load_computable_remaining_hl(SubLObject directory_path)`
`static SubLObject`	`load_constant_count(SubLObject directory_path)`
`static SubLObject`	`load_constant_index_from_cache(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_constant_index(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_constant_indices(SubLObject directory_path)`
`static SubLObject`	`load_constant_shell_internal(SubLObject dump_id, SubLObject name, SubLObject guid)`
`static SubLObject`	`load_constant_shell(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_constant_shells(SubLObject directory_path)`
`static SubLObject`	`load_copyright(SubLObject stream)`
`static SubLObject`	`load_deduction_count(SubLObject directory_path)`
`static SubLObject`	`load_deduction_def_from_cache(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_deduction_def(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_deduction_defs(SubLObject directory_path)`
`static SubLObject`	`load_defns_cache(SubLObject directory_path)`
`static SubLObject`	`load_essential_kb_initializations()` Initialize the non-dumpable but computable KB aspects exclusively dependent on the essential KB that other computable KB aspects, whether dumpable or not, are dependent upon
`static SubLObject`	`load_essential_kb(SubLObject directory_path)`
`static SubLObject`	`load_experience(SubLObject directory_path)`
`static SubLObject`	`load_isa_arg2_naut_table(SubLObject stream)`
`static SubLObject`	`load_kb_hl_support_count(SubLObject directory_path)`
`static SubLObject`	`load_kb_hl_support_def_from_cache(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_kb_hl_support_def(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_kb_hl_support_defs(SubLObject directory_path)`
`static SubLObject`	`load_kb_hl_support_indexing(SubLObject directory_path)`
`static SubLObject`	`load_kb_hl_support_shells(SubLObject directory_path)`
`static SubLObject`	`load_kb_indexing(SubLObject directory_path)`
`static SubLObject`	`load_kb_initializations()` Initializations which should be run whenever the KB is loaded.
`static SubLObject`	`load_kb_object_count(SubLObject directory_path, SubLObject filename)`
`static SubLObject`	`load_kb_product_shared_symbols(SubLObject directory_path)` An accessor for load-special-objects, currently required by HL module stores.
`static SubLObject`	`load_kb_unrepresented_term_count(SubLObject directory_path)`
`static SubLObject`	`load_kb_unrepresented_term(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_kb_unrepresented_terms(SubLObject directory_path)`
`static SubLObject`	`load_kb(SubLObject directory_path)` Load the KB from the dump directory in DIRECTORY-PATH.
`static SubLObject`	`load_miscellaneous(SubLObject directory_path)`
`static SubLObject`	`load_nart_count(SubLObject directory_path)`
`static SubLObject`	`load_nart_hl_formulas(SubLObject directory_path)`
`static SubLObject`	`load_nart_indices(SubLObject directory_path)`
`static SubLObject`	`load_nart_shells(SubLObject directory_path)`
`static SubLObject`	`load_non_fort_instance_table(SubLObject stream)`
`static SubLObject`	`load_non_fort_isa_table(SubLObject stream)`
`static SubLObject`	`load_rule_set(SubLObject directory_path)`
`static SubLObject`	`load_rule_utility_experience(SubLObject directory_path)`
`static SubLObject`	`load_sbhl_cache(SubLObject directory_path)`
`static SubLObject`	`load_sbhl_data(SubLObject directory_path)`
`static SubLObject`	`load_sbhl_miscellany(SubLObject stream)`
`static SubLObject`	`load_somewhere_cache(SubLObject directory_path)`
`static SubLObject`	`load_special_objects(SubLObject directory_path)`
`static SubLObject`	`load_tva_cache(SubLObject dump_directory)`
`static SubLObject`	`load_unit_file(SubLObject dump_directory, SubLObject filename, SubLObject load_func, SubLObject progress_message)` A helper used for a few of the KB object load methods.
`static SubLObject`	`load_unrepresented_term_index_from_cache(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_unrepresented_term_index(SubLObject dump_id, SubLObject stream)`
`static SubLObject`	`load_unrepresented_term_indices(SubLObject directory_path)`
`static SubLObject`	`rebuild_computable_but_not_dumpable_yet()` These are former 'initializations' that are rebuilding expensive (in both time and space) structures and so should not be part of load-kb-initializations, but part of [dump/load/rebuild]-computable-remaining-hl.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_dumper_file()`
`static SubLObject`	`setup_kb_state_from_dump(SubLObject directory_path)`
`static SubLObject`	`verify_file_existence(SubLObject filename, SubLObject warn_onlyP)` Generate an error if FILENAME does not exist.

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

$dump_verify$

public static SubLSymbol $dump_verify$

Verify the existence of dump files when non-nil.

$dump_verbose$

public static SubLSymbol $dump_verbose$

$compute_arg_type_cache_on_dumpP$

public static SubLSymbol $compute_arg_type_cache_on_dumpP$

$sym0$_FORCE_MONOLITHIC_KB_ASSUMPTION_

public static final SubLSymbol $sym0$_FORCE_MONOLITHIC_KB_ASSUMPTION_

$sym1$WITH_CONSTANT_DUMP_ID_TABLE

public static final SubLSymbol $sym1$WITH_CONSTANT_DUMP_ID_TABLE

$sym2$WITH_NART_DUMP_ID_TABLE

public static final SubLSymbol $sym2$WITH_NART_DUMP_ID_TABLE

$sym3$WITH_UNREPRESENTED_TERM_DUMP_ID_TABLE

public static final SubLSymbol $sym3$WITH_UNREPRESENTED_TERM_DUMP_ID_TABLE

$sym4$WITH_ASSERTION_DUMP_ID_TABLE

public static final SubLSymbol $sym4$WITH_ASSERTION_DUMP_ID_TABLE

$sym5$WITH_DEDUCTION_DUMP_ID_TABLE

public static final SubLSymbol $sym5$WITH_DEDUCTION_DUMP_ID_TABLE

$sym6$WITH_KB_HL_SUPPORT_DUMP_ID_TABLE

public static final SubLSymbol $sym6$WITH_KB_HL_SUPPORT_DUMP_ID_TABLE

$sym7$WITH_CLAUSE_STRUC_DUMP_ID_TABLE

public static final SubLSymbol $sym7$WITH_CLAUSE_STRUC_DUMP_ID_TABLE

$sym8$CLET

public static final SubLSymbol $sym8$CLET

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$list11

public static final SubLList $list11

$list12

public static final SubLList $list12

$sym13$DISCARD_DUMP_FILENAME

public static final SubLSymbol $sym13$DISCARD_DUMP_FILENAME

$list14

public static final SubLList $list14

$sym15$FILENAME_VAR

public static final SubLSymbol $sym15$FILENAME_VAR

$sym16$WITH_KB_DUMP_FILENAME

public static final SubLSymbol $sym16$WITH_KB_DUMP_FILENAME

$sym17$WITH_PRIVATE_BINARY_FILE

public static final SubLSymbol $sym17$WITH_PRIVATE_BINARY_FILE

$sym18$FILENAME_VAR

public static final SubLSymbol $sym18$FILENAME_VAR

$sym19$WITH_PRIVATE_TEXT_FILE

public static final SubLSymbol $sym19$WITH_PRIVATE_TEXT_FILE

$sym20$STRINGP

public static final SubLSymbol $sym20$STRINGP

$list21

public static final SubLList $list21

$str22$cfasl

public static final SubLString $str22$cfasl

$str23$fht

public static final SubLString $str23$fht

$str24$_4__0D

public static final SubLString $str24$_4__0D

$int25$192

public static final SubLInteger $int25$192

$str26$file__s_not_found

public static final SubLString $str26$file__s_not_found

$str27$Directory__S_does_not_exist_

public static final SubLString $str27$Directory__S_does_not_exist_

$str28$Directory__S_cannot_be_written_to

public static final SubLString $str28$Directory__S_cannot_be_written_to

$str29$Directory__S_does_not_have_enough

public static final SubLString $str29$Directory__S_does_not_have_enough

$str30$rule_utility_experience

public static final SubLString $str30$rule_utility_experience

$sym31$CONSTANT_DUMP_ID

public static final SubLSymbol $sym31$CONSTANT_DUMP_ID

$sym32$NART_DUMP_ID

public static final SubLSymbol $sym32$NART_DUMP_ID

$sym33$ASSERTION_DUMP_ID

public static final SubLSymbol $sym33$ASSERTION_DUMP_ID

$sym34$DEDUCTION_DUMP_ID

public static final SubLSymbol $sym34$DEDUCTION_DUMP_ID

$sym35$KB_HL_SUPPORT_DUMP_ID

public static final SubLSymbol $sym35$KB_HL_SUPPORT_DUMP_ID

$sym36$CLAUSE_STRUC_DUMP_ID

public static final SubLSymbol $sym36$CLAUSE_STRUC_DUMP_ID

$sym37$FIND_CONSTANT_BY_DUMP_ID

public static final SubLSymbol $sym37$FIND_CONSTANT_BY_DUMP_ID

$sym38$FIND_NART_BY_DUMP_ID

public static final SubLSymbol $sym38$FIND_NART_BY_DUMP_ID

$sym39$FIND_ASSERTION_BY_DUMP_ID

public static final SubLSymbol $sym39$FIND_ASSERTION_BY_DUMP_ID

$sym40$FIND_DEDUCTION_BY_DUMP_ID

public static final SubLSymbol $sym40$FIND_DEDUCTION_BY_DUMP_ID

$sym41$FIND_KB_HL_SUPPORT_BY_DUMP_ID

public static final SubLSymbol $sym41$FIND_KB_HL_SUPPORT_BY_DUMP_ID

$sym42$FIND_CLAUSE_STRUC_BY_DUMP_ID

public static final SubLSymbol $sym42$FIND_CLAUSE_STRUC_BY_DUMP_ID

$str43$Create_directory_and_continue_

public static final SubLString $str43$Create_directory_and_continue_

$str44$________Dumping_KB__A_to__A_at__A

public static final SubLString $str44$________Dumping_KB__A_to__A_at__A

$str45$_____S_transcript_operations_proc

public static final SubLString $str45$_____S_transcript_operations_proc

$str46$________Dump_of_KB__A_completed__

public static final SubLString $str46$________Dump_of_KB__A_completed__

$str47$________Loading_KB_from__A_at__A_

public static final SubLString $str47$________Loading_KB_from__A_at__A_

$str48$________Load_of_KB__A_completed__

public static final SubLString $str48$________Load_of_KB__A_completed__

$str49$________Dumping_essential_KB__

public static final SubLString $str49$________Dumping_essential_KB__

$str50$________Loading_essential_KB_at__

public static final SubLString $str50$________Loading_essential_KB_at__

$str51$________Loading_computable_KB_at_

public static final SubLString $str51$________Loading_computable_KB_at_

$str52$________Loading_computable_remain

public static final SubLString $str52$________Loading_computable_remain

$str53$________Rebuilding_computable_but

public static final SubLString $str53$________Rebuilding_computable_but

$str54$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str54$Invalid_attempt_to_reuse_memoizat

$sym55$SYMBOLP

public static final SubLSymbol $sym55$SYMBOLP

$kw56$INPUT

public static final SubLSymbol $kw56$INPUT

$str57$Unable_to_open__S

public static final SubLString $str57$Unable_to_open__S

$kw58$EOF

public static final SubLSymbol $kw58$EOF

$str59$_d_bytes_of_unread_stuff_in__S

public static final SubLString $str59$_d_bytes_of_unread_stuff_in__S

$str60$text

public static final SubLString $str60$text

$kw61$OUTPUT

public static final SubLSymbol $kw61$OUTPUT

$str62$_a__

public static final SubLString $str62$_a__

$sym63$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym63$NON_NEGATIVE_INTEGER_P

$list64

public static final SubLList $list64

$str65$Dumping_special_objects_atA_

public static final SubLString $str65$Dumping_special_objects_at__A___

$str66$special

public static final SubLString $str66$special

$str67$Loading_special_objects___

public static final SubLString $str67$Loading_special_objects___

$sym68$INTEGERP

public static final SubLSymbol $sym68$INTEGERP

$str69$constant_count

public static final SubLString $str69$constant_count

$str70$constant_shell

public static final SubLString $str70$constant_shell

$str71$Dumping_constant_shells

public static final SubLString $str71$Dumping_constant_shells

$kw72$SKIP

public static final SubLSymbol $kw72$SKIP

$str73$Loading_constant_shells

public static final SubLString $str73$Loading_constant_shells

$str74$nart_count

public static final SubLString $str74$nart_count

$str75$nat_shell

public static final SubLString $str75$nat_shell

$str76$Loading_NART_shells

public static final SubLString $str76$Loading_NART_shells

$str77$assertion_count

public static final SubLString $str77$assertion_count

$str78$assertion_shell

public static final SubLString $str78$assertion_shell

$str79$Loading_assertion_shells

public static final SubLString $str79$Loading_assertion_shells

$str80$kb_hl_support_count

public static final SubLString $str80$kb_hl_support_count

$str81$kb_hl_support_shell

public static final SubLString $str81$kb_hl_support_shell

$str82$Loading_KB_HL_support_shells

public static final SubLString $str82$Loading_KB_HL_support_shells

$str83$unrepresented_term_count

public static final SubLString $str83$unrepresented_term_count

$str84$unrepresented_terms

public static final SubLString $str84$unrepresented_terms

$str85$Dumping_KB_unrepresented_terms

public static final SubLString $str85$Dumping_KB_unrepresented_terms

$str86$Loading_KB_unrepresented_terms

public static final SubLString $str86$Loading_KB_unrepresented_terms

$str87$clause_struc_count

public static final SubLString $str87$clause_struc_count

$str88$clause_struc

public static final SubLString $str88$clause_struc

$str89$Dumping_clause_struc_definitions

public static final SubLString $str89$Dumping_clause_struc_definitions

$str90$Loading_clause_struc_definitions

public static final SubLString $str90$Loading_clause_struc_definitions

$str91$deduction_count

public static final SubLString $str91$deduction_count

$str92$deduction

public static final SubLString $str92$deduction

$str93$deduction_index

public static final SubLString $str93$deduction_index

$str94$Dumping_deduction_definitions

public static final SubLString $str94$Dumping_deduction_definitions

$str95$__Deduction_definitions_will_be_s

public static final SubLString $str95$__Deduction_definitions_will_be_s

$str96$Initializing_deduction_handles_on

public static final SubLString $str96$Initializing_deduction_handles_on

$str97$Loading_deduction_definitions

public static final SubLString $str97$Loading_deduction_definitions

$sym98$LOAD_DEDUCTION_DEF_FROM_CACHE

public static final SubLSymbol $sym98$LOAD_DEDUCTION_DEF_FROM_CACHE

$str99$assertion

public static final SubLString $str99$assertion

$str100$assertion_index

public static final SubLString $str100$assertion_index

$str101$Dumping_assertion_definitions

public static final SubLString $str101$Dumping_assertion_definitions

$str102$__Assertion_definitions_will_be_s

public static final SubLString $str102$__Assertion_definitions_will_be_s

$str103$Loading_assertion_definitions

public static final SubLString $str103$Loading_assertion_definitions

$sym104$LOAD_ASSERTION_DEF_FROM_CACHE

public static final SubLSymbol $sym104$LOAD_ASSERTION_DEF_FROM_CACHE

$str105$kb_hl_support

public static final SubLString $str105$kb_hl_support

$str106$kb_hl_support_index

public static final SubLString $str106$kb_hl_support_index

$str107$Dumping_KB_HL_support_definitions

public static final SubLString $str107$Dumping_KB_HL_support_definitions

$str108$__KB_HL_supports_will_be_swapped_

public static final SubLString $str108$__KB_HL_supports_will_be_swapped_

$str109$Loading_KB_HL_support_definitions

public static final SubLString $str109$Loading_KB_HL_support_definitions

$sym110$LOAD_KB_HL_SUPPORT_DEF_FROM_CACHE

public static final SubLSymbol $sym110$LOAD_KB_HL_SUPPORT_DEF_FROM_CACHE

$str111$kb_hl_support_indexing

public static final SubLString $str111$kb_hl_support_indexing

$str112$Dumping_KB_HL_support_indexing___

public static final SubLString $str112$Dumping_KB_HL_support_indexing___

$str113$Loading_KB_HL_support_indexing___

public static final SubLString $str113$Loading_KB_HL_support_indexing___

$str114$bookkeeping_assertions

public static final SubLString $str114$bookkeeping_assertions

$str115$Dumping_bookkeeping_assertions___

public static final SubLString $str115$Dumping_bookkeeping_assertions___

$list116

public static final SubLList $list116

$str117$Loading_bookkeeping_assertions___

public static final SubLString $str117$Loading_bookkeeping_assertions___

$str118$Dumping_rule_utility_experience__

public static final SubLString $str118$Dumping_rule_utility_experience__

$str119$Loading_rule_utility_experience__

public static final SubLString $str119$Loading_rule_utility_experience__

$str120$indices

public static final SubLString $str120$indices

$str121$indices_index

public static final SubLString $str121$indices_index

$str122$Dumping_constant_indices

public static final SubLString $str122$Dumping_constant_indices

$str123$__Constant_indexing_will_be_swapp

public static final SubLString $str123$__Constant_indexing_will_be_swapp

$str124$Loading_constant_indices

public static final SubLString $str124$Loading_constant_indices

$sym125$LOAD_CONSTANT_INDEX_FROM_CACHE

public static final SubLSymbol $sym125$LOAD_CONSTANT_INDEX_FROM_CACHE

$str126$nat_indices

public static final SubLString $str126$nat_indices

$str127$nat_indices_index

public static final SubLString $str127$nat_indices_index

$str128$Dumping_NART_indices

public static final SubLString $str128$Dumping_NART_indices

$str129$__NART_indexing_will_be_swapped_i

public static final SubLString $str129$__NART_indexing_will_be_swapped_i

$str130$Loading_NART_indices

public static final SubLString $str130$Loading_NART_indices

$sym131$LOAD_NART_INDEX_FROM_CACHE

public static final SubLSymbol $sym131$LOAD_NART_INDEX_FROM_CACHE

$str132$unrepresented_term_indices

public static final SubLString $str132$unrepresented_term_indices

$str133$unrepresented_term_indices_index

public static final SubLString $str133$unrepresented_term_indices_index

$str134$Dumping_unrepresented_term_indice

public static final SubLString $str134$Dumping_unrepresented_term_indice

$str135$__Unrepresented_term_indexing_wil

public static final SubLString $str135$__Unrepresented_term_indexing_wil

$str136$Loading_unrepresented_term_indice

public static final SubLString $str136$Loading_unrepresented_term_indice

$sym137$LOAD_UNREPRESENTED_TERM_INDEX_FROM_CACHE

public static final SubLSymbol $sym137$LOAD_UNREPRESENTED_TERM_INDEX_FROM_CACHE

$str138$assertion_indices

public static final SubLString $str138$assertion_indices

$str139$Dumping_assertion_indices

public static final SubLString $str139$Dumping_assertion_indices

$str140$Loading_assertion_indices

public static final SubLString $str140$Loading_assertion_indices

$str141$auxiliary_indices

public static final SubLString $str141$auxiliary_indices

$str142$Dumping_auxiliary_indices___

public static final SubLString $str142$Dumping_auxiliary_indices___

$str143$Loading_auxiliary_indices

public static final SubLString $str143$Loading_auxiliary_indices

$str144$bookkeeping_indices

public static final SubLString $str144$bookkeeping_indices

$str145$Dumping_bookkeeping_indices

public static final SubLString $str145$Dumping_bookkeeping_indices

$sym146$LOAD_BOOKKEEPING_INDICES

public static final SubLSymbol $sym146$LOAD_BOOKKEEPING_INDICES

$str147$Loading_bookkeeping_indices___

public static final SubLString $str147$Loading_bookkeeping_indices___

$str148$rule_set

public static final SubLString $str148$rule_set

$str149$Dumping_rule_set___

public static final SubLString $str149$Dumping_rule_set___

$sym150$LOAD_RULE_SET_FROM_STREAM

public static final SubLSymbol $sym150$LOAD_RULE_SET_FROM_STREAM

$str151$Loading_rule_set___

public static final SubLString $str151$Loading_rule_set___

$str152$nart_hl_formula

public static final SubLString $str152$nart_hl_formula

$str153$nart_hl_formula_index

public static final SubLString $str153$nart_hl_formula_index

$sym154$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym154$CATCH_ERROR_MESSAGE_HANDLER

$str155$Dumping_NART_HL_formulas

public static final SubLString $str155$Dumping_NART_HL_formulas

$str156$_A

public static final SubLString $str156$_A

$str157$__NART_HL_formulas_will_be_swappe

public static final SubLString $str157$__NART_HL_formulas_will_be_swappe

$str158$Loading_nart_hl_formula_definitio

public static final SubLString $str158$Loading_nart_hl_formula_definitio

$str159$misc

public static final SubLString $str159$misc

$str160$Dumping_miscellaneous_stuff___

public static final SubLString $str160$Dumping_miscellaneous_stuff___

$str161$Loading_miscellaneous_stuff___

public static final SubLString $str161$Loading_miscellaneous_stuff___

$str162$sbhl_modules

public static final SubLString $str162$sbhl_modules

$str163$sbhl_module_graphs

public static final SubLString $str163$sbhl_module_graphs

$str164$sbhl_module_graphs_index

public static final SubLString $str164$sbhl_module_graphs_index

$str165$Dumping_SBHL_modules_and_graphs__

public static final SubLString $str165$Dumping_SBHL_modules_and_graphs__

$kw166$SWAPPED_OUT

public static final SubLSymbol $kw166$SWAPPED_OUT

$str167$Dumping_SBHL_graphs___

public static final SubLString $str167$Dumping_SBHL_graphs___

$kw168$WARN_ONLY

public static final SubLSymbol $kw168$WARN_ONLY

$str169$Loading_SBHL_graphs___

public static final SubLString $str169$Loading_SBHL_graphs___

$int170$30

public static final SubLInteger $int170$30

$kw171$GRAPH

public static final SubLSymbol $kw171$GRAPH

$kw172$END

public static final SubLSymbol $kw172$END

$kw173$ISA_ARG2_NAUT_TABLE

public static final SubLSymbol $kw173$ISA_ARG2_NAUT_TABLE

$kw174$NON_FORT_ISA_TABLE

public static final SubLSymbol $kw174$NON_FORT_ISA_TABLE

$kw175$NON_FORT_INSTANCE_TABLE

public static final SubLSymbol $kw175$NON_FORT_INSTANCE_TABLE

$str176$Could_not_handle_SBHL_miscellany_

public static final SubLString $str176$Could_not_handle_SBHL_miscellany_

$str177$sbhl_cache

public static final SubLString $str177$sbhl_cache

$str178$Dumping_SBHL_cache___

public static final SubLString $str178$Dumping_SBHL_cache___

$str179$Loading_SBHL_cache___

public static final SubLString $str179$Loading_SBHL_cache___

$str180$cardinality_estimates

public static final SubLString $str180$cardinality_estimates

$str181$Dumping_cardinality_estimates___

public static final SubLString $str181$Dumping_cardinality_estimates___

$sym182$LOAD_CARDINALITY_ESTIMATES_FROM_STREAM

public static final SubLSymbol $sym182$LOAD_CARDINALITY_ESTIMATES_FROM_STREAM

$str183$Loading_cardinality_estimates___

public static final SubLString $str183$Loading_cardinality_estimates___

$list184

public static final SubLList $list184

$str185$arg_type_cache

public static final SubLString $str185$arg_type_cache

$str186$Dumping_arg_type_cache___

public static final SubLString $str186$Dumping_arg_type_cache___

$str187$Loading_arg_type_cache___

public static final SubLString $str187$Loading_arg_type_cache___

$str188$Rebuilding_arg_type_cache

public static final SubLString $str188$Rebuilding_arg_type_cache

$str189$defns_cache

public static final SubLString $str189$defns_cache

$str190$Dumping_defns_cache___

public static final SubLString $str190$Dumping_defns_cache___

$str191$Loading_defns_cache___

public static final SubLString $str191$Loading_defns_cache___

$str192$tva_cache

public static final SubLString $str192$tva_cache

$str193$Dumping_TVA_cache___

public static final SubLString $str193$Dumping_TVA_cache___

$sym194$LOAD_TVA_CACHE_FROM_STREAM

public static final SubLSymbol $sym194$LOAD_TVA_CACHE_FROM_STREAM

$str195$Loading_TVA_cache___

public static final SubLString $str195$Loading_TVA_cache___

$str196$somewhere_cache

public static final SubLString $str196$somewhere_cache

$str197$Dumping_somewhere_rules_cache___

public static final SubLString $str197$Dumping_somewhere_rules_cache___

$str198$Loading_somewhere_cache___

public static final SubLString $str198$Loading_somewhere_cache___

$str199$arity_cache

public static final SubLString $str199$arity_cache

$str200$Dumping_arity_cache___

public static final SubLString $str200$Dumping_arity_cache___

$str201$Loading_arity_cache___

public static final SubLString $str201$Loading_arity_cache___

$str202$________Performing_other_KB_dump_

public static final SubLString $str202$________Performing_other_KB_dump_

$str203$________Performing_KB_initializat

public static final SubLString $str203$________Performing_KB_initializat

$str204$Reformulator_A

public static final SubLString $str204$Reformulator___A__

$str205$Paraphrase_A

public static final SubLString $str205$Paraphrase___A__

$str206$Cyc_Task_Scheduler_A

public static final SubLString $str206$Cyc_Task_Scheduler___A__

$str207$SKSI_A

public static final SubLString $str207$SKSI___A__

$str208$Quant_A

public static final SubLString $str208$Quant___A__

$str209$Date_A

public static final SubLString $str209$Date___A__

$str210$Time_A

public static final SubLString $str210$Time___A__

$str211$Lexicon_A

public static final SubLString $str211$Lexicon___A__

$str212$NL_A

public static final SubLString $str212$NL___A__

$str213$RTP_A

public static final SubLString $str213$RTP___A__

$str214$RKF_A

public static final SubLString $str214$RKF___A__

$str215$Thesaurus_A

public static final SubLString $str215$Thesaurus___A__

$str216$Wordnet_A

public static final SubLString $str216$Wordnet___A__

$str217$Planner_A

public static final SubLString $str217$Planner___A__

$str218$Secure_A

public static final SubLString $str218$Secure___A__

Method Detail

force_monolithic_kb_assumptionP

public static final SubLObject force_monolithic_kb_assumptionP()

discard_dump_filename

public static final SubLObject discard_dump_filename(SubLObject filename)

kb_dump_file

public static final SubLObject kb_dump_file(SubLObject name,
                                            SubLObject directory_path,
                                            SubLObject extension)

Return the KB dump file NAME.EXTENSION in the dump directory DIRECTORY-PATH

verify_file_existence

public static final SubLObject verify_file_existence(SubLObject filename,
                                                     SubLObject warn_onlyP)

Generate an error if FILENAME does not exist.

Parameters:: WARN-ONLY?; - if t, warns instead of errors if FILENAME does not exist.

kb_load_gc_checkpoint

public static final SubLObject kb_load_gc_checkpoint()

load_kb

public static final SubLObject load_kb(SubLObject directory_path)

Load the KB from the dump directory in DIRECTORY-PATH.

kb_load_from_directory

public static final SubLObject kb_load_from_directory(SubLObject directory_path)

load_essential_kb

public static final SubLObject load_essential_kb(SubLObject directory_path)

load_essential_kb_initializations

public static final SubLObject load_essential_kb_initializations()

Initialize the non-dumpable but computable KB aspects exclusively dependent on the essential KB that other computable KB aspects, whether dumpable or not, are dependent upon

load_computable_kb_initializations

public static final SubLObject load_computable_kb_initializations()

Initialize the non-dumpable but computable KB aspects exclusively dependent on the computable KB (e.g.indexing), but not on the remaining HL

load_computable_remaining_hl_low_initializations

public static final SubLObject load_computable_remaining_hl_low_initializations()

Initialize the non-dumpable but computable KB aspects dependent on SBHL and arg type caches.

load_computable_content

public static final SubLObject load_computable_content(SubLObject directory_path)

load_computable_kb

public static final SubLObject load_computable_kb(SubLObject directory_path)

load_computable_remaining_hl

public static final SubLObject load_computable_remaining_hl(SubLObject directory_path)

rebuild_computable_but_not_dumpable_yet

public static final SubLObject rebuild_computable_but_not_dumpable_yet()

These are former 'initializations' that are rebuilding expensive (in both time and space) structures and so should *not* be part of load-kb-initializations, but part of [dump/load/rebuild]-computable-remaining-hl. The refactoring to do that requires: identifying the initializations the rebuild depends on and adding it before the rebuild in rebuild-computable-remaining-hl (@see lexicon-cache's dependency on initialize-lexicon-modules), then making the structures dump/loadable, which in the case of most of these is non-trivial.

load_copyright

public static final SubLObject load_copyright(SubLObject stream)

load_unit_file

public static final SubLObject load_unit_file(SubLObject dump_directory,
                                              SubLObject filename,
                                              SubLObject load_func,
                                              SubLObject progress_message)

A helper used for a few of the KB object load methods.

Parameters:: LOAD-FUNC; - a unary function-spec-p that takes a stream as its single argument.

load_kb_object_count

public static final SubLObject load_kb_object_count(SubLObject directory_path,
                                                    SubLObject filename)

load_special_objects

public static final SubLObject load_special_objects(SubLObject directory_path)

load_kb_product_shared_symbols

public static final SubLObject load_kb_product_shared_symbols(SubLObject directory_path)

An accessor for load-special-objects, currently required by HL module stores. Also quieter than load-special-objects since callers should print their own progress at a higher level.

setup_kb_state_from_dump

public static final SubLObject setup_kb_state_from_dump(SubLObject directory_path)

load_constant_count

public static final SubLObject load_constant_count(SubLObject directory_path)

Returns:: 0 integerp; the constant count

load_constant_shells

public static final SubLObject load_constant_shells(SubLObject directory_path)

load_constant_shell

public static final SubLObject load_constant_shell(SubLObject dump_id,
                                                   SubLObject stream)

load_constant_shell_internal

public static final SubLObject load_constant_shell_internal(SubLObject dump_id,
                                                            SubLObject name,
                                                            SubLObject guid)

load_nart_shells

public static final SubLObject load_nart_shells(SubLObject directory_path)

load_nart_count

public static final SubLObject load_nart_count(SubLObject directory_path)

initialize_nart_shells

public static final SubLObject initialize_nart_shells(SubLObject nart_count)

load_assertion_shells

public static final SubLObject load_assertion_shells(SubLObject directory_path)

load_assertion_count

public static final SubLObject load_assertion_count(SubLObject directory_path)

initialize_assertion_shells

public static final SubLObject initialize_assertion_shells(SubLObject assertion_count)

load_kb_hl_support_shells

public static final SubLObject load_kb_hl_support_shells(SubLObject directory_path)

load_kb_hl_support_count

public static final SubLObject load_kb_hl_support_count(SubLObject directory_path)

initialize_kb_hl_support_shells

public static final SubLObject initialize_kb_hl_support_shells(SubLObject kb_hl_support_count)

load_kb_unrepresented_terms

public static final SubLObject load_kb_unrepresented_terms(SubLObject directory_path)

load_kb_unrepresented_term

public static final SubLObject load_kb_unrepresented_term(SubLObject dump_id,
                                                          SubLObject stream)

load_kb_unrepresented_term_count

public static final SubLObject load_kb_unrepresented_term_count(SubLObject directory_path)

load_clause_struc_defs

public static final SubLObject load_clause_struc_defs(SubLObject directory_path)

load_clause_struc_def

public static final SubLObject load_clause_struc_def(SubLObject dump_id,
                                                     SubLObject stream)

load_clause_struc_count

public static final SubLObject load_clause_struc_count(SubLObject directory_path)

load_deduction_defs

public static final SubLObject load_deduction_defs(SubLObject directory_path)

load_deduction_def

public static final SubLObject load_deduction_def(SubLObject dump_id,
                                                  SubLObject stream)

load_deduction_def_from_cache

public static final SubLObject load_deduction_def_from_cache(SubLObject dump_id,
                                                             SubLObject stream)

load_deduction_count

public static final SubLObject load_deduction_count(SubLObject directory_path)

load_assertion_defs

public static final SubLObject load_assertion_defs(SubLObject directory_path)

load_assertion_def

public static final SubLObject load_assertion_def(SubLObject dump_id,
                                                  SubLObject stream)

load_assertion_def_from_cache

public static final SubLObject load_assertion_def_from_cache(SubLObject dump_id,
                                                             SubLObject stream)

load_kb_hl_support_defs

public static final SubLObject load_kb_hl_support_defs(SubLObject directory_path)

load_kb_hl_support_def

public static final SubLObject load_kb_hl_support_def(SubLObject dump_id,
                                                      SubLObject stream)

load_kb_hl_support_def_from_cache

public static final SubLObject load_kb_hl_support_def_from_cache(SubLObject dump_id,
                                                                 SubLObject stream)

load_kb_hl_support_indexing

public static final SubLObject load_kb_hl_support_indexing(SubLObject directory_path)

load_bookkeeping_assertions

public static final SubLObject load_bookkeeping_assertions(SubLObject directory_path)

load_bookkeeping_assertions_for_pred

public static final SubLObject load_bookkeeping_assertions_for_pred(SubLObject stream)

load_bookkeeping_assertion

public static final SubLObject load_bookkeeping_assertion(SubLObject pred,
                                                          SubLObject stream)

load_experience

public static final SubLObject load_experience(SubLObject directory_path)

load_rule_utility_experience

public static final SubLObject load_rule_utility_experience(SubLObject directory_path)

load_kb_indexing

public static final SubLObject load_kb_indexing(SubLObject directory_path)

load_constant_indices

public static final SubLObject load_constant_indices(SubLObject directory_path)

load_constant_index

public static final SubLObject load_constant_index(SubLObject dump_id,
                                                   SubLObject stream)

load_constant_index_from_cache

public static final SubLObject load_constant_index_from_cache(SubLObject dump_id,
                                                              SubLObject stream)

load_nart_indices

public static final SubLObject load_nart_indices(SubLObject directory_path)

load_unrepresented_term_indices

public static final SubLObject load_unrepresented_term_indices(SubLObject directory_path)

load_unrepresented_term_index

public static final SubLObject load_unrepresented_term_index(SubLObject dump_id,
                                                             SubLObject stream)

load_unrepresented_term_index_from_cache

public static final SubLObject load_unrepresented_term_index_from_cache(SubLObject dump_id,
                                                                        SubLObject stream)

load_assertion_indices

public static final SubLObject load_assertion_indices(SubLObject directory_path)

load_assertion_index

public static final SubLObject load_assertion_index(SubLObject dump_id,
                                                    SubLObject stream)

load_auxiliary_indices_file

public static final SubLObject load_auxiliary_indices_file(SubLObject directory_path)

load_bookkeeping_indices_file

public static final SubLObject load_bookkeeping_indices_file(SubLObject directory_path)

load_bookkeeping_indices

public static final SubLObject load_bookkeeping_indices(SubLObject stream)

load_rule_set

public static final SubLObject load_rule_set(SubLObject directory_path)

load_nart_hl_formulas

public static final SubLObject load_nart_hl_formulas(SubLObject directory_path)

load_miscellaneous

public static final SubLObject load_miscellaneous(SubLObject directory_path)

load_sbhl_data

public static final SubLObject load_sbhl_data(SubLObject directory_path)

load_sbhl_miscellany

public static final SubLObject load_sbhl_miscellany(SubLObject stream)

load_isa_arg2_naut_table

public static final SubLObject load_isa_arg2_naut_table(SubLObject stream)

load_non_fort_isa_table

public static final SubLObject load_non_fort_isa_table(SubLObject stream)

load_non_fort_instance_table

public static final SubLObject load_non_fort_instance_table(SubLObject stream)

load_sbhl_cache

public static final SubLObject load_sbhl_cache(SubLObject directory_path)

load_cardinality_estimates

public static final SubLObject load_cardinality_estimates(SubLObject directory_path)

load_arg_type_cache

public static final SubLObject load_arg_type_cache(SubLObject directory_path)

load_defns_cache

public static final SubLObject load_defns_cache(SubLObject directory_path)

load_tva_cache

public static final SubLObject load_tva_cache(SubLObject dump_directory)

load_somewhere_cache

public static final SubLObject load_somewhere_cache(SubLObject directory_path)

load_arity_cache

public static final SubLObject load_arity_cache(SubLObject directory_path)

load_kb_initializations

public static final SubLObject load_kb_initializations()

Initializations which should be run whenever the KB is loaded. Note that the definition of initialization has stretched to include the building of huge structures. Large structures must be loaded and dumped like other large structure. Initialization need to be FAST to support starting up a Cyc image without a world from units.

initialize_kb_features

public static final SubLObject initialize_kb_features()

If the code is missing, assume the relevant portion of the KB is also missing, because it won't matter if it's there.

declare_dumper_file

public static final SubLObject declare_dumper_file()

init_dumper_file

public static final SubLObject init_dumper_file()

setup_dumper_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class dumper

me

myName

$dump_verify$

$dump_verbose$

$compute_arg_type_cache_on_dumpP$

$sym0$_FORCE_MONOLITHIC_KB_ASSUMPTION_

$sym1$WITH_CONSTANT_DUMP_ID_TABLE

$sym2$WITH_NART_DUMP_ID_TABLE

$sym3$WITH_UNREPRESENTED_TERM_DUMP_ID_TABLE

$sym4$WITH_ASSERTION_DUMP_ID_TABLE

$sym5$WITH_DEDUCTION_DUMP_ID_TABLE

$sym6$WITH_KB_HL_SUPPORT_DUMP_ID_TABLE

$sym7$WITH_CLAUSE_STRUC_DUMP_ID_TABLE

$sym8$CLET

$list9

$list10

$list11

$list12

$sym13$DISCARD_DUMP_FILENAME

$list14

$sym15$FILENAME_VAR

$sym16$WITH_KB_DUMP_FILENAME

$sym17$WITH_PRIVATE_BINARY_FILE

$sym18$FILENAME_VAR

$sym19$WITH_PRIVATE_TEXT_FILE

$sym20$STRINGP

$list21

$str22$cfasl

$str23$fht

$str24$_4__0D

$int25$192

$str26$file__s_not_found

$str27$Directory__S_does_not_exist_

$str28$Directory__S_cannot_be_written_to

$str29$Directory__S_does_not_have_enough

$str30$rule_utility_experience

$sym31$CONSTANT_DUMP_ID

$sym32$NART_DUMP_ID

$sym33$ASSERTION_DUMP_ID

$sym34$DEDUCTION_DUMP_ID

$sym35$KB_HL_SUPPORT_DUMP_ID

$sym36$CLAUSE_STRUC_DUMP_ID

$sym37$FIND_CONSTANT_BY_DUMP_ID

$sym38$FIND_NART_BY_DUMP_ID

$sym39$FIND_ASSERTION_BY_DUMP_ID

$sym40$FIND_DEDUCTION_BY_DUMP_ID

$sym41$FIND_KB_HL_SUPPORT_BY_DUMP_ID

$sym42$FIND_CLAUSE_STRUC_BY_DUMP_ID

$str43$Create_directory_and_continue_

$str44$________Dumping_KB__A_to__A_at__A

$str45$_____S_transcript_operations_proc

$str46$________Dump_of_KB__A_completed__

$str47$________Loading_KB_from__A_at__A_

$str48$________Load_of_KB__A_completed__

$str49$________Dumping_essential_KB__

$str50$________Loading_essential_KB_at__

$str51$________Loading_computable_KB_at_

$str52$________Loading_computable_remain

$str53$________Rebuilding_computable_but

$str54$Invalid_attempt_to_reuse_memoizat

$sym55$SYMBOLP

$kw56$INPUT

$str57$Unable_to_open__S

$kw58$EOF

$str59$_d_bytes_of_unread_stuff_in__S

$str60$text

$kw61$OUTPUT

$str62$_a__

$sym63$NON_NEGATIVE_INTEGER_P

$list64

$str65$Dumping_special_objects_at__A___

$str66$special

$str67$Loading_special_objects___

$sym68$INTEGERP

$str69$constant_count

$str70$constant_shell

$str71$Dumping_constant_shells

$kw72$SKIP

$str73$Loading_constant_shells

com.cyc.cycjava.cycl
Class dumper

$str65$Dumping_special_objects_atA_