com.cyc.cycjava.cycl.sbhl
Class sbhl_link_methods

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_link_methods
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const13$True_JustificationTruth
static SubLObject	$const16$False_JustificationTruth
static SubLObject	$const23$EverythingPSC
static SubLObject	$const32$isa
static SubLObject	$const33$genls
static SubLObject	$const58$quotedIsa
static SubLInteger	$int31$200
static SubLInteger	$int79$256
static SubLSymbol	$isa_arg2_naut_table$ Store for isa links that have the a NAUT in the arg2 position.
static SubLSymbol	$kw0$PREDICATE
static SubLSymbol	$kw1$INVERSE
static SubLSymbol	$kw11$WARN
static SubLSymbol	$kw18$UNKNOWN
static SubLSymbol	$kw2$LINK
static SubLSymbol	$kw21$SKIP
static SubLSymbol	$kw6$ERROR
static SubLSymbol	$kw81$GAF
static SubLSymbol	$kw82$TRUE
static SubLSymbol	$kw86$FALSE
static SubLSymbol	$kw9$CERROR
static SubLList	$list35
static SubLList	$list36
static SubLList	$list43
static SubLList	$list49
static SubLList	$list56
static SubLList	$list59
static SubLList	$list60
static SubLList	$list66
static SubLList	$list69
static SubLList	$list77
static SubLList	$list84
static SubLList	$list85
static SubLSymbol	$quoted_isa_arg2_naut_table$ Store for quotedIsa links that have the a NAUT in the arg2 position.
static SubLString	$str10$continue_anyway
static SubLString	$str12$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str14$tv___a__does_not_satisfy_sbhl_tru
static SubLString	$str15$sbhl_link_nodes_never_called_
static SubLString	$str17$tv___a__does_not_satisfy_sbhl_fal
static SubLString	$str19$Initializing_SBHL_Graph_Links
static SubLString	$str24$adding_sbhl_links_for___a_with_tr
static SubLString	$str25$Link_node___a__not_present_in_for
static SubLString	$str26$Link_node___a__not_present_in_bac
static SubLString	$str27$Cannot_remove_link_node___a__not_
static SubLString	$str28$Removing__a_from__a_forward_direc
static SubLString	$str29$Removing__a_from__a_backward_dire
static SubLString	$str3$attempting_to_bind_direction_link
static SubLString	$str7$_A_is_not_a__A
static SubLString	$str80$__Rebuilding_non_fort___isa_table
static SubLSymbol	$sym20$STRINGP
static SubLSymbol	$sym22$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym30$_ISA_ARG2_NAUT_TABLE_
static SubLSymbol	$sym34$SBHL_TRUE_TV_P
static SubLSymbol	$sym37$MODULE
static SubLSymbol	$sym38$ISA_TUPLE
static SubLSymbol	$sym39$NAUT
static SubLSymbol	$sym4$SBHL_MODULE_P
static SubLSymbol	$sym40$ISA_MT
static SubLSymbol	$sym41$ISA_TV
static SubLSymbol	$sym42$CLET
static SubLSymbol	$sym44$POSSIBLY_WITH_SBHL_MT_RELEVANCE
static SubLSymbol	$sym45$POSSIBLY_WITH_SBHL_TRUE_TV
static SubLSymbol	$sym46$WITH_SBHL_MODULE
static SubLSymbol	$sym47$CDOLIST
static SubLSymbol	$sym48$GETHASH
static SubLSymbol	$sym5$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym50$CDESTRUCTURING_BIND
static SubLSymbol	$sym51$PWHEN
static SubLSymbol	$sym52$CAND
static SubLSymbol	$sym53$RELEVANT_MT_
static SubLSymbol	$sym54$RELEVANT_SBHL_TV_
static SubLSymbol	$sym55$DO_RELEVANT_SBHL_NAUT_GENERATED_LINKS
static SubLSymbol	$sym57$_QUOTED_ISA_ARG2_NAUT_TABLE_
static SubLSymbol	$sym61$MODULE
static SubLSymbol	$sym62$QUOTED_ISA_TUPLE
static SubLSymbol	$sym63$NAUT
static SubLSymbol	$sym64$QUOTED_ISA_MT
static SubLSymbol	$sym65$QUOTED_ISA_TV
static SubLSymbol	$sym67$_NON_FORT_ISA_TABLE_
static SubLSymbol	$sym68$_NON_FORT_INSTANCE_TABLE_
static SubLSymbol	$sym70$ISA_TUPLE
static SubLSymbol	$sym71$TABLE_MT
static SubLSymbol	$sym72$TABLE_TV
static SubLSymbol	$sym73$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE
static SubLSymbol	$sym74$POSSIBLY_WITH_SBHL_TV
static SubLSymbol	$sym75$CSOME
static SubLSymbol	$sym76$GETHASH_WITHOUT_VALUES
static SubLSymbol	$sym78$HASH_TABLE_P
static SubLSymbol	$sym8$SBHL_SEARCH_TRUTH_VALUE_P
static SubLSymbol	$sym83$NON_FORT_P
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	add_sbhl_link(SubLObject arg1, SubLObject arg2, SubLObject mt, SubLObject tv) after adding support.
static SubLObject	add_to_sbhl_link(SubLObject old_link, SubLObject mt, SubLObject direction, SubLObject tv, SubLObject node) Workhorse of link creation.
static SubLObject	assertion_sbhl_tv(SubLObject assertion)
static SubLObject	create_and_store_sbhl_link(SubLObject arg1, SubLObject arg2, SubLObject direction, SubLObject mt, SubLObject tv, SubLObject module) stores a new link in the graph corresponding to MODULE using args to initialize the link
static SubLObject	create_new_sbhl_link(SubLObject direction, SubLObject mt, SubLObject tv, SubLObject node, SubLObject module) Returns a new sbhl direction link created from scratch from args.
static SubLObject	declare_sbhl_link_methods_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_sbhl_backward_link_nodes(SubLObject node, SubLObject mt, SubLObject tv) Accessor: Takes NODE, MT, and TV.
static SubLObject	get_sbhl_forward_link_nodes(SubLObject node, SubLObject mt, SubLObject tv) Accessor: Takes NODE, MT, and TV.
static SubLObject	get_sbhl_graph_link_nodes(SubLObject node, SubLObject direction, SubLObject mt, SubLObject tv) Accessor: Takes NODE, DIRECTION, MT, and TV.
static SubLObject	init_sbhl_link_methods_file()
static SubLObject	initialize_isa_arg2_naut_table() Initializes *isa-arg2-naut-table*.
static SubLObject	initialize_quoted_isa_arg2_naut_table() Initializes *quoted-isa-arg2-naut-table*.
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	isa_stored_naut_arg2_p(SubLObject v_term)
static SubLObject	isa_to_naut_conditionsP(SubLObject arg1, SubLObject arg2) Return booleanp; Returns whether looking for (isa ARG1 ARG2) in the NAUT table is applicable.
static SubLObject	non_fort_instance_table_lookup(SubLObject col)
static SubLObject	non_fort_isa_table() For use by ONLY the dumper.
static SubLObject	non_fort_isa_tables_unbuiltP()
static SubLObject	non_fort_isaP(SubLObject ins, SubLObject col, SubLObject mt, SubLObject tv)
static SubLObject	possibly_add_non_fort_isa(SubLObject gaf) Called by the afterAdding for #$isa
static SubLObject	possibly_remove_non_fort_isa(SubLObject gaf) Called by the afterRemoving for #$isa
static SubLObject	possibly_update_sbhl_links_tv(SubLObject assertion, SubLObject old_tv)
static SubLObject	quoted_isa_stored_naut_arg2_p(SubLObject v_term)
static SubLObject	remove_sbhl_link(SubLObject arg1, SubLObject arg2, SubLObject mt, SubLObject tv)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sbhl_access_links(SubLObject node, SubLObject direction) Accessor: Takes NODE and DIRECTION, determines sbhl-graph from *sbhl-module*, returns mt-links dictionary from DIRECTION field of direction-link.
static SubLObject	sbhl_after_adding(SubLObject source, SubLObject assertion, SubLObject module) more indirection on top of after adding procedure.
static SubLObject	sbhl_after_removing(SubLObject source, SubLObject assertion, SubLObject module)
static SubLObject	sbhl_after_tv_modification(SubLObject assertion, SubLObject old_tv, SubLObject module)
static SubLObject	sbhl_any_asserted_true_links(SubLObject module, SubLObject node, SubLObject mt)
static SubLObject	sbhl_asserted_true_links(SubLObject module, SubLObject node, SubLObject mt)
static SubLObject	sbhl_backward_true_link_nodes(SubLObject module, SubLObject node, SubLObject mt, SubLObject tv, SubLObject with_cutoff_supportP)
static SubLObject	sbhl_forward_true_link_nodes(SubLObject module, SubLObject node, SubLObject mt, SubLObject tv, SubLObject with_cutoff_supportP)
static SubLObject	sbhl_link_nodes(SubLObject module, SubLObject node, SubLObject direction, SubLObject mt, SubLObject tv, SubLObject with_cutoff_supportP)
static SubLObject	sbhl_mt_matching_link_nodes(SubLObject module, SubLObject node, SubLObject mt)
static SubLObject	set_non_fort_instance_table(SubLObject table) For use by the dumper ONLY
static SubLObject	set_non_fort_isa_table(SubLObject table) For use by the dumper ONLY
static SubLObject	setup_sbhl_link_methods_file()
static SubLObject	store_in_sbhl_graph(SubLObject arg1, SubLObject arg2, SubLObject mt, SubLObject tv) Calculates forward and backward links relevant to GAF specified by the arguments.

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

