com.cyc.cycjava.cycl.sbhl
Class sbhl_links

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.sbhl.sbhl_links
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class sbhl_links
extends SubLTranslatedFile


Nested Class Summary
static class sbhl_links.$sbhl_directed_link_native
           
static class sbhl_links.$sbhl_directed_link_p$UnaryFunction
           
static class sbhl_links.$sbhl_undirected_link_native
           
static class sbhl_links.$sbhl_undirected_link_p$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $dtp_sbhl_directed_link$
           
static SubLSymbol $dtp_sbhl_undirected_link$
           
static SubLInteger $int18$221
           
static SubLInteger $int2$220
           
static SubLSymbol $kw13$PREDICATE_LINKS
           
static SubLSymbol $kw14$INVERSE_LINKS
           
static SubLSymbol $kw26$LINKS
           
static SubLSymbol $kw28$STREAM
           
static SubLSymbol $kw29$BASE
           
static SubLSymbol $kw31$ERROR
           
static SubLSymbol $kw34$CERROR
           
static SubLSymbol $kw36$WARN
           
static SubLList $list19
           
static SubLList $list20
           
static SubLList $list21
           
static SubLList $list22
           
static SubLList $list3
           
static SubLList $list4
           
static SubLList $list5
           
static SubLList $list6
           
static SubLString $str15$Invalid_slot__S_for_construction_
           
static SubLString $str27$__
           
static SubLString $str32$_A_is_not_a__A
           
static SubLString $str35$continue_anyway
           
static SubLString $str37$_A_is_not_a_valid__sbhl_type_erro
           
static SubLSymbol $sym0$SBHL_DIRECTED_LINK
           
static SubLSymbol $sym1$SBHL_DIRECTED_LINK_P
           
static SubLSymbol $sym10$_CSETF_SBHL_DIRECTED_LINK_PREDICATE_LINKS
           
static SubLSymbol $sym11$SBHL_DIRECTED_LINK_INVERSE_LINKS
           
static SubLSymbol $sym12$_CSETF_SBHL_DIRECTED_LINK_INVERSE_LINKS
           
static SubLSymbol $sym16$SBHL_UNDIRECTED_LINK
           
static SubLSymbol $sym17$SBHL_UNDIRECTED_LINK_P
           
static SubLSymbol $sym23$SBHL_UNDIRECTED_LINK_PRINT_FUNCTION_TRAMPOLINE
           
static SubLSymbol $sym24$SBHL_UNDIRECTED_LINK_LINKS
           
static SubLSymbol $sym25$_CSETF_SBHL_UNDIRECTED_LINK_LINKS
           
static SubLSymbol $sym30$SBHL_MODULE_P
           
static SubLSymbol $sym33$SBHL_PREDICATE_P
           
static SubLSymbol $sym38$SBHL_DIRECTED_DIRECTION_P
           
static SubLSymbol $sym39$SBHL_MT_LINKS_OBJECT_P
           
static SubLSymbol $sym40$SBHL_TV_LINKS_OBJECT_P
           
static SubLSymbol $sym41$SBHL_MT_OBJECT_P
           
static SubLSymbol $sym42$SBHL_LINK_TRUTH_VALUE_P
           
static SubLSymbol $sym43$SBHL_NODE_OBJECT_P
           
static SubLSymbol $sym44$SBHL_LINK_NODES_OBJECT_P
           
static SubLSymbol $sym7$PRINT_LINK
           
static SubLSymbol $sym8$SBHL_DIRECTED_LINK_PRINT_FUNCTION_TRAMPOLINE
           
static SubLSymbol $sym9$SBHL_DIRECTED_LINK_PREDICATE_LINKS
           
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 _csetf_sbhl_directed_link_inverse_links(SubLObject object, SubLObject value)
           
static SubLObject _csetf_sbhl_directed_link_predicate_links(SubLObject object, SubLObject value)
           
static SubLObject _csetf_sbhl_undirected_link_links(SubLObject object, SubLObject value)
           
static SubLObject any_sbhl_predicate_links_p(SubLObject node, SubLObject pred)
          Accessor: @return booleanp; whether NODE has any forward sbhl links in PRED / *sbhl-module*
static SubLObject create_sbhl_directed_link(SubLObject direction, SubLObject mt_links)
          Constructor: @return sbhl-directed-link-p; with MT-LINKS in the DIRECTION field
