kb_hl_supports

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 kb_hl_supports

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class kb_hl_supports
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`kb_hl_supports.$kb_hl_support_content_native`
`static class`	`kb_hl_supports.$kb_hl_support_content_p$UnaryFunction`
`static class`	`kb_hl_supports.$kb_hl_support_index_unindexed_termP$UnaryFunction`
`static class`	`kb_hl_supports.$kb_hl_support_native`
`static class`	`kb_hl_supports.$kb_hl_support_p$UnaryFunction`
`static class`	`kb_hl_supports.$sxhash_kb_hl_support_method$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$dtp_kb_hl_support_content$
`static SubLSymbol`	$dtp_kb_hl_support$
`static SubLInteger`	`$int27$787`
`static SubLSymbol`	$kb_hl_support_dump_id_table$
`static SubLSymbol`	`$kw2$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw22$ID`
`static SubLSymbol`	`$kw3$DONE`
`static SubLSymbol`	`$kw41$ARGUMENT`
`static SubLSymbol`	`$kw42$DEPENDENTS`
`static SubLSymbol`	`$kw46$PROGRESS_MESSAGE`
`static SubLSymbol`	`$kw57$SKIP`
`static SubLList`	`$list0`
`static SubLList`	`$list1`
`static SubLList`	`$list10`
`static SubLList`	`$list14`
`static SubLList`	`$list15`
`static SubLList`	`$list16`
`static SubLList`	`$list17`
`static SubLList`	`$list31`
`static SubLList`	`$list32`
`static SubLList`	`$list33`
`static SubLList`	`$list34`
`static SubLList`	`$list44`
`static SubLList`	`$list45`
`static SubLList`	`$list49`
`static SubLList`	`$list50`
`static SubLList`	`$list6`
`static SubLList`	`$list60`
`static SubLList`	`$list63`
`static SubLList`	`$list70`
`static SubLList`	`$list73`
`static SubLList`	`$list74`
`static SubLList`	`$list77`
`static SubLSymbol`	$print_kb_hl_support_hl_supportP$
`static SubLString`	`$str100$__The_following_KB_HL_supports_ha`
`static SubLString`	`$str101$___s_KB_HL_supports_have_duplicat`
`static SubLString`	`$str102$__Error_during_dependent_verifica`
`static SubLString`	`$str103$__The_following_KB_HL_supports_ha`
`static SubLString`	`$str104$___s_KB_HL_supports_have_invalid_`
`static SubLString`	`$str105$__Error_during_argument_verificat`
`static SubLString`	`$str106$__The_following_KB_HL_supports_ha`
`static SubLString`	`$str107$___s_KB_HL_supports_have_invalid_`
`static SubLString`	`$str108$__Error_during_HL_support_verific`
`static SubLString`	`$str109$__The_following_KB_HL_supports_ha`
`static SubLString`	`$str110$___s_KB_HL_supports_have_invalid_`
`static SubLString`	`$str111$__Error_during_KB_HL_support_back`
`static SubLString`	`$str112$__The_following_KB_HL_supports_ha`
`static SubLString`	`$str113$___s_KB_HL_supports_have_missing_`
`static SubLString`	`$str114$Eliminating_duplicate_KB_HL_suppo`
`static SubLString`	`$str115$Eliminating_invalid_KB_HL_support`
`static SubLString`	`$str117$Eliminating_KB_HL_supports_with_i`
`static SubLString`	`$str118$Invalid_attempt_to_reuse_memoizat`
`static SubLString`	`$str119$Bootstrapping_KB_HL_supports`
`static SubLString`	`$str120$Could_not_create_KB_HL_support_fo`
`static SubLString`	`$str23$Invalid_slot__S_for_construction_`
`static SubLString`	`$str24$_The_CFASL_invalid_KB_HL_support_`
`static SubLString`	`$str25$___s_`
`static SubLString`	`$str26$__KB_HL_SUPPORT__s_`
`static SubLString`	`$str47$mapping_Cyc_KB_HL_supports`
`static SubLString`	`$str55$Determining_maximum_KB_HL_support`
`static SubLString`	`$str59$KB_HL_support_indexing_lock`
`static SubLString`	`$str64$reindexing_KB_HL_supports`
`static SubLString`	`$str66$Freeing_KB_HL_supports`
`static SubLString`	`$str80$Verifying_KB_HL_support_indexing`
`static SubLString`	`$str81$Searching_for_circular_KB_HL_supp`
`static SubLString`	`$str82$Searching_for_duplicate_KB_HL_sup`
`static SubLString`	`$str85$Searching_for_KB_HL_supports_with`
`static SubLString`	`$str86$Searching_for_KB_HL_supports_with`
`static SubLString`	`$str87$Searching_for_KB_HL_supports_with`
`static SubLString`	`$str88$Searching_for_KB_HL_supports_with`
`static SubLString`	`$str90$Verifying_KB_HL_supports`
`static SubLString`	`$str91$__Error_during_KB_HL_support_veri`
`static SubLString`	`$str92$__Error_during_indexing_verificat`
`static SubLString`	`$str93$__The_following_KB_HL_supports_we`
`static SubLString`	`$str94$__s__s__`
`static SubLString`	`$str95$___s_KB_HL_supports_are_not_finab`
`static SubLString`	`$str96$__Error_during_non_circularity_ve`
`static SubLString`	`$str97$__The_following_KB_HL_supports_ar`
`static SubLString`	`$str98$___s_KB_HL_supports_are_circular_`
`static SubLString`	`$str99$__Error_during_uniqueness_verific`
`static SubLSymbol`	`$sym11$KB_HL_SUPPORT_JUSTIFICATION`
`static SubLSymbol`	`$sym116$VALID_DEDUCTION_`
`static SubLSymbol`	`$sym12$KB_HL_SUPPORT`
`static SubLSymbol`	`$sym13$KB_HL_SUPPORT_P`
`static SubLSymbol`	`$sym18$PRINT_KB_HL_SUPPORT`
`static SubLSymbol`	`$sym19$KB_HL_SUPPORT_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym20$KB_HLS_ID`
`static SubLSymbol`	`$sym21$_CSETF_KB_HLS_ID`
`static SubLSymbol`	`$sym28$SXHASH_KB_HL_SUPPORT_METHOD`
`static SubLSymbol`	`$sym29$KB_HL_SUPPORT_CONTENT`
`static SubLSymbol`	`$sym30$KB_HL_SUPPORT_CONTENT_P`
`static SubLSymbol`	`$sym35$DEFAULT_STRUCT_PRINT_FUNCTION`
`static SubLSymbol`	`$sym36$KB_HL_SUPPORT_CONTENT_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym37$KB_HLSC_ARGUMENT`
`static SubLSymbol`	`$sym38$_CSETF_KB_HLSC_ARGUMENT`
`static SubLSymbol`	`$sym39$KB_HLSC_DEPENDENTS`
`static SubLSymbol`	`$sym4$DO_LIST`
`static SubLSymbol`	`$sym40$_CSETF_KB_HLSC_DEPENDENTS`
`static SubLSymbol`	`$sym43$_KB_HL_SUPPORTS_FROM_IDS_`
`static SubLSymbol`	`$sym48$DO_KB_SUID_TABLE`
`static SubLSymbol`	`$sym5$KB_HL_SUPPORT_ARGUMENTS`
`static SubLSymbol`	`$sym51$DO_KB_SUID_TABLE_OLD_OBJECTS`
`static SubLSymbol`	`$sym52$DO_KB_SUID_TABLE_NEW_OBJECTS`
`static SubLSymbol`	`$sym53$DO_KB_HL_SUPPORTS_TABLE`
`static SubLSymbol`	`$sym54$DO_KB_HL_SUPPORTS`
`static SubLSymbol`	`$sym56$STRINGP`
`static SubLSymbol`	`$sym58$_KB_HL_SUPPORT_INDEX_`
`static SubLSymbol`	`$sym61$INDEXED_TERM_P`
`static SubLSymbol`	`$sym62$KB_HL_SUPPORT_INDEX_UNINDEXED_TERM_`
`static SubLSymbol`	`$sym65$_KB_HL_SUPPORTS_BEING_CREATED_`
`static SubLSymbol`	`$sym67$POSSIBLY_REIFY_HL_SUPPORT`
`static SubLSymbol`	`$sym68$UNREIFY_KB_HL_SUPPORT`
`static SubLSymbol`	`$sym69$PIF`
`static SubLSymbol`	`$sym7$DO_SET_CONTENTS`
`static SubLSymbol`	`$sym71$PROGN`
`static SubLSymbol`	`$sym72$CLET`
`static SubLSymbol`	`$sym75$PROCESS_TMS_KB_HL_SUPPORT_QUEUE`
`static SubLSymbol`	`$sym76$WITH_KB_HL_SUPPORT_REJUSTIFICATION`
`static SubLSymbol`	`$sym78$CREATE_KB_HL_SUPPORT_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym79$WITH_KB_HL_SUPPORT_DUMP_ID_TABLE`
`static SubLSymbol`	`$sym8$DO_KB_HL_SUPPORT_DEPENDENTS_HELPER`
`static SubLSymbol`	`$sym83$_`
`static SubLSymbol`	`$sym84$KB_HL_SUPPORT_ID`
`static SubLSymbol`	`$sym89$CATCH_ERROR_MESSAGE_HANDLER`
`static SubLSymbol`	`$sym9$DO_KB_HL_SUPPORT_DEPENDENTS`
`static SubLSymbol`	$tms_kb_hl_support_queue$
`static SubLSymbol`	$unreify_kb_hl_supportsP$
`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`	`_csetf_kb_hls_id(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_kb_hlsc_argument(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_kb_hlsc_dependents(SubLObject object, SubLObject value)`
`static SubLObject`	`clear_kb_hl_support_id_tables()`
`static SubLObject`	`clear_kb_hl_support_index()`
`static SubLObject`	`create_kb_hl_support(SubLObject hl_support, SubLObject justification)`
`static SubLObject`	`create_sample_invalid_kb_hl_support()` Create a sample invalid KB HL support.
`static SubLObject`	`declare_kb_hl_supports_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`deregister_kb_hl_support_id(SubLObject id)`
`static SubLObject`	`destroy_kb_hl_support(SubLObject kb_hl_support)`
`static SubLObject`	`do_kb_hl_support_dependents_helper(SubLObject kb_hl_support)`
`static SubLObject`	`do_kb_hl_supports_table()`
`static SubLObject`	`enqueueing_kb_hl_supports_for_tmsP()`
`static SubLObject`	`finalize_kb_hl_supports(SubLObject max_kb_hl_support_id)`
`static SubLObject`	`find_kb_hl_support_by_dump_id(SubLObject dump_id)`
`static SubLObject`	`find_kb_hl_support_by_id(SubLObject id)`
`static SubLObject`	`find_kb_hl_support_during_creation(SubLObject hl_support)`
`static SubLObject`	`find_kb_hl_support(SubLObject hl_support)`
`static SubLObject`	`find_kb_hl_supports_mentioning_term(SubLObject v_term)`
`static SubLObject`	`find_or_possibly_create_kb_hl_support(SubLObject hl_support)`
`static SubLObject`	`free_all_kb_hl_support()`
`static SubLObject`	`free_kb_hl_support_content(SubLObject kb_hl_support_content)`
`static SubLObject`	`free_kb_hl_support(SubLObject kb_hl_support)`
`static SubLObject`	`hl_justify_for_kb_hl_support(SubLObject hl_support)`
`static SubLObject`	`increment_next_kb_hl_support_id()`
`static SubLObject`	`index_kb_hl_support(SubLObject kb_hl_support, SubLObject hl_support)`
`static SubLObject`	`init_kb_hl_supports_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`kb_hl_support_add_dependent(SubLObject kb_hl_support, SubLObject deduction)`
`static SubLObject`	`kb_hl_support_content_get_argument(SubLObject kb_hl_support_content)`
`static SubLObject`	`kb_hl_support_content_get_dependents(SubLObject kb_hl_support_content)`
`static SubLObject`	`kb_hl_support_content_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`kb_hl_support_content_set_argument(SubLObject kb_hl_support_content, SubLObject deduction)`
`static SubLObject`	`kb_hl_support_content_set_dependents(SubLObject kb_hl_support_content, SubLObject dependents)`
`static SubLObject`	`kb_hl_support_content(SubLObject kb_hl_support)`
`static SubLObject`	`kb_hl_support_count()`
`static SubLObject`	`kb_hl_support_get_id(SubLObject kb_hl_support)`
`static SubLObject`	`kb_hl_support_handle_validP(SubLObject kb_hl_support)`
`static SubLObject`	`kb_hl_support_hl_support(SubLObject kb_hl_support)`
`static SubLObject`	`kb_hl_support_id(SubLObject kb_hl_support)`
`static SubLObject`	`kb_hl_support_index_indexed_term_p(SubLObject v_term)`
`static SubLObject`	`kb_hl_support_index_indexed_terms(SubLObject sentence)`
`static SubLObject`	`kb_hl_support_index_unindexed_termP(SubLObject v_term)`
`static SubLObject`	`kb_hl_support_p(SubLObject object)`
`static SubLObject`	`kb_hl_support_print_function_trampoline(SubLObject object, SubLObject stream)`
`static SubLObject`	`kb_hl_support_remove_dependent(SubLObject kb_hl_support, SubLObject deduction)`
`static SubLObject`	`kb_hl_support_sentence(SubLObject kb_hl_support)`
`static SubLObject`	`kb_hl_support_tv(SubLObject kb_hl_support)`
`static SubLObject`	`kb_hls_id(SubLObject object)`
`static SubLObject`	`kb_hlsc_argument(SubLObject object)`
`static SubLObject`	`kb_hlsc_dependents(SubLObject object)`
`static SubLObject`	`load_kb_hl_support_content(SubLObject kb_hl_support, SubLObject stream)`
`static SubLObject`	`load_kb_hl_support_indexing_int(SubLObject filename)`
`static SubLObject`	`lookup_kb_hl_support_by_id(SubLObject id)`
`static SubLObject`	`lookup_kb_hl_support(SubLObject hl_support)`
`static SubLObject`	`lookup_kb_hl_supports_mentioning_indexed_term_in_sentence(SubLObject v_term)`
`static SubLObject`	`lookup_kb_hl_supports_mentioning_term_in_mt(SubLObject v_term)`
`static SubLObject`	`lookup_kb_hl_supports_mentioning_term_in_sentence(SubLObject v_term)`
`static SubLObject`	`lookup_kb_hl_supports_mentioning_term(SubLObject v_term)`
`static SubLObject`	`make_kb_hl_support_content(SubLObject arglist)`
`static SubLObject`	`make_kb_hl_support_shell(SubLObject id)`
`static SubLObject`	`make_kb_hl_support(SubLObject arglist)`
`static SubLObject`	`new_kb_hl_support_content()`
`static SubLObject`	`new_kb_hl_support(SubLObject id)`
`static SubLObject`	`next_kb_hl_support_id()`
`static SubLObject`	`note_kb_hl_support_creation_complete(SubLObject hl_support)`
`static SubLObject`	`note_kb_hl_support_creation_started(SubLObject hl_support, SubLObject kb_hl_support)`
`static SubLObject`	`possibly_create_kb_hl_support(SubLObject hl_support)`
`static SubLObject`	`possibly_unreify_kb_hl_supports(SubLObject justification)`
`static SubLObject`	`process_tms_kb_hl_support_queue()`
`static SubLObject`	`register_kb_hl_support_id(SubLObject id, SubLObject kb_hl_support)`
`static SubLObject`	`remove_kb_hl_support(SubLObject kb_hl_support)`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`set_next_kb_hl_support_id(SubLObject max_kb_hl_support_id)`
`static SubLObject`	`setup_kb_hl_support_id_tables(SubLObject size, SubLObject exactP)`
`static SubLObject`	`setup_kb_hl_support_index_table()`
`static SubLObject`	`setup_kb_hl_support_tables(SubLObject size, SubLObject exactP)`
`static SubLObject`	`setup_kb_hl_supports_file()`
`static SubLObject`	`sxhash_kb_hl_support_method(SubLObject object)`
`static SubLObject`	`tms_remove_kb_hl_support(SubLObject kb_hl_support)`
`static SubLObject`	`tms_remove_kb_hl_supports_mentioning_term(SubLObject v_term)`
`static SubLObject`	`unindex_kb_hl_support_with_hl_support(SubLObject kb_hl_support, SubLObject hl_support)`
`static SubLObject`	`unindex_kb_hl_support(SubLObject kb_hl_support, SubLObject robustP)`
`static SubLObject`	`valid_kb_hl_support_handleP(SubLObject object)`
`static SubLObject`	`valid_kb_hl_supportP(SubLObject object, SubLObject robustP)`

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

$dtp_kb_hl_support$

public static SubLSymbol $dtp_kb_hl_support$

$print_kb_hl_support_hl_supportP$

public static SubLSymbol $print_kb_hl_support_hl_supportP$

$dtp_kb_hl_support_content$

public static SubLSymbol $dtp_kb_hl_support_content$

$unreify_kb_hl_supportsP$

public static SubLSymbol $unreify_kb_hl_supportsP$

$tms_kb_hl_support_queue$

public static SubLSymbol $tms_kb_hl_support_queue$

$kb_hl_support_dump_id_table$

public static SubLSymbol $kb_hl_support_dump_id_table$

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$kw2$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw2$ALLOW_OTHER_KEYS

$kw3$DONE

public static final SubLSymbol $kw3$DONE

$sym4$DO_LIST

public static final SubLSymbol $sym4$DO_LIST

$sym5$KB_HL_SUPPORT_ARGUMENTS

public static final SubLSymbol $sym5$KB_HL_SUPPORT_ARGUMENTS

$list6

public static final SubLList $list6

$sym7$DO_SET_CONTENTS

public static final SubLSymbol $sym7$DO_SET_CONTENTS

$sym8$DO_KB_HL_SUPPORT_DEPENDENTS_HELPER

public static final SubLSymbol $sym8$DO_KB_HL_SUPPORT_DEPENDENTS_HELPER

$sym9$DO_KB_HL_SUPPORT_DEPENDENTS

public static final SubLSymbol $sym9$DO_KB_HL_SUPPORT_DEPENDENTS

$list10

public static final SubLList $list10

$sym11$KB_HL_SUPPORT_JUSTIFICATION

public static final SubLSymbol $sym11$KB_HL_SUPPORT_JUSTIFICATION

$sym12$KB_HL_SUPPORT

public static final SubLSymbol $sym12$KB_HL_SUPPORT

$sym13$KB_HL_SUPPORT_P

public static final SubLSymbol $sym13$KB_HL_SUPPORT_P

$list14

public static final SubLList $list14

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$list17

public static final SubLList $list17

$sym18$PRINT_KB_HL_SUPPORT

public static final SubLSymbol $sym18$PRINT_KB_HL_SUPPORT

$sym19$KB_HL_SUPPORT_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym19$KB_HL_SUPPORT_PRINT_FUNCTION_TRAMPOLINE

$sym20$KB_HLS_ID

public static final SubLSymbol $sym20$KB_HLS_ID

$sym21$_CSETF_KB_HLS_ID

public static final SubLSymbol $sym21$_CSETF_KB_HLS_ID

$kw22$ID

public static final SubLSymbol $kw22$ID

$str23$Invalid_slot__S_for_construction_

public static final SubLString $str23$Invalid_slot__S_for_construction_

$str24$_The_CFASL_invalid_KB_HL_support_

public static final SubLString $str24$_The_CFASL_invalid_KB_HL_support_

$str25$___s_

public static final SubLString $str25$___s_

$str26$__KB_HL_SUPPORT__s_

public static final SubLString $str26$__KB_HL_SUPPORT__s_

$int27$787

public static final SubLInteger $int27$787

$sym28$SXHASH_KB_HL_SUPPORT_METHOD

public static final SubLSymbol $sym28$SXHASH_KB_HL_SUPPORT_METHOD

$sym29$KB_HL_SUPPORT_CONTENT

public static final SubLSymbol $sym29$KB_HL_SUPPORT_CONTENT

$sym30$KB_HL_SUPPORT_CONTENT_P

public static final SubLSymbol $sym30$KB_HL_SUPPORT_CONTENT_P

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

$list33

public static final SubLList $list33

$list34

public static final SubLList $list34

$sym35$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym35$DEFAULT_STRUCT_PRINT_FUNCTION

$sym36$KB_HL_SUPPORT_CONTENT_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym36$KB_HL_SUPPORT_CONTENT_PRINT_FUNCTION_TRAMPOLINE

$sym37$KB_HLSC_ARGUMENT

public static final SubLSymbol $sym37$KB_HLSC_ARGUMENT

$sym38$_CSETF_KB_HLSC_ARGUMENT

public static final SubLSymbol $sym38$_CSETF_KB_HLSC_ARGUMENT

$sym39$KB_HLSC_DEPENDENTS

public static final SubLSymbol $sym39$KB_HLSC_DEPENDENTS

$sym40$_CSETF_KB_HLSC_DEPENDENTS

public static final SubLSymbol $sym40$_CSETF_KB_HLSC_DEPENDENTS

$kw41$ARGUMENT

public static final SubLSymbol $kw41$ARGUMENT

$kw42$DEPENDENTS

public static final SubLSymbol $kw42$DEPENDENTS

$sym43$_KB_HL_SUPPORTS_FROM_IDS_

public static final SubLSymbol $sym43$_KB_HL_SUPPORTS_FROM_IDS_

$list44

public static final SubLList $list44

$list45

public static final SubLList $list45

$kw46$PROGRESS_MESSAGE

public static final SubLSymbol $kw46$PROGRESS_MESSAGE

$str47$mapping_Cyc_KB_HL_supports

public static final SubLString $str47$mapping_Cyc_KB_HL_supports

$sym48$DO_KB_SUID_TABLE

public static final SubLSymbol $sym48$DO_KB_SUID_TABLE

$list49

public static final SubLList $list49

$list50

public static final SubLList $list50

$sym51$DO_KB_SUID_TABLE_OLD_OBJECTS

public static final SubLSymbol $sym51$DO_KB_SUID_TABLE_OLD_OBJECTS

$sym52$DO_KB_SUID_TABLE_NEW_OBJECTS

public static final SubLSymbol $sym52$DO_KB_SUID_TABLE_NEW_OBJECTS

$sym53$DO_KB_HL_SUPPORTS_TABLE

public static final SubLSymbol $sym53$DO_KB_HL_SUPPORTS_TABLE

$sym54$DO_KB_HL_SUPPORTS

public static final SubLSymbol $sym54$DO_KB_HL_SUPPORTS

$str55$Determining_maximum_KB_HL_support

public static final SubLString $str55$Determining_maximum_KB_HL_support

$sym56$STRINGP

public static final SubLSymbol $sym56$STRINGP

$kw57$SKIP

public static final SubLSymbol $kw57$SKIP

$sym58$_KB_HL_SUPPORT_INDEX_

public static final SubLSymbol $sym58$_KB_HL_SUPPORT_INDEX_

$str59$KB_HL_support_indexing_lock

public static final SubLString $str59$KB_HL_support_indexing_lock

$list60

public static final SubLList $list60

$sym61$INDEXED_TERM_P

public static final SubLSymbol $sym61$INDEXED_TERM_P

$sym62$KB_HL_SUPPORT_INDEX_UNINDEXED_TERM_

public static final SubLSymbol $sym62$KB_HL_SUPPORT_INDEX_UNINDEXED_TERM_

$list63

public static final SubLList $list63

$str64$reindexing_KB_HL_supports

public static final SubLString $str64$reindexing_KB_HL_supports

$sym65$_KB_HL_SUPPORTS_BEING_CREATED_

public static final SubLSymbol $sym65$_KB_HL_SUPPORTS_BEING_CREATED_

$str66$Freeing_KB_HL_supports

public static final SubLString $str66$Freeing_KB_HL_supports

$sym67$POSSIBLY_REIFY_HL_SUPPORT

public static final SubLSymbol $sym67$POSSIBLY_REIFY_HL_SUPPORT

$sym68$UNREIFY_KB_HL_SUPPORT

public static final SubLSymbol $sym68$UNREIFY_KB_HL_SUPPORT

$sym69$PIF

public static final SubLSymbol $sym69$PIF

$list70

public static final SubLList $list70

$sym71$PROGN

public static final SubLSymbol $sym71$PROGN

$sym72$CLET

public static final SubLSymbol $sym72$CLET

$list73

public static final SubLList $list73

$list74

public static final SubLList $list74

$sym75$PROCESS_TMS_KB_HL_SUPPORT_QUEUE

public static final SubLSymbol $sym75$PROCESS_TMS_KB_HL_SUPPORT_QUEUE

$sym76$WITH_KB_HL_SUPPORT_REJUSTIFICATION

public static final SubLSymbol $sym76$WITH_KB_HL_SUPPORT_REJUSTIFICATION

$list77

public static final SubLList $list77

$sym78$CREATE_KB_HL_SUPPORT_DUMP_ID_TABLE

public static final SubLSymbol $sym78$CREATE_KB_HL_SUPPORT_DUMP_ID_TABLE

$sym79$WITH_KB_HL_SUPPORT_DUMP_ID_TABLE

public static final SubLSymbol $sym79$WITH_KB_HL_SUPPORT_DUMP_ID_TABLE

$str80$Verifying_KB_HL_support_indexing

public static final SubLString $str80$Verifying_KB_HL_support_indexing

$str81$Searching_for_circular_KB_HL_supp

public static final SubLString $str81$Searching_for_circular_KB_HL_supp

$str82$Searching_for_duplicate_KB_HL_sup

public static final SubLString $str82$Searching_for_duplicate_KB_HL_sup

$sym83$_

public static final SubLSymbol $sym83$_

$sym84$KB_HL_SUPPORT_ID

public static final SubLSymbol $sym84$KB_HL_SUPPORT_ID

$str85$Searching_for_KB_HL_supports_with

public static final SubLString $str85$Searching_for_KB_HL_supports_with

$str86$Searching_for_KB_HL_supports_with

public static final SubLString $str86$Searching_for_KB_HL_supports_with

$str87$Searching_for_KB_HL_supports_with

public static final SubLString $str87$Searching_for_KB_HL_supports_with

$str88$Searching_for_KB_HL_supports_with

public static final SubLString $str88$Searching_for_KB_HL_supports_with

$sym89$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym89$CATCH_ERROR_MESSAGE_HANDLER

$str90$Verifying_KB_HL_supports

public static final SubLString $str90$Verifying_KB_HL_supports

$str91$__Error_during_KB_HL_support_veri

public static final SubLString $str91$__Error_during_KB_HL_support_veri

$str92$__Error_during_indexing_verificat

public static final SubLString $str92$__Error_during_indexing_verificat

$str93$__The_following_KB_HL_supports_we

public static final SubLString $str93$__The_following_KB_HL_supports_we

$str94$ss__

public static final SubLString $str94$__s__s__

$str95$___s_KB_HL_supports_are_not_finab

public static final SubLString $str95$___s_KB_HL_supports_are_not_finab

$str96$__Error_during_non_circularity_ve

public static final SubLString $str96$__Error_during_non_circularity_ve

$str97$__The_following_KB_HL_supports_ar

public static final SubLString $str97$__The_following_KB_HL_supports_ar

$str98$___s_KB_HL_supports_are_circular_

public static final SubLString $str98$___s_KB_HL_supports_are_circular_

$str99$__Error_during_uniqueness_verific

public static final SubLString $str99$__Error_during_uniqueness_verific

$str100$__The_following_KB_HL_supports_ha

public static final SubLString $str100$__The_following_KB_HL_supports_ha

$str101$___s_KB_HL_supports_have_duplicat

public static final SubLString $str101$___s_KB_HL_supports_have_duplicat

$str102$__Error_during_dependent_verifica

public static final SubLString $str102$__Error_during_dependent_verifica

$str103$__The_following_KB_HL_supports_ha

public static final SubLString $str103$__The_following_KB_HL_supports_ha

$str104$___s_KB_HL_supports_have_invalid_

public static final SubLString $str104$___s_KB_HL_supports_have_invalid_

$str105$__Error_during_argument_verificat

public static final SubLString $str105$__Error_during_argument_verificat

$str106$__The_following_KB_HL_supports_ha

public static final SubLString $str106$__The_following_KB_HL_supports_ha

$str107$___s_KB_HL_supports_have_invalid_

public static final SubLString $str107$___s_KB_HL_supports_have_invalid_

$str108$__Error_during_HL_support_verific

public static final SubLString $str108$__Error_during_HL_support_verific

$str109$__The_following_KB_HL_supports_ha

public static final SubLString $str109$__The_following_KB_HL_supports_ha

$str110$___s_KB_HL_supports_have_invalid_

public static final SubLString $str110$___s_KB_HL_supports_have_invalid_

$str111$__Error_during_KB_HL_support_back

public static final SubLString $str111$__Error_during_KB_HL_support_back

$str112$__The_following_KB_HL_supports_ha

public static final SubLString $str112$__The_following_KB_HL_supports_ha

$str113$___s_KB_HL_supports_have_missing_

public static final SubLString $str113$___s_KB_HL_supports_have_missing_

$str114$Eliminating_duplicate_KB_HL_suppo

public static final SubLString $str114$Eliminating_duplicate_KB_HL_suppo

$str115$Eliminating_invalid_KB_HL_support

public static final SubLString $str115$Eliminating_invalid_KB_HL_support

$sym116$VALID_DEDUCTION_

public static final SubLSymbol $sym116$VALID_DEDUCTION_

$str117$Eliminating_KB_HL_supports_with_i

public static final SubLString $str117$Eliminating_KB_HL_supports_with_i

$str118$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str118$Invalid_attempt_to_reuse_memoizat

$str119$Bootstrapping_KB_HL_supports

public static final SubLString $str119$Bootstrapping_KB_HL_supports

$str120$Could_not_create_KB_HL_support_fo

public static final SubLString $str120$Could_not_create_KB_HL_support_fo

Method Detail

find_kb_hl_support

public static final SubLObject find_kb_hl_support(SubLObject hl_support)

find_kb_hl_support_by_id

public static final SubLObject find_kb_hl_support_by_id(SubLObject id)

find_kb_hl_supports_mentioning_term

public static final SubLObject find_kb_hl_supports_mentioning_term(SubLObject v_term)

kb_hl_support_count

public static final SubLObject kb_hl_support_count()

kb_hl_support_id

public static final SubLObject kb_hl_support_id(SubLObject kb_hl_support)

do_kb_hl_support_dependents_helper

public static final SubLObject do_kb_hl_support_dependents_helper(SubLObject kb_hl_support)

kb_hl_support_hl_support

public static final SubLObject kb_hl_support_hl_support(SubLObject kb_hl_support)

kb_hl_support_sentence

public static final SubLObject kb_hl_support_sentence(SubLObject kb_hl_support)

kb_hl_support_tv

public static final SubLObject kb_hl_support_tv(SubLObject kb_hl_support)

find_or_possibly_create_kb_hl_support

public static final SubLObject find_or_possibly_create_kb_hl_support(SubLObject hl_support)

possibly_create_kb_hl_support

public static final SubLObject possibly_create_kb_hl_support(SubLObject hl_support)

kb_hl_support_print_function_trampoline

public static final SubLObject kb_hl_support_print_function_trampoline(SubLObject object,
                                                                       SubLObject stream)

kb_hl_support_p

public static final SubLObject kb_hl_support_p(SubLObject object)

kb_hls_id

public static final SubLObject kb_hls_id(SubLObject object)

_csetf_kb_hls_id

public static final SubLObject _csetf_kb_hls_id(SubLObject object,
                                                SubLObject value)

make_kb_hl_support

public static final SubLObject make_kb_hl_support(SubLObject arglist)

sxhash_kb_hl_support_method

public static final SubLObject sxhash_kb_hl_support_method(SubLObject object)

new_kb_hl_support

public static final SubLObject new_kb_hl_support(SubLObject id)

free_kb_hl_support

public static final SubLObject free_kb_hl_support(SubLObject kb_hl_support)

kb_hl_support_get_id

public static final SubLObject kb_hl_support_get_id(SubLObject kb_hl_support)

kb_hl_support_content_print_function_trampoline

public static final SubLObject kb_hl_support_content_print_function_trampoline(SubLObject object,
                                                                               SubLObject stream)

kb_hlsc_argument

public static final SubLObject kb_hlsc_argument(SubLObject object)

kb_hlsc_dependents

public static final SubLObject kb_hlsc_dependents(SubLObject object)

_csetf_kb_hlsc_argument

public static final SubLObject _csetf_kb_hlsc_argument(SubLObject object,
                                                       SubLObject value)

_csetf_kb_hlsc_dependents

public static final SubLObject _csetf_kb_hlsc_dependents(SubLObject object,
                                                         SubLObject value)

make_kb_hl_support_content

public static final SubLObject make_kb_hl_support_content(SubLObject arglist)

new_kb_hl_support_content

public static final SubLObject new_kb_hl_support_content()

free_kb_hl_support_content

public static final SubLObject free_kb_hl_support_content(SubLObject kb_hl_support_content)

kb_hl_support_content_get_argument

public static final SubLObject kb_hl_support_content_get_argument(SubLObject kb_hl_support_content)

kb_hl_support_content_get_dependents

public static final SubLObject kb_hl_support_content_get_dependents(SubLObject kb_hl_support_content)

kb_hl_support_content_set_argument

public static final SubLObject kb_hl_support_content_set_argument(SubLObject kb_hl_support_content,
                                                                  SubLObject deduction)

kb_hl_support_content_set_dependents

public static final SubLObject kb_hl_support_content_set_dependents(SubLObject kb_hl_support_content,
                                                                    SubLObject dependents)

make_kb_hl_support_shell

public static final SubLObject make_kb_hl_support_shell(SubLObject id)

kb_hl_support_content

public static final SubLObject kb_hl_support_content(SubLObject kb_hl_support)

kb_hl_support_add_dependent

public static final SubLObject kb_hl_support_add_dependent(SubLObject kb_hl_support,
                                                           SubLObject deduction)

kb_hl_support_remove_dependent

public static final SubLObject kb_hl_support_remove_dependent(SubLObject kb_hl_support,
                                                              SubLObject deduction)

remove_kb_hl_support

public static final SubLObject remove_kb_hl_support(SubLObject kb_hl_support)

hl_justify_for_kb_hl_support

public static final SubLObject hl_justify_for_kb_hl_support(SubLObject hl_support)

valid_kb_hl_supportP

public static final SubLObject valid_kb_hl_supportP(SubLObject object,
                                                    SubLObject robustP)

valid_kb_hl_support_handleP

public static final SubLObject valid_kb_hl_support_handleP(SubLObject object)

kb_hl_support_handle_validP

public static final SubLObject kb_hl_support_handle_validP(SubLObject kb_hl_support)

tms_remove_kb_hl_supports_mentioning_term

public static final SubLObject tms_remove_kb_hl_supports_mentioning_term(SubLObject v_term)

setup_kb_hl_support_tables

public static final SubLObject setup_kb_hl_support_tables(SubLObject size,
                                                          SubLObject exactP)

finalize_kb_hl_supports

public static final SubLObject finalize_kb_hl_supports(SubLObject max_kb_hl_support_id)

do_kb_hl_supports_table

public static final SubLObject do_kb_hl_supports_table()

setup_kb_hl_support_id_tables

public static final SubLObject setup_kb_hl_support_id_tables(SubLObject size,
                                                             SubLObject exactP)

lookup_kb_hl_support_by_id

public static final SubLObject lookup_kb_hl_support_by_id(SubLObject id)

next_kb_hl_support_id

public static final SubLObject next_kb_hl_support_id()

register_kb_hl_support_id

public static final SubLObject register_kb_hl_support_id(SubLObject id,
                                                         SubLObject kb_hl_support)

deregister_kb_hl_support_id

public static final SubLObject deregister_kb_hl_support_id(SubLObject id)

set_next_kb_hl_support_id

public static final SubLObject set_next_kb_hl_support_id(SubLObject max_kb_hl_support_id)

increment_next_kb_hl_support_id

public static final SubLObject increment_next_kb_hl_support_id()

clear_kb_hl_support_id_tables

public static final SubLObject clear_kb_hl_support_id_tables()

kb_hl_support_index_unindexed_termP

public static final SubLObject kb_hl_support_index_unindexed_termP(SubLObject v_term)

kb_hl_support_index_indexed_term_p

public static final SubLObject kb_hl_support_index_indexed_term_p(SubLObject v_term)

kb_hl_support_index_indexed_terms

public static final SubLObject kb_hl_support_index_indexed_terms(SubLObject sentence)

setup_kb_hl_support_index_table

public static final SubLObject setup_kb_hl_support_index_table()

lookup_kb_hl_support

public static final SubLObject lookup_kb_hl_support(SubLObject hl_support)

lookup_kb_hl_supports_mentioning_term

public static final SubLObject lookup_kb_hl_supports_mentioning_term(SubLObject v_term)

lookup_kb_hl_supports_mentioning_term_in_sentence

public static final SubLObject lookup_kb_hl_supports_mentioning_term_in_sentence(SubLObject v_term)

lookup_kb_hl_supports_mentioning_indexed_term_in_sentence

public static final SubLObject lookup_kb_hl_supports_mentioning_indexed_term_in_sentence(SubLObject v_term)

lookup_kb_hl_supports_mentioning_term_in_mt

public static final SubLObject lookup_kb_hl_supports_mentioning_term_in_mt(SubLObject v_term)

index_kb_hl_support

public static final SubLObject index_kb_hl_support(SubLObject kb_hl_support,
                                                   SubLObject hl_support)

unindex_kb_hl_support

public static final SubLObject unindex_kb_hl_support(SubLObject kb_hl_support,
                                                     SubLObject robustP)

unindex_kb_hl_support_with_hl_support

public static final SubLObject unindex_kb_hl_support_with_hl_support(SubLObject kb_hl_support,
                                                                     SubLObject hl_support)

clear_kb_hl_support_index

public static final SubLObject clear_kb_hl_support_index()

note_kb_hl_support_creation_started

public static final SubLObject note_kb_hl_support_creation_started(SubLObject hl_support,
                                                                   SubLObject kb_hl_support)

note_kb_hl_support_creation_complete

public static final SubLObject note_kb_hl_support_creation_complete(SubLObject hl_support)

find_kb_hl_support_during_creation

public static final SubLObject find_kb_hl_support_during_creation(SubLObject hl_support)

create_kb_hl_support

public static final SubLObject create_kb_hl_support(SubLObject hl_support,
                                                    SubLObject justification)

destroy_kb_hl_support

public static final SubLObject destroy_kb_hl_support(SubLObject kb_hl_support)

free_all_kb_hl_support

public static final SubLObject free_all_kb_hl_support()

possibly_unreify_kb_hl_supports

public static final SubLObject possibly_unreify_kb_hl_supports(SubLObject justification)

enqueueing_kb_hl_supports_for_tmsP

public static final SubLObject enqueueing_kb_hl_supports_for_tmsP()

process_tms_kb_hl_support_queue

public static final SubLObject process_tms_kb_hl_support_queue()

tms_remove_kb_hl_support

public static final SubLObject tms_remove_kb_hl_support(SubLObject kb_hl_support)

create_sample_invalid_kb_hl_support

public static final SubLObject create_sample_invalid_kb_hl_support()

Create a sample invalid KB HL support.

find_kb_hl_support_by_dump_id

public static final SubLObject find_kb_hl_support_by_dump_id(SubLObject dump_id)

load_kb_hl_support_content

public static final SubLObject load_kb_hl_support_content(SubLObject kb_hl_support,
                                                          SubLObject stream)

load_kb_hl_support_indexing_int

public static final SubLObject load_kb_hl_support_indexing_int(SubLObject filename)

declare_kb_hl_supports_file

public static final SubLObject declare_kb_hl_supports_file()

init_kb_hl_supports_file

public static final SubLObject init_kb_hl_supports_file()

setup_kb_hl_supports_file

public static final SubLObject setup_kb_hl_supports_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 kb_hl_supports

me

myName

$dtp_kb_hl_support$

$print_kb_hl_support_hl_supportP$

$dtp_kb_hl_support_content$

$unreify_kb_hl_supportsP$

$tms_kb_hl_support_queue$

$kb_hl_support_dump_id_table$

$list0

$list1

$kw2$ALLOW_OTHER_KEYS

$kw3$DONE

$sym4$DO_LIST

$sym5$KB_HL_SUPPORT_ARGUMENTS

$list6

$sym7$DO_SET_CONTENTS

$sym8$DO_KB_HL_SUPPORT_DEPENDENTS_HELPER

$sym9$DO_KB_HL_SUPPORT_DEPENDENTS

$list10

$sym11$KB_HL_SUPPORT_JUSTIFICATION

$sym12$KB_HL_SUPPORT

$sym13$KB_HL_SUPPORT_P

$list14

$list15

$list16

$list17

$sym18$PRINT_KB_HL_SUPPORT

$sym19$KB_HL_SUPPORT_PRINT_FUNCTION_TRAMPOLINE

$sym20$KB_HLS_ID

$sym21$_CSETF_KB_HLS_ID

$kw22$ID

$str23$Invalid_slot__S_for_construction_

$str24$_The_CFASL_invalid_KB_HL_support_

$str25$___s_

$str26$__KB_HL_SUPPORT__s_

$int27$787

$sym28$SXHASH_KB_HL_SUPPORT_METHOD

$sym29$KB_HL_SUPPORT_CONTENT

$sym30$KB_HL_SUPPORT_CONTENT_P

$list31

$list32

$list33

$list34

$sym35$DEFAULT_STRUCT_PRINT_FUNCTION

$sym36$KB_HL_SUPPORT_CONTENT_PRINT_FUNCTION_TRAMPOLINE

$sym37$KB_HLSC_ARGUMENT

$sym38$_CSETF_KB_HLSC_ARGUMENT

$sym39$KB_HLSC_DEPENDENTS

$sym40$_CSETF_KB_HLSC_DEPENDENTS

$kw41$ARGUMENT

$kw42$DEPENDENTS

$sym43$_KB_HL_SUPPORTS_FROM_IDS_

$list44

$list45

$kw46$PROGRESS_MESSAGE

$str47$mapping_Cyc_KB_HL_supports

$sym48$DO_KB_SUID_TABLE

$list49

$list50

$sym51$DO_KB_SUID_TABLE_OLD_OBJECTS

$sym52$DO_KB_SUID_TABLE_NEW_OBJECTS

$sym53$DO_KB_HL_SUPPORTS_TABLE

$sym54$DO_KB_HL_SUPPORTS

$str55$Determining_maximum_KB_HL_support

$sym56$STRINGP

$kw57$SKIP

$sym58$_KB_HL_SUPPORT_INDEX_

$str59$KB_HL_support_indexing_lock

$list60

$sym61$INDEXED_TERM_P

$sym62$KB_HL_SUPPORT_INDEX_UNINDEXED_TERM_

$list63

$str64$reindexing_KB_HL_supports

$sym65$_KB_HL_SUPPORTS_BEING_CREATED_

$str66$Freeing_KB_HL_supports

$sym67$POSSIBLY_REIFY_HL_SUPPORT

$sym68$UNREIFY_KB_HL_SUPPORT

$sym69$PIF

$list70

com.cyc.cycjava.cycl
Class kb_hl_supports

$str94$ss__