$isa_arg2_naut_table$

public static SubLSymbol $isa_arg2_naut_table$

Store for isa links that have the a NAUT in the arg2 position.

$quoted_isa_arg2_naut_table$

public static SubLSymbol $quoted_isa_arg2_naut_table$

Store for quotedIsa links that have the a NAUT in the arg2 position.

$kw0$PREDICATE

public static final SubLSymbol $kw0$PREDICATE

$kw1$INVERSE

public static final SubLSymbol $kw1$INVERSE

$kw2$LINK

public static final SubLSymbol $kw2$LINK

$str3$attempting_to_bind_direction_link

public static final SubLString $str3$attempting_to_bind_direction_link

$sym4$SBHL_MODULE_P

public static final SubLSymbol $sym4$SBHL_MODULE_P

$sym5$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym5$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw6$ERROR

public static final SubLSymbol $kw6$ERROR

$str7$_A_is_not_a__A

public static final SubLString $str7$_A_is_not_a__A

$sym8$SBHL_SEARCH_TRUTH_VALUE_P

public static final SubLSymbol $sym8$SBHL_SEARCH_TRUTH_VALUE_P

$kw9$CERROR

public static final SubLSymbol $kw9$CERROR

$str10$continue_anyway

public static final SubLString $str10$continue_anyway