static SubLObject create_sbhl_direction_link(SubLObject direction, SubLObject mt_links, SubLObject module)
          Constructor: @return sbhl-direction-link-p; with direction field DIRECTION filled with MT-LINKS.
static SubLObject create_sbhl_mt_links(SubLObject mt, SubLObject tv_links)
          Constructor: @return sbhl-mt-links; with an entry with key MT and value TV-LINKS
static SubLObject create_sbhl_tv_links(SubLObject truth, SubLObject node)
          Constructor: returns new sbhl-truth-value-link with value at TRUTH set to '(NODE)
static SubLObject create_sbhl_undirected_link(SubLObject mt_links)
          Constructor: @return sbhl-undirected-link-p; with MT-LINKS in the links field
static SubLObject declare_sbhl_links_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject get_sbhl_directed_mt_links(SubLObject directed_link, SubLObject direction)
          Accessor: @return sbhl-mt-links-object-p; the mt-links in the DIRECTION field of DIRECTED-LINK
static SubLObject get_sbhl_link_nodes(SubLObject tv_links, SubLObject truth)
          Accessor: @return listp; within the value at TRUTH in TV-LINKS
static SubLObject get_sbhl_mt_links(SubLObject direction_link, SubLObject direction, SubLObject module)
          Accessor: @return the sbhl-mt-links in the DIRECTION field of DIRECTION-LINK.
static SubLObject get_sbhl_tv_links(SubLObject mt_links, SubLObject mt)
          Accessor: @return sbhl-tv-links-p; the tv-links stucture after hashing on MT within MT-LINKS
static SubLObject get_sbhl_undirected_mt_links(SubLObject undirected_link)
          Accessor: @return sbhl-mt-links-object-p; the mt-links in the DIRECTION field of UNDIRECTED-LINK
static SubLObject init_sbhl_links_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject make_sbhl_directed_link(SubLObject arglist)
           
static SubLObject make_sbhl_undirected_link(SubLObject arglist)
           
static SubLObject member_of_tv_linksP(SubLObject node, SubLObject truth, SubLObject tv_links)
          Accessor: @return booleanp; whether NODE is a member of TV-LINKS corresponding to TRUTH.
static SubLObject push_onto_sbhl_tv_links(SubLObject tv_links, SubLObject truth, SubLObject node)
          Modifier: pushes NODE onto head of value at TRUTH in TV-LINKS.
static SubLObject remove_sbhl_direction_link(SubLObject direction_link, SubLObject direction, SubLObject module)
          Modifier: Sets the DIRECTION field of DIRECTION-LINK to NIL.
static SubLObject remove_sbhl_mt_link(SubLObject mt_links, SubLObject mt)
          Modifier: removes data from the MT slot of MT-LINKS.
static SubLObject remove_sbhl_tv_link_node(SubLObject tv_links, SubLObject truth, SubLObject node)
          Modifier: removes NODE from the links corresponding to TRUTH within TV-LINKS.
static SubLObject remove_sbhl_tv_link(SubLObject tv_links, SubLObject truth)
          Modifier: removes data corresponding to TRUTH within TV-LINKS.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject sbhl_directed_link_inverse_links(SubLObject object)
           
static SubLObject sbhl_directed_link_p(SubLObject object)
           
static SubLObject sbhl_directed_link_predicate_links(SubLObject object)
           
static SubLObject sbhl_directed_link_print_function_trampoline(SubLObject object, SubLObject stream)
           
static SubLObject sbhl_direction_link_p(SubLObject d_link)
          Accessor: @return booleanp; is D-LINK either an sbhl-directed-link or sbhl-undirected-link, or neither.
static SubLObject sbhl_mt_links_object_p(SubLObject object)
          Accessor: @return booleanp; whether OBJECT is a dictionary.
static SubLObject sbhl_tv_links_object_p(SubLObject object)
          Accessor: @return booleanp; whether OBJECT is a @see dictionary-p
static SubLObject sbhl_undirected_link_links(SubLObject object)
           
static SubLObject sbhl_undirected_link_p(SubLObject object)
           
static SubLObject sbhl_undirected_link_print_function_trampoline(SubLObject object, SubLObject stream)
           
static SubLObject set_sbhl_directed_link(SubLObject directed_link, SubLObject direction, SubLObject value)
          Modifier: Sets the DIRECTION field of DIRECTED-LINK to be VALUE