$kw11$WARN

public static final SubLSymbol $kw11$WARN

$str12$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str12$_A_is_not_a_valid__sbhl_type_erro

$const13$True_JustificationTruth

public static final SubLObject $const13$True_JustificationTruth

$str14$tv___a__does_not_satisfy_sbhl_tru

public static final SubLString $str14$tv___a__does_not_satisfy_sbhl_tru

$str15$sbhl_link_nodes_never_called_

public static final SubLString $str15$sbhl_link_nodes_never_called_

$const16$False_JustificationTruth

public static final SubLObject $const16$False_JustificationTruth

$str17$tv___a__does_not_satisfy_sbhl_fal

public static final SubLString $str17$tv___a__does_not_satisfy_sbhl_fal

$kw18$UNKNOWN

public static final SubLSymbol $kw18$UNKNOWN

$str19$Initializing_SBHL_Graph_Links

public static final SubLString $str19$Initializing_SBHL_Graph_Links

$sym20$STRINGP

public static final SubLSymbol $sym20$STRINGP

$kw21$SKIP

public static final SubLSymbol $kw21$SKIP

$sym22$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym22$RELEVANT_MT_IS_EVERYTHING

$const23$EverythingPSC

public static final SubLObject $const23$EverythingPSC

$str24$adding_sbhl_links_for___a_with_tr