static SubLObject set_sbhl_direction_link(SubLObject direction_link, SubLObject direction, SubLObject value, SubLObject module)
          Modifier: Sets the DIRECTION field of DIRECTION-LINK to be VALUE.
static SubLObject set_sbhl_mt_links(SubLObject mt_links, SubLObject mt, SubLObject tv_links)
          Modifier: sets the value corresponding to key MT in MT-LINKS to be TV-LINKS
static SubLObject set_sbhl_undirected_link(SubLObject undirected_link, SubLObject value)
          Modifier: Sets the links field of UNDIRECTED-LINK to be VALUE.
static SubLObject setup_sbhl_links_file()
           
 
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_sbhl_directed_link$

public static SubLSymbol $dtp_sbhl_directed_link$

$dtp_sbhl_undirected_link$

public static SubLSymbol $dtp_sbhl_undirected_link$

$sym0$SBHL_DIRECTED_LINK

public static final SubLSymbol $sym0$SBHL_DIRECTED_LINK

$sym1$SBHL_DIRECTED_LINK_P

public static final SubLSymbol $sym1$SBHL_DIRECTED_LINK_P

$int2$220

public static final SubLInteger $int2$220

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$PRINT_LINK

public static final SubLSymbol $sym7$PRINT_LINK

$sym8$SBHL_DIRECTED_LINK_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$SBHL_DIRECTED_LINK_PRINT_FUNCTION_TRAMPOLINE

$sym9$SBHL_DIRECTED_LINK_PREDICATE_LINKS

public static final SubLSymbol $sym9$SBHL_DIRECTED_LINK_PREDICATE_LINKS

$sym10$_CSETF_SBHL_DIRECTED_LINK_PREDICATE_LINKS

public static final SubLSymbol $sym10$_CSETF_SBHL_DIRECTED_LINK_PREDICATE_LINKS

$sym11$SBHL_DIRECTED_LINK_INVERSE_LINKS

public static final SubLSymbol $sym11$SBHL_DIRECTED_LINK_INVERSE_LINKS

$sym12$_CSETF_SBHL_DIRECTED_LINK_INVERSE_LINKS

public static final SubLSymbol $sym12$_CSETF_SBHL_DIRECTED_LINK_INVERSE_LINKS

$kw13$PREDICATE_LINKS

public static final SubLSymbol $kw13$PREDICATE_LINKS

$kw14$INVERSE_LINKS

public static final SubLSymbol $kw14$INVERSE_LINKS

$str15$Invalid_slot__S_for_construction_

public static final SubLString $str15$Invalid_slot__S_for_construction_

$sym16$SBHL_UNDIRECTED_LINK

public static final SubLSymbol $sym16$SBHL_UNDIRECTED_LINK

$sym17$SBHL_UNDIRECTED_LINK_P

public static final SubLSymbol $sym17$SBHL_UNDIRECTED_LINK_P

$int18$221

public static final SubLInteger $int18$221

$list19

public static final SubLList $list19

$list20

public static final SubLList $list20

$list21

public static final SubLList $list21

$list22

public static final SubLList $list22

$sym23$SBHL_UNDIRECTED_LINK_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym23$SBHL_UNDIRECTED_LINK_PRINT_FUNCTION_TRAMPOLINE

$sym24$SBHL_UNDIRECTED_LINK_LINKS

public static final SubLSymbol $sym24$SBHL_UNDIRECTED_LINK_LINKS

$sym25$_CSETF_SBHL_UNDIRECTED_LINK_LINKS

public static final SubLSymbol $sym25$_CSETF_SBHL_UNDIRECTED_LINK_LINKS

$kw26$LINKS

public static final SubLSymbol $kw26$LINKS

$str27$__

public static final SubLString $str27$__

$kw28$STREAM

public static final SubLSymbol $kw28$STREAM

$kw29$BASE

public static final SubLSymbol $kw29$BASE

$sym30$SBHL_MODULE_P

public static final SubLSymbol $sym30$SBHL_MODULE_P

$kw31$ERROR

public static final SubLSymbol $kw31$ERROR

$str32$_A_is_not_a__A

public static final SubLString $str32$_A_is_not_a__A

$sym33$SBHL_PREDICATE_P

public static final SubLSymbol $sym33$SBHL_PREDICATE_P

$kw34$CERROR