public static final SubLString $str24$adding_sbhl_links_for___a_with_tr

$str25$Link_node___a__not_present_in_for

public static final SubLString $str25$Link_node___a__not_present_in_for

$str26$Link_node___a__not_present_in_bac

public static final SubLString $str26$Link_node___a__not_present_in_bac

$str27$Cannot_remove_link_node___a__not_

public static final SubLString $str27$Cannot_remove_link_node___a__not_

$str28$Removing__a_from__a_forward_direc

public static final SubLString $str28$Removing__a_from__a_forward_direc

$str29$Removing__a_from__a_backward_dire

public static final SubLString $str29$Removing__a_from__a_backward_dire

$sym30$_ISA_ARG2_NAUT_TABLE_

public static final SubLSymbol $sym30$_ISA_ARG2_NAUT_TABLE_

$int31$200

public static final SubLInteger $int31$200

$const32$isa

public static final SubLObject $const32$isa

$const33$genls

public static final SubLObject $const33$genls

$sym34$SBHL_TRUE_TV_P

public static final SubLSymbol $sym34$SBHL_TRUE_TV_P

$list35

public static final SubLList $list35

$list36

public static final SubLList $list36

$sym37$MODULE

public static final SubLSymbol $sym37$MODULE

$sym38$ISA_TUPLE

public static final SubLSymbol $sym38$ISA_TUPLE

$sym39$NAUT

public static final SubLSymbol $sym39$NAUT

$sym40$ISA_MT

public static final SubLSymbol $sym40$ISA_MT

$sym41$ISA_TV

public static final SubLSymbol $sym41$ISA_TV

$sym42$CLET

public static final SubLSymbol $sym42$CLET

$list43

public static final SubLList $list43

$sym44$POSSIBLY_WITH_SBHL_MT_RELEVANCE

public static final SubLSymbol $sym44$POSSIBLY_WITH_SBHL_MT_RELEVANCE

$sym45$POSSIBLY_WITH_SBHL_TRUE_TV

public static final SubLSymbol $sym45$POSSIBLY_WITH_SBHL_TRUE_TV

$sym46$WITH_SBHL_MODULE

public static final SubLSymbol $sym46$WITH_SBHL_MODULE

$sym47$CDOLIST

public static final SubLSymbol $sym47$CDOLIST

$sym48$GETHASH

public static final SubLSymbol $sym48$GETHASH

$list49

public static final SubLList $list49

$sym50$CDESTRUCTURING_BIND

public static final SubLSymbol $sym50$CDESTRUCTURING_BIND

$sym51$PWHEN

public static final SubLSymbol $sym51$PWHEN

$sym52$CAND

public static final SubLSymbol $sym52$CAND

$sym53$RELEVANT_MT_

public static final SubLSymbol $sym53$RELEVANT_MT_

$sym54$RELEVANT_SBHL_TV_

public static final SubLSymbol $sym54$RELEVANT_SBHL_TV_

$sym55$DO_RELEVANT_SBHL_NAUT_GENERATED_LINKS

public static final SubLSymbol $sym55$DO_RELEVANT_SBHL_NAUT_GENERATED_LINKS

$list56

public static final SubLList $list56

$sym57$_QUOTED_ISA_ARG2_NAUT_TABLE_

public static final SubLSymbol $sym57$_QUOTED_ISA_ARG2_NAUT_TABLE_

$const58$quotedIsa

public static final SubLObject $const58$quotedIsa

$list59

public static final SubLList $list59

$list60

public static final SubLList $list60

$sym61$MODULE

public static final SubLSymbol $sym61$MODULE

$sym62$QUOTED_ISA_TUPLE

public static final SubLSymbol $sym62$QUOTED_ISA_TUPLE

$sym63$NAUT

public static final SubLSymbol $sym63$NAUT

$sym64$QUOTED_ISA_MT

public static final SubLSymbol $sym64$QUOTED_ISA_MT

$sym65$QUOTED_ISA_TV

public static final SubLSymbol $sym65$QUOTED_ISA_TV

$list66

public static final SubLList $list66

$sym67$_NON_FORT_ISA_TABLE_

public static final SubLSymbol $sym67$_NON_FORT_ISA_TABLE_

$sym68$_NON_FORT_INSTANCE_TABLE_

public static final SubLSymbol $sym68$_NON_FORT_INSTANCE_TABLE_

$list69

public static final SubLList $list69

$sym70$ISA_TUPLE

public static final SubLSymbol $sym70$ISA_TUPLE

$sym71$TABLE_MT

public static final SubLSymbol $sym71$TABLE_MT

$sym72$TABLE_TV

public static final SubLSymbol $sym72$TABLE_TV

$sym73$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym73$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

$sym74$POSSIBLY_WITH_SBHL_TV

public static final SubLSymbol $sym74$POSSIBLY_WITH_SBHL_TV

$sym75$CSOME

public static final SubLSymbol $sym75$CSOME

$sym76$GETHASH_WITHOUT_VALUES

public static final SubLSymbol $sym76$GETHASH_WITHOUT_VALUES

$list77

public static final SubLList $list77

$sym78$HASH_TABLE_P

public static final SubLSymbol $sym78$HASH_TABLE_P

$int79$256

public static final SubLInteger $int79$256

$str80$__Rebuilding_non_fort___isa_table

public static final SubLString $str80$__Rebuilding_non_fort___isa_table

$kw81$GAF

public static final SubLSymbol $kw81$GAF

$kw82$TRUE

public static final SubLSymbol $kw82$TRUE

$sym83$NON_FORT_P

public static final SubLSymbol $sym83$NON_FORT_P

$list84

public static final SubLList $list84

$list85

public static final SubLList $list85

$kw86$FALSE

public static final SubLSymbol $kw86$FALSE

Method Detail

sbhl_access_links

public static final SubLObject sbhl_access_links(SubLObject node,
                                                 SubLObject direction)

Accessor: Takes NODE and DIRECTION, determines sbhl-graph from *sbhl-module*, returns mt-links dictionary from DIRECTION field of direction-link.

get_sbhl_graph_link_nodes

public static final SubLObject get_sbhl_graph_link_nodes(SubLObject node,
                                                         SubLObject direction,
                                                         SubLObject mt,
                                                         SubLObject tv)

Accessor: Takes NODE, DIRECTION, MT, and TV. Returns list of nodes for TV field of tv-link specified by MT and DIRECTION. Requires *sbhl-module* to be defined.

get_sbhl_forward_link_nodes

public static final SubLObject get_sbhl_forward_link_nodes(SubLObject node,
                                                           SubLObject mt,
                                                           SubLObject tv)

Accessor: Takes NODE, MT, and TV. Returns list of nodes for TV field of tv-link specified by MT, and in either direction :predicate or :links, depending on whether the module specifies directed or undirected links. Requires *sbhl-module* to be defined. @see get-sbhl-link

get_sbhl_backward_link_nodes

public static final SubLObject get_sbhl_backward_link_nodes(SubLObject node,
                                                            SubLObject mt,
                                                            SubLObject tv)