public static final SubLSymbol $kw34$CERROR

$str35$continue_anyway

public static final SubLString $str35$continue_anyway

$kw36$WARN

public static final SubLSymbol $kw36$WARN

$str37$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str37$_A_is_not_a_valid__sbhl_type_erro

$sym38$SBHL_DIRECTED_DIRECTION_P

public static final SubLSymbol $sym38$SBHL_DIRECTED_DIRECTION_P

$sym39$SBHL_MT_LINKS_OBJECT_P

public static final SubLSymbol $sym39$SBHL_MT_LINKS_OBJECT_P

$sym40$SBHL_TV_LINKS_OBJECT_P

public static final SubLSymbol $sym40$SBHL_TV_LINKS_OBJECT_P

$sym41$SBHL_MT_OBJECT_P

public static final SubLSymbol $sym41$SBHL_MT_OBJECT_P

$sym42$SBHL_LINK_TRUTH_VALUE_P

public static final SubLSymbol $sym42$SBHL_LINK_TRUTH_VALUE_P

$sym43$SBHL_NODE_OBJECT_P

public static final SubLSymbol $sym43$SBHL_NODE_OBJECT_P

$sym44$SBHL_LINK_NODES_OBJECT_P

public static final SubLSymbol $sym44$SBHL_LINK_NODES_OBJECT_P
Method Detail

sbhl_directed_link_print_function_trampoline

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

sbhl_directed_link_p

public static final SubLObject sbhl_directed_link_p(SubLObject object)

sbhl_directed_link_predicate_links

public static final SubLObject sbhl_directed_link_predicate_links(SubLObject object)

sbhl_directed_link_inverse_links

public static final SubLObject sbhl_directed_link_inverse_links(SubLObject object)

_csetf_sbhl_directed_link_predicate_links

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

_csetf_sbhl_directed_link_inverse_links

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

make_sbhl_directed_link

public static final SubLObject make_sbhl_directed_link(SubLObject arglist)

sbhl_undirected_link_print_function_trampoline

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

sbhl_undirected_link_p

public static final SubLObject sbhl_undirected_link_p(SubLObject object)

sbhl_undirected_link_links

public static final SubLObject sbhl_undirected_link_links(SubLObject object)

_csetf_sbhl_undirected_link_links

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

make_sbhl_undirected_link

public static final SubLObject make_sbhl_undirected_link(SubLObject arglist)

create_sbhl_directed_link

public static final SubLObject create_sbhl_directed_link(SubLObject direction,
                                                         SubLObject mt_links)
Constructor: @return sbhl-directed-link-p; with MT-LINKS in the DIRECTION field


create_sbhl_undirected_link

public static final SubLObject create_sbhl_undirected_link(SubLObject mt_links)
Constructor: @return sbhl-undirected-link-p; with MT-LINKS in the links field


create_sbhl_direction_link

public static final SubLObject create_sbhl_direction_link(SubLObject direction,
                                                          SubLObject mt_links,
                                                          SubLObject module)
Constructor: @return sbhl-direction-link-p; with direction field DIRECTION filled with MT-LINKS. uses MODULE / *sbhl-module* to assess whether links are directed


sbhl_direction_link_p

public static final SubLObject sbhl_direction_link_p(SubLObject d_link)
Accessor: @return booleanp; is D-LINK either an sbhl-directed-link or sbhl-undirected-link, or neither.


any_sbhl_predicate_links_p

public static final SubLObject any_sbhl_predicate_links_p(SubLObject node,
                                                          SubLObject pred)
Accessor: @return booleanp; whether NODE has any forward sbhl links in PRED / *sbhl-module*


get_sbhl_directed_mt_links

public static final SubLObject get_sbhl_directed_mt_links(SubLObject directed_link,
                                                          SubLObject direction)
Accessor: @return sbhl-mt-links-object-p; the mt-links in the DIRECTION field of DIRECTED-LINK


get_sbhl_undirected_mt_links

public static final SubLObject get_sbhl_undirected_mt_links(SubLObject undirected_link)
Accessor: @return sbhl-mt-links-object-p; the mt-links in the DIRECTION field of UNDIRECTED-LINK


get_sbhl_mt_links

public static final SubLObject get_sbhl_mt_links(SubLObject direction_link,
                                                 SubLObject direction,
                                                 SubLObject module)
Accessor: @return the sbhl-mt-links in the DIRECTION field of DIRECTION-LINK. uses MODULE / *sbhl-module* to assess whether links are directed.


set_sbhl_directed_link

public static final SubLObject set_sbhl_directed_link(SubLObject directed_link,
                                                      SubLObject direction,
                                                      SubLObject value)
Modifier: Sets the DIRECTION field of DIRECTED-LINK to be VALUE


set_sbhl_undirected_link

public static final SubLObject set_sbhl_undirected_link(SubLObject undirected_link,
                                                        SubLObject value)
Modifier: Sets the links field of UNDIRECTED-LINK to be VALUE. ensures DIRECTION is :link


set_sbhl_direction_link

public static final SubLObject set_sbhl_direction_link(SubLObject direction_link,
                                                       SubLObject direction,
                                                       SubLObject value,
                                                       SubLObject module)
Modifier: Sets the DIRECTION field of DIRECTION-LINK to be VALUE. uses MODULE / *sbhl-module* to assess whether links are directed.


remove_sbhl_direction_link

public static final SubLObject remove_sbhl_direction_link(SubLObject direction_link,
                                                          SubLObject direction,
                                                          SubLObject module)
Modifier: Sets the DIRECTION field of DIRECTION-LINK to NIL. @see set-sbhl-direction-link.


create_sbhl_mt_links

public static final SubLObject create_sbhl_mt_links(SubLObject mt,
                                                    SubLObject tv_links)
Constructor: @return sbhl-mt-links; with an entry with key MT and value TV-LINKS


sbhl_mt_links_object_p

public static final SubLObject sbhl_mt_links_object_p(SubLObject object)
Accessor: @return booleanp; whether OBJECT is a dictionary.


get_sbhl_tv_links

public static final SubLObject get_sbhl_tv_links(SubLObject mt_links,
                                                 SubLObject mt)
Accessor: @return sbhl-tv-links-p; the tv-links stucture after hashing on MT within MT-LINKS


set_sbhl_mt_links

public static final SubLObject set_sbhl_mt_links(SubLObject mt_links,
                                                 SubLObject mt,
                                                 SubLObject tv_links)
Modifier: sets the value corresponding to key MT in MT-LINKS to be TV-LINKS


remove_sbhl_mt_link

public static final SubLObject remove_sbhl_mt_link(SubLObject mt_links,
                                                   SubLObject mt)
Modifier: removes data from the MT slot of MT-LINKS.


create_sbhl_tv_links

public static final SubLObject create_sbhl_tv_links(SubLObject truth,
                                                    SubLObject node)
Constructor: returns new sbhl-truth-value-link with value at TRUTH set to '(NODE)


sbhl_tv_links_object_p

public static final SubLObject sbhl_tv_links_object_p(SubLObject object)
Accessor: @return booleanp; whether OBJECT is a @see dictionary-p


get_sbhl_link_nodes

public static final SubLObject get_sbhl_link_nodes(SubLObject tv_links,
                                                   SubLObject truth)
Accessor: @return listp; within the value at TRUTH in TV-LINKS


member_of_tv_linksP

public static final SubLObject member_of_tv_linksP(SubLObject node,
                                                   SubLObject truth,
                                                   SubLObject tv_links)
Accessor: @return booleanp; whether NODE is a member of TV-LINKS corresponding to TRUTH. @see get-sbhl-link-nodes. @see member?


push_onto_sbhl_tv_links

public static final SubLObject push_onto_sbhl_tv_links(SubLObject tv_links,
                                                       SubLObject truth,
                                                       SubLObject node)
Modifier: pushes NODE onto head of value at TRUTH in TV-LINKS. @return sbhl-tv-links-p


remove_sbhl_tv_link_node

public static final SubLObject remove_sbhl_tv_link_node(SubLObject tv_links,
                                                        SubLObject truth,
                                                        SubLObject node)
Modifier: removes NODE from the links corresponding to TRUTH within TV-LINKS. @return sbhl-tv-links-p


remove_sbhl_tv_link

public static final SubLObject remove_sbhl_tv_link(SubLObject tv_links,
                                                   SubLObject truth)
Modifier: removes data corresponding to TRUTH within TV-LINKS.


declare_sbhl_links_file

public static final SubLObject declare_sbhl_links_file()

init_sbhl_links_file

public static final SubLObject init_sbhl_links_file()

setup_sbhl_links_file

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