Accessor: Takes NODE, MT, and TV. Returns list of nodes for TV field of tv-link specified by MT, and in either direction :inverse or :link, depending on whether the module specifies directed or undirected links. Requires *sbhl-module* to be defined. @see get-sbhl-link

sbhl_link_nodes

public static final SubLObject sbhl_link_nodes(SubLObject module,
                                               SubLObject node,
                                               SubLObject direction,
                                               SubLObject mt,
                                               SubLObject tv,
                                               SubLObject with_cutoff_supportP)

Returns:

listp; the asserted link nodes accessible by NODE via one sbhl-link-pred link, as specified by (get-sbhl-module), with sbhl-true? truth value. When MT is specified, returns those links within MT or one of its spec-mts; otherwise, uses current value of mt*, @see possibly-with-sbhl-mt-relevance. When TV is specified, check that it is #$ArbitraryTruth-JustificationTruth or one of its spec-attributes, and returns those links with relevant truth value; otherwise, assumes TV to be *sbhl-tv*; @see possibly-with-sbhl-tv. When WITH-CUTOFF-SUPPORT? is non-nil, calls

See Also:

predicate-true-links-by-iteration.

sbhl_forward_true_link_nodes

public static final SubLObject sbhl_forward_true_link_nodes(SubLObject module,
                                                            SubLObject node,
                                                            SubLObject mt,
                                                            SubLObject tv,
                                                            SubLObject with_cutoff_supportP)

sbhl_backward_true_link_nodes

public static final SubLObject sbhl_backward_true_link_nodes(SubLObject module,
                                                             SubLObject node,
                                                             SubLObject mt,
                                                             SubLObject tv,
                                                             SubLObject with_cutoff_supportP)

sbhl_mt_matching_link_nodes

public static final SubLObject sbhl_mt_matching_link_nodes(SubLObject module,
                                                           SubLObject node,
                                                           SubLObject mt)

Returns:

listp; Assumes TRUE tv, and forward direction and returns the link-nodes of NODE in MODULE which match MT

create_new_sbhl_link

public static final SubLObject create_new_sbhl_link(SubLObject direction,
                                                    SubLObject mt,
                                                    SubLObject tv,
                                                    SubLObject node,
                                                    SubLObject module)

Returns a new sbhl direction link created from scratch from args.

create_and_store_sbhl_link

public static final SubLObject create_and_store_sbhl_link(SubLObject arg1,
                                                          SubLObject arg2,
                                                          SubLObject direction,
                                                          SubLObject mt,
                                                          SubLObject tv,
                                                          SubLObject module)

stores a new link in the graph corresponding to MODULE using args to initialize the link

add_to_sbhl_link

public static final SubLObject add_to_sbhl_link(SubLObject old_link,
                                                SubLObject mt,
                                                SubLObject direction,
                                                SubLObject tv,
                                                SubLObject node)

Workhorse of link creation. Checks OLD-LINK and creates the necessary link substructures, returns the new direction link

store_in_sbhl_graph

public static final SubLObject store_in_sbhl_graph(SubLObject arg1,
                                                   SubLObject arg2,
                                                   SubLObject mt,
                                                   SubLObject tv)

Calculates forward and backward links relevant to GAF specified by the arguments. Store the link, creating proper substructures through @see add-to-sbhl-link, create-and-store-sbhl-link. Will not add redundant links. Determines direction of link with @see get-sbhl-index-arg. Requires *sbhl-module* to be defined.

assertion_sbhl_tv

public static final SubLObject assertion_sbhl_tv(SubLObject assertion)

add_sbhl_link

public static final SubLObject add_sbhl_link(SubLObject arg1,
                                             SubLObject arg2,
                                             SubLObject mt,
                                             SubLObject tv)

after adding support. adds necessary link structure and data to store gaf assertion specified by the arguments. @see store-in-sbhl-graph. requires (get-sbhl-module) to be bound for the (get-sbhl-link-pred .. ) reference.

sbhl_after_adding

public static final SubLObject sbhl_after_adding(SubLObject source,
                                                 SubLObject assertion,
                                                 SubLObject module)

more indirection on top of after adding procedure. @see add-sbhl-link. binds the sbhl pred data corresponding to MODULE.

remove_sbhl_link

public static final SubLObject remove_sbhl_link(SubLObject arg1,
                                                SubLObject arg2,
                                                SubLObject mt,
                                                SubLObject tv)

sbhl_after_removing

public static final SubLObject sbhl_after_removing(SubLObject source,
                                                   SubLObject assertion,
                                                   SubLObject module)

possibly_update_sbhl_links_tv

public static final SubLObject possibly_update_sbhl_links_tv(SubLObject assertion,
                                                             SubLObject old_tv)

sbhl_after_tv_modification

public static final SubLObject sbhl_after_tv_modification(SubLObject assertion,
                                                          SubLObject old_tv,
                                                          SubLObject module)

initialize_isa_arg2_naut_table

public static final SubLObject initialize_isa_arg2_naut_table()

Initializes *isa-arg2-naut-table*.

isa_stored_naut_arg2_p

public static final SubLObject isa_stored_naut_arg2_p(SubLObject v_term)

Returns:

booleanp; Whether TERM has any direct isas which are NAUTs.

isa_to_naut_conditionsP

public static final SubLObject isa_to_naut_conditionsP(SubLObject arg1,
                                                       SubLObject arg2)

Return booleanp; Returns whether looking for (isa ARG1 ARG2) in the NAUT table is applicable.

initialize_quoted_isa_arg2_naut_table

public static final SubLObject initialize_quoted_isa_arg2_naut_table()

Initializes *quoted-isa-arg2-naut-table*.

quoted_isa_stored_naut_arg2_p

public static final SubLObject quoted_isa_stored_naut_arg2_p(SubLObject v_term)

Returns:

booleanp; Whether TERM has any direct isas which are NAUTs.

set_non_fort_isa_table

public static final SubLObject set_non_fort_isa_table(SubLObject table)

For use by the dumper ONLY

set_non_fort_instance_table

public static final SubLObject set_non_fort_instance_table(SubLObject table)

For use by the dumper ONLY

non_fort_isa_table

public static final SubLObject non_fort_isa_table()

For use by ONLY the dumper.

non_fort_isa_tables_unbuiltP

public static final SubLObject non_fort_isa_tables_unbuiltP()

non_fort_isaP

public static final SubLObject non_fort_isaP(SubLObject ins,
                                             SubLObject col,
                                             SubLObject mt,
                                             SubLObject tv)

non_fort_instance_table_lookup

public static final SubLObject non_fort_instance_table_lookup(SubLObject col)

possibly_add_non_fort_isa

public static final SubLObject possibly_add_non_fort_isa(SubLObject gaf)

Called by the afterAdding for #$isa

possibly_remove_non_fort_isa

public static final SubLObject possibly_remove_non_fort_isa(SubLObject gaf)

Called by the afterRemoving for #$isa

sbhl_any_asserted_true_links

public static final SubLObject sbhl_any_asserted_true_links(SubLObject module,
                                                            SubLObject node,
                                                            SubLObject mt)

Returns:

fort-p; the first term found that appears in the arg 2 position of a gaf with predicate of MODULE, arg1 NODE, and mt relevance MT.

sbhl_asserted_true_links

public static final SubLObject sbhl_asserted_true_links(SubLObject module,
                                                        SubLObject node,
                                                        SubLObject mt)

Returns:

listp; the link-nodes in assertions satisfying (PRED NODE link-node) where PRED is MODULE's link predicate.

declare_sbhl_link_methods_file

public static final SubLObject declare_sbhl_link_methods_file()

init_sbhl_link_methods_file

public static final SubLObject init_sbhl_link_methods_file()

setup_sbhl_link_methods_file

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