com.cyc.cycjava.cycl.sbhl
Class sbhl_macros

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_macros
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class sbhl_macros
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLObject $const92$isa
           
static SubLSymbol $kw115$ALLOW_OTHER_KEYS
           
static SubLSymbol $kw116$DONE
           
static SubLSymbol $kw148$MODULE
           
static SubLSymbol $kw179$BREADTH
           
static SubLSymbol $kw209$DEPTH
           
static SubLSymbol $kw252$MT
           
static SubLList $list0
           
static SubLList $list100
           
static SubLList $list106
           
static SubLList $list108
           
static SubLList $list113
           
static SubLList $list114
           
static SubLList $list119
           
static SubLList $list12
           
static SubLList $list121
           
static SubLList $list123
           
static SubLList $list125
           
static SubLList $list13
           
static SubLList $list131
           
static SubLList $list133
           
static SubLList $list135
           
static SubLList $list136
           
static SubLList $list137
           
static SubLList $list139
           
static SubLList $list141
           
static SubLList $list145
           
static SubLList $list146
           
static SubLList $list149
           
static SubLList $list156
           
static SubLList $list158
           
static SubLList $list16
           
static SubLList $list163
           
static SubLList $list164
           
static SubLList $list165
           
static SubLList $list166
           
static SubLList $list170
           
static SubLList $list171
           
static SubLList $list177
           
static SubLList $list178
           
static SubLList $list185
           
static SubLList $list186
           
static SubLList $list20
           
static SubLList $list200
           
static SubLList $list204
           
static SubLList $list206
           
static SubLList $list207
           
static SubLList $list208
           
static SubLList $list216
           
static SubLList $list217
           
static SubLList $list218
           
static SubLList $list223
           
static SubLList $list225
           
static SubLList $list232
           
static SubLList $list245
           
static SubLList $list247
           
static SubLList $list248
           
static SubLList $list250
           
static SubLList $list251
           
static SubLList $list258
           
static SubLList $list260
           
static SubLList $list261
           
static SubLList $list263
           
static SubLList $list265
           
static SubLList $list269
           
static SubLList $list270
           
static SubLList $list271
           
static SubLList $list275
           
static SubLList $list279
           
static SubLList $list281
           
static SubLList $list282
           
static SubLList $list287
           
static SubLList $list291
           
static SubLList $list293
           
static SubLList $list296
           
static SubLList $list30
           
static SubLList $list303
           
static SubLList $list304
           
static SubLList $list305
           
static SubLList $list306
           
static SubLList $list309
           
static SubLList $list312
           
static SubLList $list313
           
static SubLList $list314
           
static SubLList $list318
           
static SubLList $list320
           
static SubLList $list321
           
static SubLList $list324
           
static SubLList $list326
           
static SubLList $list327
           
static SubLList $list331
           
static SubLList $list332
           
static SubLList $list333
           
static SubLList $list334
           
static SubLList $list335
           
static SubLList $list336
           
static SubLList $list338
           
static SubLList $list339
           
static SubLList $list341
           
static SubLList $list343
           
static SubLList $list344
           
static SubLList $list347
           
static SubLList $list349
           
static SubLList $list350
           
static SubLList $list351
           
static SubLList $list352
           
static SubLList $list353
           
static SubLList $list354
           
static SubLList $list355
           
static SubLList $list356
           
static SubLList $list357
           
static SubLList $list359
           
static SubLList $list367
           
static SubLList $list368
           
static SubLList $list369
           
static SubLList $list370
           
static SubLList $list371
           
static SubLList $list372
           
static SubLList $list373
           
static SubLList $list374
           
static SubLList $list375
           
static SubLList $list376
           
static SubLList $list38
           
static SubLList $list41
           
static SubLList $list44
           
static SubLList $list55
           
static SubLList $list57
           
static SubLList $list58
           
static SubLList $list6
           
static SubLList $list68
           
static SubLList $list79
           
static SubLList $list8
           
static SubLList $list84
           
static SubLList $list94
           
static SubLString $str144$Node__a_does_not_pass_sbhl_type_t
           
static SubLString $str290$Iterator___see_do_all_simple_back
           
static SubLString $str295$Like__xref_do_all_instances_excep
           
static SubLSymbol $sym1$LINK_NODES
           
static SubLSymbol $sym10$GET_SBHL_TV_LINKS
           
static SubLSymbol $sym101$POSSIBLY_WITH_SBHL_MT_RELEVANCE
           
static SubLSymbol $sym102$POSSIBLY_WITH_SBHL_TV
           
static SubLSymbol $sym103$WITH_RELEVANT_SBHL_LINK_NODES
           
static SubLSymbol $sym104$DO_WITH_RELEVANT_SBHL_MODULES
           
static SubLSymbol $sym105$POSSIBLY_FLIP_GENL_INVERSE_MODE
           
static SubLSymbol $sym107$WITH_RELEVANT_SBHL_LINK_NODES_AND_NON_FORTS
           
static SubLSymbol $sym109$LINK_NODES
           
static SubLSymbol $sym11$DO_SBHL_TV_LINKS
           
static SubLSymbol $sym110$WITH_ACCESSIBLE_SBHL_LINK_NODES
           
static SubLSymbol $sym111$LINK_NODES
           
static SubLSymbol $sym112$WITH_ACCESSIBLE_SBHL_LINK_NODES_AND_NON_FORTS
           
static SubLSymbol $sym117$DO_SBHL_ITERATOR
           
static SubLSymbol $sym118$NEW_SBHL_LINK_NODE_SEARCH_STATE_ITERATOR
           
static SubLSymbol $sym120$LINK_NODES
           
static SubLSymbol $sym122$DO_RELEVANT_SBHL_LINK_NODES
           
static SubLSymbol $sym124$SMART_CSOME
           
static SubLSymbol $sym126$MODULE
           
static SubLSymbol $sym127$DO_SBHL_MODULES
           
static SubLSymbol $sym128$PUNLESS
           
static SubLSymbol $sym129$SBHL_TIME_MODULE_P
           
static SubLSymbol $sym130$GET_SBHL_LINK_PRED
           
static SubLSymbol $sym132$MODULE
           
static SubLSymbol $sym134$GET_SBHL_MODULE_GRAPH
           
static SubLSymbol $sym138$COR
           
static SubLSymbol $sym14$MT_LINKS
           
static SubLSymbol $sym140$APPLY_SBHL_MODULE_TYPE_TEST
           
static SubLSymbol $sym142$PROGN
           
static SubLSymbol $sym143$SBHL_WARN
           
static SubLSymbol $sym147$DO_SBHL_GRAPH_LINKS
           
static SubLSymbol $sym15$GET_SBHL_MT_LINKS
           
static SubLSymbol $sym150$MODULE_VAR
           
static SubLSymbol $sym151$ACCESSIBLE_MODULES
           
static SubLSymbol $sym152$GET_SBHL_ACCESSIBLE_MODULES
           
static SubLSymbol $sym153$WITH_SBHL_MODULE
           
static SubLSymbol $sym154$SBHL_MODULE_P
           
static SubLSymbol $sym155$GET_SBHL_MODULE
           
static SubLSymbol $sym157$GET_RELEVANT_SBHL_DIRECTIONS
           
static SubLSymbol $sym159$PREMARKING_
           
static SubLSymbol $sym160$GOAL_FN
           
static SubLSymbol $sym161$GOAL_NODE
           
static SubLSymbol $sym162$GOAL_SPACE
           
static SubLSymbol $sym167$POSSIBLY_PREMARK_WITH_GENL_INVERSE_MODE
           
static SubLSymbol $sym168$SBHL_PREMARK_GATHER_NODES
           
static SubLSymbol $sym169$CSETQ
           
static SubLSymbol $sym17$D_LINK
           
static SubLSymbol $sym172$RESET_SBHL_SEARCH_PARENT_MARKING
           
static SubLSymbol $sym173$WITH_NEW_SBHL_PREDICATE_MODE_SCOPE
           
static SubLSymbol $sym174$WITH_SBHL_CONSIDER_NODE_FN
           
static SubLSymbol $sym175$WITH_SBHL_GOAL_NODE
           
static SubLSymbol $sym176$WITH_SBHL_GOAL_SPACE
           
static SubLSymbol $sym18$GET_SBHL_GRAPH_LINK
           
static SubLSymbol $sym180$NODE_VAR
           
static SubLSymbol $sym181$DECK_TYPE
           
static SubLSymbol $sym182$RECUR_DECK
           
static SubLSymbol $sym183$NODE_VARS_LINK_NODE
           
static SubLSymbol $sym184$FIF
           
static SubLSymbol $sym187$CREATE_DECK
           
static SubLSymbol $sym188$WITH_NEW_SBHL_SPACE
           
static SubLSymbol $sym189$POSSIBLY_WITH_SBHL_TRUE_TV
           
static SubLSymbol $sym19$DO_RELEVANT_SBHL_DIRECTIONS
           
static SubLSymbol $sym190$WITH_SBHL_SEARCH_MODULE
           
static SubLSymbol $sym191$WITH_SBHL_TYPE_TEST
           
static SubLSymbol $sym192$WITH_SBHL_SEARCH_DIRECTION
           
static SubLSymbol $sym193$WITH_SBHL_LINK_DIRECTION
           
static SubLSymbol $sym194$SBHL_SEARCH_DIRECTION_TO_LINK_DIRECTION
           
static SubLSymbol $sym195$SBHL_MARK_NODE_MARKED
           
static SubLSymbol $sym196$WHILE
           
static SubLSymbol $sym197$CAND
           
static SubLSymbol $sym198$CNOT
           
static SubLSymbol $sym199$DO_ACCESSIBLE_SBHL_LINK_NODES
           
static SubLSymbol $sym2$CLET
           
static SubLSymbol $sym201$SBHL_SEARCH_PATH_TERMINATION_P
           
static SubLSymbol $sym202$DECK_PUSH
           
static SubLSymbol $sym203$DECK_POP
           
static SubLSymbol $sym205$DO_ALL_SIMPLE_TRUE_LINKS
           
static SubLSymbol $sym21$DIRECTION
           
static SubLSymbol $sym210$NODE_VAR
           
static SubLSymbol $sym211$NODE_AND_PREDICATE_MODE
           
static SubLSymbol $sym212$PREDICATE_MODE
           
static SubLSymbol $sym213$DECK_TYPE
           
static SubLSymbol $sym214$RECUR_DECK
           
static SubLSymbol $sym215$NODE_VARS_LINK_NODE
           
static SubLSymbol $sym219$FIRST
           
static SubLSymbol $sym22$MT_LINKS
           
static SubLSymbol $sym220$SECOND
           
static SubLSymbol $sym221$WITH_SBHL_PREDICATE_MODE
           
static SubLSymbol $sym222$APPLY_SBHL_ADD_NODE_TEST
           
static SubLSymbol $sym224$DO_ALL_SIMPLE_TRUE_LINKS_FOR_INVERSES
           
static SubLSymbol $sym226$NODE_VAR
           
static SubLSymbol $sym227$NODE_AND_PREDICATE_MODE
           
static SubLSymbol $sym228$PREDICATE_MODE
           
static SubLSymbol $sym229$DECK_TYPE
           
static SubLSymbol $sym23$TV_LINKS
           
static SubLSymbol $sym230$RECUR_DECK
           
static SubLSymbol $sym231$NODE_VARS_LINK_NODE
           
static SubLSymbol $sym233$DO_ALL_MODE_TRUE_LINKS_FOR_INVERSES
           
static SubLSymbol $sym234$NODE_VAR
           
static SubLSymbol $sym235$DECK_TYPE
           
static SubLSymbol $sym236$RECUR_DECK
           
static SubLSymbol $sym237$NODE_VARS_LINK_NODE
           
static SubLSymbol $sym238$WITH_SBHL_FORWARD_SEARCH_DIRECTION
           
static SubLSymbol $sym239$WITH_SBHL_FORWARD_LINK_DIRECTION
           
static SubLSymbol $sym24$POSSIBLY_WITH_SBHL_MODULE
           
static SubLSymbol $sym240$NODE_VAR
           
static SubLSymbol $sym241$TT_NODE_VAR
           
static SubLSymbol $sym242$WITH_NEW_SBHL_GATHER_SPACE
           
static SubLSymbol $sym243$GET_SBHL_TRANSFERS_THROUGH_MODULE
           
static SubLSymbol $sym244$DO_ACCESSIBLE_SBHL_LINK_NODES_AND_NON_FORTS
           
static SubLSymbol $sym246$DO_ALL_SBHL_FORWARD_TRUE_LINK_NODES
           
static SubLSymbol $sym249$DO_RELEVANT_FORWARD_SBHL_LINK_NODES
           
static SubLSymbol $sym25$WITH_SBHL_FORWARD_LINK_DIRECTION_FOR_MODULE
           
static SubLSymbol $sym253$MT_VAR
           
static SubLSymbol $sym254$TV_VAR
           
static SubLSymbol $sym255$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE
           
static SubLSymbol $sym256$DO_TRUE_ISA_LINKS
           
static SubLSymbol $sym257$IGNORE
           
static SubLSymbol $sym259$LINK_NODES
           
static SubLSymbol $sym26$DO_SBHL_GRAPH_LINK
           
static SubLSymbol $sym262$DO_ALL_SBHL_BACKWARD_TRUE_LINK_NODES
           
static SubLSymbol $sym264$DO_RELEVANT_BACKWARD_SBHL_LINK_NODES
           
static SubLSymbol $sym266$MT_VAR
           
static SubLSymbol $sym267$TV_VAR
           
static SubLSymbol $sym268$DO_TRUE_INSTANCE_LINKS
           
static SubLSymbol $sym27$SBHL_FORWARD_DIRECTION_FOR_MODULE_P
           
static SubLSymbol $sym272$MT_VAR
           
static SubLSymbol $sym273$TV_VAR
           
static SubLSymbol $sym274$DO_TRUE_QUOTED_ISA_LINKS
           
static SubLSymbol $sym276$MT_VAR
           
static SubLSymbol $sym277$TV_VAR
           
static SubLSymbol $sym278$DO_TRUE_QUOTED_INSTANCE_LINKS
           
static SubLSymbol $sym28$DO_SBHL_MT_LINKS
           
static SubLSymbol $sym280$DO_ALL_FORWARD_TRUE_LINKS_FOR_TT
           
static SubLSymbol $sym283$ISAS
           
static SubLSymbol $sym284$WITH_MT
           
static SubLSymbol $sym285$SORT_BY_GENERALITY_ESTIMATE
           
static SubLSymbol $sym286$ALL_ISA
           
static SubLSymbol $sym288$DO_ALL_BACKWARD_TRUE_LINKS_FOR_TT
           
static SubLSymbol $sym289$DO_ALL_INSTANCES
           
static SubLSymbol $sym29$ANY_SBHL_TRUE_LINK_NODES_P
           
static SubLSymbol $sym292$DO_ALL_FORT_INSTANCES
           
static SubLSymbol $sym294$FORT_P
           
static SubLSymbol $sym297$TERMS_VAR
           
static SubLSymbol $sym298$ALL_ISA_
           
static SubLSymbol $sym299$REST
           
static SubLSymbol $sym3$GET_SBHL_LINK_NODES
           
static SubLSymbol $sym300$DO_ALL_QUOTED_INSTANCES
           
static SubLSymbol $sym301$TERMS_VAR
           
static SubLSymbol $sym302$ALL_QUOTED_ISA_
           
static SubLSymbol $sym307$DUMMY
           
static SubLSymbol $sym308$DO_TRUE_GENLS_LINKS
           
static SubLSymbol $sym31$DIRECTION
           
static SubLSymbol $sym310$MT_VAR
           
static SubLSymbol $sym311$TV_VAR
           
static SubLSymbol $sym315$MT_VAR
           
static SubLSymbol $sym316$TV_VAR
           
static SubLSymbol $sym317$DO_TRUE_SPEC_LINKS
           
static SubLSymbol $sym319$DO_ALL_SIMPLE_FORWARD_TRUE_LINKS
           
static SubLSymbol $sym32$MT_LINKS
           
static SubLSymbol $sym322$GENLS
           
static SubLSymbol $sym323$ALL_GENLS
           
static SubLSymbol $sym325$DO_ALL_SIMPLE_BACKWARD_TRUE_LINKS
           
static SubLSymbol $sym328$SPECS
           
static SubLSymbol $sym329$NREVERSE
           
static SubLSymbol $sym33$TV_LINKS
           
static SubLSymbol $sym330$ALL_SPECS
           
static SubLSymbol $sym337$DO_ALL_SIMPLE_FORWARD_TRUE_LINKS_FOR_INVERSES
           
static SubLSymbol $sym34$TV
           
static SubLSymbol $sym340$DO_ALL_MODE_FORWARD_TRUE_LINKS_FOR_INVERSES
           
static SubLSymbol $sym342$DO_ALL_SIMPLE_BACKWARD_TRUE_LINKS_FOR_INVERSES
           
static SubLSymbol $sym345$DO_ALL_MODE_BACKWARD_TRUE_LINKS_FOR_INVERSES
           
static SubLSymbol $sym346$ALL_PROPER_GENL_PREDICATES
           
static SubLSymbol $sym348$ALL_PROPER_GENL_INVERSES
           
static SubLSymbol $sym35$LINK_NODES
           
static SubLSymbol $sym358$DO_ALL_PREDS_AND_INVERSES
           
static SubLSymbol $sym36$SBHL_TRUE_TV_P
           
static SubLSymbol $sym360$MODULE
           
static SubLSymbol $sym361$NODE_VAR
           
static SubLSymbol $sym362$NODE_AND_PREDICATE_MODE
           
static SubLSymbol $sym363$PREDICATE_MODE
           
static SubLSymbol $sym364$DECK_TYPE
           
static SubLSymbol $sym365$RECUR_DECK
           
static SubLSymbol $sym366$NODE_VARS_LINK_NODE
           
static SubLSymbol $sym37$CDOLIST
           
static SubLSymbol $sym39$MT_LINKS
           
static SubLSymbol $sym4$PWHEN
           
static SubLSymbol $sym40$TV_LINKS
           
static SubLSymbol $sym42$LINK_NODES_VAR
           
static SubLSymbol $sym43$DO_ALL_SBHL_TV_LINKS
           
static SubLSymbol $sym45$LINK_NODES_VAR
           
static SubLSymbol $sym46$DIRECTION
           
static SubLSymbol $sym47$MT_LINKS
           
static SubLSymbol $sym48$TV_LINKS
           
static SubLSymbol $sym49$GET_SBHL_MODULE_FORWARD_DIRECTION
           
static SubLSymbol $sym5$SBHL_CSOME
           
static SubLSymbol $sym50$LINK_NODES_VAR
           
static SubLSymbol $sym51$DIRECTION
           
static SubLSymbol $sym52$MT_LINKS
           
static SubLSymbol $sym53$TV_LINKS
           
static SubLSymbol $sym54$GET_SBHL_MODULE_BACKWARD_DIRECTION
           
static SubLSymbol $sym56$PIF
           
static SubLSymbol $sym59$NODE
           
static SubLSymbol $sym60$NAUT_TO_NART
           
static SubLSymbol $sym61$PCOND
           
static SubLSymbol $sym62$SBHL_NODE_OBJECT_P
           
static SubLSymbol $sym63$WITH_RELEVANT_SBHL_FORT_LINK_NODES
           
static SubLSymbol $sym64$CNAT_P
           
static SubLSymbol $sym65$DO_RELEVANT_SBHL_NAUT_GENERATED_LINKS
           
static SubLSymbol $sym66$NODE
           
static SubLSymbol $sym67$WITH_SBHL_NON_FORT_LINKS
           
static SubLSymbol $sym69$D_LINK
           
static SubLSymbol $sym7$DO_DICTIONARY
           
static SubLSymbol $sym70$MT
           
static SubLSymbol $sym71$TV_LINKS
           
static SubLSymbol $sym72$TV
           
static SubLSymbol $sym73$WITH_SBHL_GRAPH_LINK
           
static SubLSymbol $sym74$DO_SBHL_DIRECTION_LINK
           
static SubLSymbol $sym75$RELEVANT_MT_
           
static SubLSymbol $sym76$_SBHL_LINK_MT_
           
static SubLSymbol $sym77$RELEVANT_SBHL_TV_
           
static SubLSymbol $sym78$_SBHL_LINK_TV_
           
static SubLSymbol $sym80$INSTANCE_TUPLE
           
static SubLSymbol $sym81$CSOME
           
static SubLSymbol $sym82$NON_FORT_INSTANCE_TABLE_LOOKUP
           
static SubLSymbol $sym83$CDESTRUCTURING_BIND
           
static SubLSymbol $sym85$LINK_NODE
           
static SubLSymbol $sym86$MT
           
static SubLSymbol $sym87$TV
           
static SubLSymbol $sym88$DO_SBHL_NON_FORT_LINKS_
           
static SubLSymbol $sym89$DO_NON_FORT_DIRECT_INSTANCE_LINKS
           
static SubLSymbol $sym9$TV_LINKS
           
static SubLSymbol $sym90$LIST
           
static SubLSymbol $sym91$DO_SBHL_NON_FORT_LINKS
           
static SubLSymbol $sym93$ADMISSIBLE_NON_FORT_LINK_NODE_
           
static SubLSymbol $sym95$GENERATING_FN
           
static SubLSymbol $sym96$GET_SBHL_MODULE_RELEVANT_NAUT_LINK_GENERATORS
           
static SubLSymbol $sym97$_SBHL_TV_
           
static SubLSymbol $sym98$_SBHL_LINK_GENERATOR_
           
static SubLSymbol $sym99$FUNCALL
           
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 collection_supports_non_fort_instancesP(SubLObject col)
           
static SubLObject declare_sbhl_macros_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject do_sbhl_non_fort_linksP(SubLObject node, SubLObject module)
           
static SubLObject get_sbhl_accessible_modules(SubLObject module)
          Accessor: @return listp; the list of sbhl modules allowed by MODULE for following links.
static SubLObject init_sbhl_macros_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_sbhl_macros_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

$list0

public static final SubLList $list0

$sym1$LINK_NODES

public static final SubLSymbol $sym1$LINK_NODES

$sym2$CLET

public static final SubLSymbol $sym2$CLET

$sym3$GET_SBHL_LINK_NODES

public static final SubLSymbol $sym3$GET_SBHL_LINK_NODES

$sym4$PWHEN

public static final SubLSymbol $sym4$PWHEN

$sym5$SBHL_CSOME

public static final SubLSymbol $sym5$SBHL_CSOME

$list6

public static final SubLList $list6

$sym7$DO_DICTIONARY

public static final SubLSymbol $sym7$DO_DICTIONARY

$list8

public static final SubLList $list8

$sym9$TV_LINKS

public static final SubLSymbol $sym9$TV_LINKS

$sym10$GET_SBHL_TV_LINKS

public static final SubLSymbol $sym10$GET_SBHL_TV_LINKS

$sym11$DO_SBHL_TV_LINKS

public static final SubLSymbol $sym11$DO_SBHL_TV_LINKS

$list12

public static final SubLList $list12

$list13

public static final SubLList $list13

$sym14$MT_LINKS

public static final SubLSymbol $sym14$MT_LINKS

$sym15$GET_SBHL_MT_LINKS

public static final SubLSymbol $sym15$GET_SBHL_MT_LINKS

$list16

public static final SubLList $list16

$sym17$D_LINK

public static final SubLSymbol $sym17$D_LINK

$sym18$GET_SBHL_GRAPH_LINK

public static final SubLSymbol $sym18$GET_SBHL_GRAPH_LINK

$sym19$DO_RELEVANT_SBHL_DIRECTIONS

public static final SubLSymbol $sym19$DO_RELEVANT_SBHL_DIRECTIONS

$list20

public static final SubLList $list20

$sym21$DIRECTION

public static final SubLSymbol $sym21$DIRECTION

$sym22$MT_LINKS

public static final SubLSymbol $sym22$MT_LINKS

$sym23$TV_LINKS

public static final SubLSymbol $sym23$TV_LINKS

$sym24$POSSIBLY_WITH_SBHL_MODULE

public static final SubLSymbol $sym24$POSSIBLY_WITH_SBHL_MODULE

$sym25$WITH_SBHL_FORWARD_LINK_DIRECTION_FOR_MODULE

public static final SubLSymbol $sym25$WITH_SBHL_FORWARD_LINK_DIRECTION_FOR_MODULE

$sym26$DO_SBHL_GRAPH_LINK

public static final SubLSymbol $sym26$DO_SBHL_GRAPH_LINK

$sym27$SBHL_FORWARD_DIRECTION_FOR_MODULE_P

public static final SubLSymbol $sym27$SBHL_FORWARD_DIRECTION_FOR_MODULE_P

$sym28$DO_SBHL_MT_LINKS

public static final SubLSymbol $sym28$DO_SBHL_MT_LINKS

$sym29$ANY_SBHL_TRUE_LINK_NODES_P

public static final SubLSymbol $sym29$ANY_SBHL_TRUE_LINK_NODES_P

$list30

public static final SubLList $list30

$sym31$DIRECTION

public static final SubLSymbol $sym31$DIRECTION

$sym32$MT_LINKS

public static final SubLSymbol $sym32$MT_LINKS

$sym33$TV_LINKS

public static final SubLSymbol $sym33$TV_LINKS

$sym34$TV

public static final SubLSymbol $sym34$TV

$sym35$LINK_NODES

public static final SubLSymbol $sym35$LINK_NODES

$sym36$SBHL_TRUE_TV_P

public static final SubLSymbol $sym36$SBHL_TRUE_TV_P

$sym37$CDOLIST

public static final SubLSymbol $sym37$CDOLIST

$list38

public static final SubLList $list38

$sym39$MT_LINKS

public static final SubLSymbol $sym39$MT_LINKS

$sym40$TV_LINKS

public static final SubLSymbol $sym40$TV_LINKS

$list41

public static final SubLList $list41

$sym42$LINK_NODES_VAR

public static final SubLSymbol $sym42$LINK_NODES_VAR

$sym43$DO_ALL_SBHL_TV_LINKS

public static final SubLSymbol $sym43$DO_ALL_SBHL_TV_LINKS

$list44

public static final SubLList $list44

$sym45$LINK_NODES_VAR

public static final SubLSymbol $sym45$LINK_NODES_VAR

$sym46$DIRECTION

public static final SubLSymbol $sym46$DIRECTION

$sym47$MT_LINKS

public static final SubLSymbol $sym47$MT_LINKS

$sym48$TV_LINKS

public static final SubLSymbol $sym48$TV_LINKS

$sym49$GET_SBHL_MODULE_FORWARD_DIRECTION

public static final SubLSymbol $sym49$GET_SBHL_MODULE_FORWARD_DIRECTION

$sym50$LINK_NODES_VAR

public static final SubLSymbol $sym50$LINK_NODES_VAR

$sym51$DIRECTION

public static final SubLSymbol $sym51$DIRECTION

$sym52$MT_LINKS

public static final SubLSymbol $sym52$MT_LINKS

$sym53$TV_LINKS

public static final SubLSymbol $sym53$TV_LINKS

$sym54$GET_SBHL_MODULE_BACKWARD_DIRECTION

public static final SubLSymbol $sym54$GET_SBHL_MODULE_BACKWARD_DIRECTION

$list55

public static final SubLList $list55

$sym56$PIF

public static final SubLSymbol $sym56$PIF

$list57

public static final SubLList $list57

$list58

public static final SubLList $list58

$sym59$NODE

public static final SubLSymbol $sym59$NODE

$sym60$NAUT_TO_NART

public static final SubLSymbol $sym60$NAUT_TO_NART

$sym61$PCOND

public static final SubLSymbol $sym61$PCOND

$sym62$SBHL_NODE_OBJECT_P

public static final SubLSymbol $sym62$SBHL_NODE_OBJECT_P

$sym63$WITH_RELEVANT_SBHL_FORT_LINK_NODES

public static final SubLSymbol $sym63$WITH_RELEVANT_SBHL_FORT_LINK_NODES

$sym64$CNAT_P

public static final SubLSymbol $sym64$CNAT_P

$sym65$DO_RELEVANT_SBHL_NAUT_GENERATED_LINKS

public static final SubLSymbol $sym65$DO_RELEVANT_SBHL_NAUT_GENERATED_LINKS

$sym66$NODE

public static final SubLSymbol $sym66$NODE

$sym67$WITH_SBHL_NON_FORT_LINKS

public static final SubLSymbol $sym67$WITH_SBHL_NON_FORT_LINKS

$list68

public static final SubLList $list68

$sym69$D_LINK

public static final SubLSymbol $sym69$D_LINK

$sym70$MT

public static final SubLSymbol $sym70$MT

$sym71$TV_LINKS

public static final SubLSymbol $sym71$TV_LINKS

$sym72$TV

public static final SubLSymbol $sym72$TV

$sym73$WITH_SBHL_GRAPH_LINK

public static final SubLSymbol $sym73$WITH_SBHL_GRAPH_LINK

$sym74$DO_SBHL_DIRECTION_LINK

public static final SubLSymbol $sym74$DO_SBHL_DIRECTION_LINK

$sym75$RELEVANT_MT_

public static final SubLSymbol $sym75$RELEVANT_MT_

$sym76$_SBHL_LINK_MT_

public static final SubLSymbol $sym76$_SBHL_LINK_MT_

$sym77$RELEVANT_SBHL_TV_

public static final SubLSymbol $sym77$RELEVANT_SBHL_TV_

$sym78$_SBHL_LINK_TV_

public static final SubLSymbol $sym78$_SBHL_LINK_TV_

$list79

public static final SubLList $list79

$sym80$INSTANCE_TUPLE

public static final SubLSymbol $sym80$INSTANCE_TUPLE

$sym81$CSOME

public static final SubLSymbol $sym81$CSOME

$sym82$NON_FORT_INSTANCE_TABLE_LOOKUP

public static final SubLSymbol $sym82$NON_FORT_INSTANCE_TABLE_LOOKUP

$sym83$CDESTRUCTURING_BIND

public static final SubLSymbol $sym83$CDESTRUCTURING_BIND

$list84

public static final SubLList $list84

$sym85$LINK_NODE

public static final SubLSymbol $sym85$LINK_NODE

$sym86$MT

public static final SubLSymbol $sym86$MT

$sym87$TV

public static final SubLSymbol $sym87$TV

$sym88$DO_SBHL_NON_FORT_LINKS_

public static final SubLSymbol $sym88$DO_SBHL_NON_FORT_LINKS_

$sym89$DO_NON_FORT_DIRECT_INSTANCE_LINKS

public static final SubLSymbol $sym89$DO_NON_FORT_DIRECT_INSTANCE_LINKS

$sym90$LIST

public static final SubLSymbol $sym90$LIST

$sym91$DO_SBHL_NON_FORT_LINKS

public static final SubLSymbol $sym91$DO_SBHL_NON_FORT_LINKS

$const92$isa

public static final SubLObject $const92$isa

$sym93$ADMISSIBLE_NON_FORT_LINK_NODE_

public static final SubLSymbol $sym93$ADMISSIBLE_NON_FORT_LINK_NODE_

$list94

public static final SubLList $list94

$sym95$GENERATING_FN

public static final SubLSymbol $sym95$GENERATING_FN

$sym96$GET_SBHL_MODULE_RELEVANT_NAUT_LINK_GENERATORS

public static final SubLSymbol $sym96$GET_SBHL_MODULE_RELEVANT_NAUT_LINK_GENERATORS

$sym97$_SBHL_TV_

public static final SubLSymbol $sym97$_SBHL_TV_

$sym98$_SBHL_LINK_GENERATOR_

public static final SubLSymbol $sym98$_SBHL_LINK_GENERATOR_

$sym99$FUNCALL

public static final SubLSymbol $sym99$FUNCALL

$list100

public static final SubLList $list100

$sym101$POSSIBLY_WITH_SBHL_MT_RELEVANCE

public static final SubLSymbol $sym101$POSSIBLY_WITH_SBHL_MT_RELEVANCE

$sym102$POSSIBLY_WITH_SBHL_TV

public static final SubLSymbol $sym102$POSSIBLY_WITH_SBHL_TV

$sym103$WITH_RELEVANT_SBHL_LINK_NODES

public static final SubLSymbol $sym103$WITH_RELEVANT_SBHL_LINK_NODES

$sym104$DO_WITH_RELEVANT_SBHL_MODULES

public static final SubLSymbol $sym104$DO_WITH_RELEVANT_SBHL_MODULES

$sym105$POSSIBLY_FLIP_GENL_INVERSE_MODE

public static final SubLSymbol $sym105$POSSIBLY_FLIP_GENL_INVERSE_MODE

$list106

public static final SubLList $list106

$sym107$WITH_RELEVANT_SBHL_LINK_NODES_AND_NON_FORTS

public static final SubLSymbol $sym107$WITH_RELEVANT_SBHL_LINK_NODES_AND_NON_FORTS

$list108

public static final SubLList $list108

$sym109$LINK_NODES

public static final SubLSymbol $sym109$LINK_NODES

$sym110$WITH_ACCESSIBLE_SBHL_LINK_NODES

public static final SubLSymbol $sym110$WITH_ACCESSIBLE_SBHL_LINK_NODES

$sym111$LINK_NODES

public static final SubLSymbol $sym111$LINK_NODES

$sym112$WITH_ACCESSIBLE_SBHL_LINK_NODES_AND_NON_FORTS

public static final SubLSymbol $sym112$WITH_ACCESSIBLE_SBHL_LINK_NODES_AND_NON_FORTS

$list113

public static final SubLList $list113

$list114

public static final SubLList $list114

$kw115$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw115$ALLOW_OTHER_KEYS

$kw116$DONE

public static final SubLSymbol $kw116$DONE

$sym117$DO_SBHL_ITERATOR

public static final SubLSymbol $sym117$DO_SBHL_ITERATOR

$sym118$NEW_SBHL_LINK_NODE_SEARCH_STATE_ITERATOR

public static final SubLSymbol $sym118$NEW_SBHL_LINK_NODE_SEARCH_STATE_ITERATOR

$list119

public static final SubLList $list119

$sym120$LINK_NODES

public static final SubLSymbol $sym120$LINK_NODES

$list121

public static final SubLList $list121

$sym122$DO_RELEVANT_SBHL_LINK_NODES

public static final SubLSymbol $sym122$DO_RELEVANT_SBHL_LINK_NODES

$list123

public static final SubLList $list123

$sym124$SMART_CSOME

public static final SubLSymbol $sym124$SMART_CSOME

$list125

public static final SubLList $list125

$sym126$MODULE

public static final SubLSymbol $sym126$MODULE

$sym127$DO_SBHL_MODULES

public static final SubLSymbol $sym127$DO_SBHL_MODULES

$sym128$PUNLESS

public static final SubLSymbol $sym128$PUNLESS

$sym129$SBHL_TIME_MODULE_P

public static final SubLSymbol $sym129$SBHL_TIME_MODULE_P

$sym130$GET_SBHL_LINK_PRED

public static final SubLSymbol $sym130$GET_SBHL_LINK_PRED

$list131

public static final SubLList $list131

$sym132$MODULE

public static final SubLSymbol $sym132$MODULE

$list133

public static final SubLList $list133

$sym134$GET_SBHL_MODULE_GRAPH

public static final SubLSymbol $sym134$GET_SBHL_MODULE_GRAPH

$list135

public static final SubLList $list135

$list136

public static final SubLList $list136

$list137

public static final SubLList $list137

$sym138$COR

public static final SubLSymbol $sym138$COR

$list139

public static final SubLList $list139

$sym140$APPLY_SBHL_MODULE_TYPE_TEST

public static final SubLSymbol $sym140$APPLY_SBHL_MODULE_TYPE_TEST

$list141

public static final SubLList $list141

$sym142$PROGN

public static final SubLSymbol $sym142$PROGN

$sym143$SBHL_WARN

public static final SubLSymbol $sym143$SBHL_WARN

$str144$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str144$Node__a_does_not_pass_sbhl_type_t

$list145

public static final SubLList $list145

$list146

public static final SubLList $list146

$sym147$DO_SBHL_GRAPH_LINKS

public static final SubLSymbol $sym147$DO_SBHL_GRAPH_LINKS

$kw148$MODULE

public static final SubLSymbol $kw148$MODULE

$list149

public static final SubLList $list149

$sym150$MODULE_VAR

public static final SubLSymbol $sym150$MODULE_VAR

$sym151$ACCESSIBLE_MODULES

public static final SubLSymbol $sym151$ACCESSIBLE_MODULES

$sym152$GET_SBHL_ACCESSIBLE_MODULES

public static final SubLSymbol $sym152$GET_SBHL_ACCESSIBLE_MODULES

$sym153$WITH_SBHL_MODULE

public static final SubLSymbol $sym153$WITH_SBHL_MODULE

$sym154$SBHL_MODULE_P

public static final SubLSymbol $sym154$SBHL_MODULE_P

$sym155$GET_SBHL_MODULE

public static final SubLSymbol $sym155$GET_SBHL_MODULE

$list156

public static final SubLList $list156

$sym157$GET_RELEVANT_SBHL_DIRECTIONS

public static final SubLSymbol $sym157$GET_RELEVANT_SBHL_DIRECTIONS

$list158

public static final SubLList $list158

$sym159$PREMARKING_

public static final SubLSymbol $sym159$PREMARKING_

$sym160$GOAL_FN

public static final SubLSymbol $sym160$GOAL_FN

$sym161$GOAL_NODE

public static final SubLSymbol $sym161$GOAL_NODE

$sym162$GOAL_SPACE

public static final SubLSymbol $sym162$GOAL_SPACE

$list163

public static final SubLList $list163

$list164

public static final SubLList $list164

$list165

public static final SubLList $list165

$list166

public static final SubLList $list166

$sym167$POSSIBLY_PREMARK_WITH_GENL_INVERSE_MODE

public static final SubLSymbol $sym167$POSSIBLY_PREMARK_WITH_GENL_INVERSE_MODE

$sym168$SBHL_PREMARK_GATHER_NODES

public static final SubLSymbol $sym168$SBHL_PREMARK_GATHER_NODES

$sym169$CSETQ

public static final SubLSymbol $sym169$CSETQ

$list170

public static final SubLList $list170

$list171

public static final SubLList $list171

$sym172$RESET_SBHL_SEARCH_PARENT_MARKING

public static final SubLSymbol $sym172$RESET_SBHL_SEARCH_PARENT_MARKING

$sym173$WITH_NEW_SBHL_PREDICATE_MODE_SCOPE

public static final SubLSymbol $sym173$WITH_NEW_SBHL_PREDICATE_MODE_SCOPE

$sym174$WITH_SBHL_CONSIDER_NODE_FN

public static final SubLSymbol $sym174$WITH_SBHL_CONSIDER_NODE_FN

$sym175$WITH_SBHL_GOAL_NODE

public static final SubLSymbol $sym175$WITH_SBHL_GOAL_NODE

$sym176$WITH_SBHL_GOAL_SPACE

public static final SubLSymbol $sym176$WITH_SBHL_GOAL_SPACE

$list177

public static final SubLList $list177

$list178

public static final SubLList $list178

$kw179$BREADTH

public static final SubLSymbol $kw179$BREADTH

$sym180$NODE_VAR

public static final SubLSymbol $sym180$NODE_VAR

$sym181$DECK_TYPE

public static final SubLSymbol $sym181$DECK_TYPE

$sym182$RECUR_DECK

public static final SubLSymbol $sym182$RECUR_DECK

$sym183$NODE_VARS_LINK_NODE

public static final SubLSymbol $sym183$NODE_VARS_LINK_NODE

$sym184$FIF

public static final SubLSymbol $sym184$FIF

$list185

public static final SubLList $list185

$list186

public static final SubLList $list186

$sym187$CREATE_DECK

public static final SubLSymbol $sym187$CREATE_DECK

$sym188$WITH_NEW_SBHL_SPACE

public static final SubLSymbol $sym188$WITH_NEW_SBHL_SPACE

$sym189$POSSIBLY_WITH_SBHL_TRUE_TV

public static final SubLSymbol $sym189$POSSIBLY_WITH_SBHL_TRUE_TV

$sym190$WITH_SBHL_SEARCH_MODULE

public static final SubLSymbol $sym190$WITH_SBHL_SEARCH_MODULE

$sym191$WITH_SBHL_TYPE_TEST

public static final SubLSymbol $sym191$WITH_SBHL_TYPE_TEST

$sym192$WITH_SBHL_SEARCH_DIRECTION

public static final SubLSymbol $sym192$WITH_SBHL_SEARCH_DIRECTION

$sym193$WITH_SBHL_LINK_DIRECTION

public static final SubLSymbol $sym193$WITH_SBHL_LINK_DIRECTION

$sym194$SBHL_SEARCH_DIRECTION_TO_LINK_DIRECTION

public static final SubLSymbol $sym194$SBHL_SEARCH_DIRECTION_TO_LINK_DIRECTION

$sym195$SBHL_MARK_NODE_MARKED

public static final SubLSymbol $sym195$SBHL_MARK_NODE_MARKED

$sym196$WHILE

public static final SubLSymbol $sym196$WHILE

$sym197$CAND

public static final SubLSymbol $sym197$CAND

$sym198$CNOT

public static final SubLSymbol $sym198$CNOT

$sym199$DO_ACCESSIBLE_SBHL_LINK_NODES

public static final SubLSymbol $sym199$DO_ACCESSIBLE_SBHL_LINK_NODES

$list200

public static final SubLList $list200

$sym201$SBHL_SEARCH_PATH_TERMINATION_P

public static final SubLSymbol $sym201$SBHL_SEARCH_PATH_TERMINATION_P

$sym202$DECK_PUSH

public static final SubLSymbol $sym202$DECK_PUSH

$sym203$DECK_POP

public static final SubLSymbol $sym203$DECK_POP

$list204

public static final SubLList $list204

$sym205$DO_ALL_SIMPLE_TRUE_LINKS

public static final SubLSymbol $sym205$DO_ALL_SIMPLE_TRUE_LINKS

$list206

public static final SubLList $list206

$list207

public static final SubLList $list207

$list208

public static final SubLList $list208

$kw209$DEPTH

public static final SubLSymbol $kw209$DEPTH

$sym210$NODE_VAR

public static final SubLSymbol $sym210$NODE_VAR

$sym211$NODE_AND_PREDICATE_MODE

public static final SubLSymbol $sym211$NODE_AND_PREDICATE_MODE

$sym212$PREDICATE_MODE

public static final SubLSymbol $sym212$PREDICATE_MODE

$sym213$DECK_TYPE

public static final SubLSymbol $sym213$DECK_TYPE

$sym214$RECUR_DECK

public static final SubLSymbol $sym214$RECUR_DECK

$sym215$NODE_VARS_LINK_NODE

public static final SubLSymbol $sym215$NODE_VARS_LINK_NODE

$list216

public static final SubLList $list216

$list217

public static final SubLList $list217

$list218

public static final SubLList $list218

$sym219$FIRST

public static final SubLSymbol $sym219$FIRST

$sym220$SECOND

public static final SubLSymbol $sym220$SECOND

$sym221$WITH_SBHL_PREDICATE_MODE

public static final SubLSymbol $sym221$WITH_SBHL_PREDICATE_MODE

$sym222$APPLY_SBHL_ADD_NODE_TEST

public static final SubLSymbol $sym222$APPLY_SBHL_ADD_NODE_TEST

$list223

public static final SubLList $list223

$sym224$DO_ALL_SIMPLE_TRUE_LINKS_FOR_INVERSES

public static final SubLSymbol $sym224$DO_ALL_SIMPLE_TRUE_LINKS_FOR_INVERSES

$list225

public static final SubLList $list225

$sym226$NODE_VAR

public static final SubLSymbol $sym226$NODE_VAR

$sym227$NODE_AND_PREDICATE_MODE

public static final SubLSymbol $sym227$NODE_AND_PREDICATE_MODE

$sym228$PREDICATE_MODE

public static final SubLSymbol $sym228$PREDICATE_MODE

$sym229$DECK_TYPE

public static final SubLSymbol $sym229$DECK_TYPE

$sym230$RECUR_DECK

public static final SubLSymbol $sym230$RECUR_DECK

$sym231$NODE_VARS_LINK_NODE

public static final SubLSymbol $sym231$NODE_VARS_LINK_NODE

$list232

public static final SubLList $list232

$sym233$DO_ALL_MODE_TRUE_LINKS_FOR_INVERSES

public static final SubLSymbol $sym233$DO_ALL_MODE_TRUE_LINKS_FOR_INVERSES

$sym234$NODE_VAR

public static final SubLSymbol $sym234$NODE_VAR

$sym235$DECK_TYPE

public static final SubLSymbol $sym235$DECK_TYPE

$sym236$RECUR_DECK

public static final SubLSymbol $sym236$RECUR_DECK

$sym237$NODE_VARS_LINK_NODE

public static final SubLSymbol $sym237$NODE_VARS_LINK_NODE

$sym238$WITH_SBHL_FORWARD_SEARCH_DIRECTION

public static final SubLSymbol $sym238$WITH_SBHL_FORWARD_SEARCH_DIRECTION

$sym239$WITH_SBHL_FORWARD_LINK_DIRECTION

public static final SubLSymbol $sym239$WITH_SBHL_FORWARD_LINK_DIRECTION

$sym240$NODE_VAR

public static final SubLSymbol $sym240$NODE_VAR

$sym241$TT_NODE_VAR

public static final SubLSymbol $sym241$TT_NODE_VAR

$sym242$WITH_NEW_SBHL_GATHER_SPACE

public static final SubLSymbol $sym242$WITH_NEW_SBHL_GATHER_SPACE

$sym243$GET_SBHL_TRANSFERS_THROUGH_MODULE

public static final SubLSymbol $sym243$GET_SBHL_TRANSFERS_THROUGH_MODULE

$sym244$DO_ACCESSIBLE_SBHL_LINK_NODES_AND_NON_FORTS

public static final SubLSymbol $sym244$DO_ACCESSIBLE_SBHL_LINK_NODES_AND_NON_FORTS

$list245

public static final SubLList $list245

$sym246$DO_ALL_SBHL_FORWARD_TRUE_LINK_NODES

public static final SubLSymbol $sym246$DO_ALL_SBHL_FORWARD_TRUE_LINK_NODES

$list247

public static final SubLList $list247

$list248

public static final SubLList $list248

$sym249$DO_RELEVANT_FORWARD_SBHL_LINK_NODES

public static final SubLSymbol $sym249$DO_RELEVANT_FORWARD_SBHL_LINK_NODES

$list250

public static final SubLList $list250

$list251

public static final SubLList $list251

$kw252$MT

public static final SubLSymbol $kw252$MT

$sym253$MT_VAR

public static final SubLSymbol $sym253$MT_VAR

$sym254$TV_VAR

public static final SubLSymbol $sym254$TV_VAR

$sym255$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym255$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

$sym256$DO_TRUE_ISA_LINKS

public static final SubLSymbol $sym256$DO_TRUE_ISA_LINKS

$sym257$IGNORE

public static final SubLSymbol $sym257$IGNORE

$list258

public static final SubLList $list258

$sym259$LINK_NODES

public static final SubLSymbol $sym259$LINK_NODES

$list260

public static final SubLList $list260

$list261

public static final SubLList $list261

$sym262$DO_ALL_SBHL_BACKWARD_TRUE_LINK_NODES

public static final SubLSymbol $sym262$DO_ALL_SBHL_BACKWARD_TRUE_LINK_NODES

$list263

public static final SubLList $list263

$sym264$DO_RELEVANT_BACKWARD_SBHL_LINK_NODES

public static final SubLSymbol $sym264$DO_RELEVANT_BACKWARD_SBHL_LINK_NODES

$list265

public static final SubLList $list265

$sym266$MT_VAR

public static final SubLSymbol $sym266$MT_VAR

$sym267$TV_VAR

public static final SubLSymbol $sym267$TV_VAR

$sym268$DO_TRUE_INSTANCE_LINKS

public static final SubLSymbol $sym268$DO_TRUE_INSTANCE_LINKS

$list269

public static final SubLList $list269

$list270

public static final SubLList $list270

$list271

public static final SubLList $list271

$sym272$MT_VAR

public static final SubLSymbol $sym272$MT_VAR

$sym273$TV_VAR

public static final SubLSymbol $sym273$TV_VAR

$sym274$DO_TRUE_QUOTED_ISA_LINKS

public static final SubLSymbol $sym274$DO_TRUE_QUOTED_ISA_LINKS

$list275

public static final SubLList $list275

$sym276$MT_VAR

public static final SubLSymbol $sym276$MT_VAR

$sym277$TV_VAR

public static final SubLSymbol $sym277$TV_VAR

$sym278$DO_TRUE_QUOTED_INSTANCE_LINKS

public static final SubLSymbol $sym278$DO_TRUE_QUOTED_INSTANCE_LINKS

$list279

public static final SubLList $list279

$sym280$DO_ALL_FORWARD_TRUE_LINKS_FOR_TT

public static final SubLSymbol $sym280$DO_ALL_FORWARD_TRUE_LINKS_FOR_TT

$list281

public static final SubLList $list281

$list282

public static final SubLList $list282

$sym283$ISAS

public static final SubLSymbol $sym283$ISAS

$sym284$WITH_MT

public static final SubLSymbol $sym284$WITH_MT

$sym285$SORT_BY_GENERALITY_ESTIMATE

public static final SubLSymbol $sym285$SORT_BY_GENERALITY_ESTIMATE

$sym286$ALL_ISA

public static final SubLSymbol $sym286$ALL_ISA

$list287

public static final SubLList $list287

$sym288$DO_ALL_BACKWARD_TRUE_LINKS_FOR_TT

public static final SubLSymbol $sym288$DO_ALL_BACKWARD_TRUE_LINKS_FOR_TT

$sym289$DO_ALL_INSTANCES

public static final SubLSymbol $sym289$DO_ALL_INSTANCES

$str290$Iterator___see_do_all_simple_back

public static final SubLString $str290$Iterator___see_do_all_simple_back

$list291

public static final SubLList $list291

$sym292$DO_ALL_FORT_INSTANCES

public static final SubLSymbol $sym292$DO_ALL_FORT_INSTANCES

$list293

public static final SubLList $list293

$sym294$FORT_P

public static final SubLSymbol $sym294$FORT_P

$str295$Like__xref_do_all_instances_excep

public static final SubLString $str295$Like__xref_do_all_instances_excep

$list296

public static final SubLList $list296

$sym297$TERMS_VAR

public static final SubLSymbol $sym297$TERMS_VAR

$sym298$ALL_ISA_

public static final SubLSymbol $sym298$ALL_ISA_

$sym299$REST

public static final SubLSymbol $sym299$REST

$sym300$DO_ALL_QUOTED_INSTANCES

public static final SubLSymbol $sym300$DO_ALL_QUOTED_INSTANCES

$sym301$TERMS_VAR

public static final SubLSymbol $sym301$TERMS_VAR

$sym302$ALL_QUOTED_ISA_

public static final SubLSymbol $sym302$ALL_QUOTED_ISA_

$list303

public static final SubLList $list303

$list304

public static final SubLList $list304

$list305

public static final SubLList $list305

$list306

public static final SubLList $list306

$sym307$DUMMY

public static final SubLSymbol $sym307$DUMMY

$sym308$DO_TRUE_GENLS_LINKS

public static final SubLSymbol $sym308$DO_TRUE_GENLS_LINKS

$list309

public static final SubLList $list309

$sym310$MT_VAR

public static final SubLSymbol $sym310$MT_VAR

$sym311$TV_VAR

public static final SubLSymbol $sym311$TV_VAR

$list312

public static final SubLList $list312

$list313

public static final SubLList $list313

$list314

public static final SubLList $list314

$sym315$MT_VAR

public static final SubLSymbol $sym315$MT_VAR

$sym316$TV_VAR

public static final SubLSymbol $sym316$TV_VAR

$sym317$DO_TRUE_SPEC_LINKS

public static final SubLSymbol $sym317$DO_TRUE_SPEC_LINKS

$list318

public static final SubLList $list318

$sym319$DO_ALL_SIMPLE_FORWARD_TRUE_LINKS

public static final SubLSymbol $sym319$DO_ALL_SIMPLE_FORWARD_TRUE_LINKS

$list320

public static final SubLList $list320

$list321

public static final SubLList $list321

$sym322$GENLS

public static final SubLSymbol $sym322$GENLS

$sym323$ALL_GENLS

public static final SubLSymbol $sym323$ALL_GENLS

$list324

public static final SubLList $list324

$sym325$DO_ALL_SIMPLE_BACKWARD_TRUE_LINKS

public static final SubLSymbol $sym325$DO_ALL_SIMPLE_BACKWARD_TRUE_LINKS

$list326

public static final SubLList $list326

$list327

public static final SubLList $list327

$sym328$SPECS

public static final SubLSymbol $sym328$SPECS

$sym329$NREVERSE

public static final SubLSymbol $sym329$NREVERSE

$sym330$ALL_SPECS

public static final SubLSymbol $sym330$ALL_SPECS

$list331

public static final SubLList $list331

$list332

public static final SubLList $list332

$list333

public static final SubLList $list333

$list334

public static final SubLList $list334

$list335

public static final SubLList $list335

$list336

public static final SubLList $list336

$sym337$DO_ALL_SIMPLE_FORWARD_TRUE_LINKS_FOR_INVERSES

public static final SubLSymbol $sym337$DO_ALL_SIMPLE_FORWARD_TRUE_LINKS_FOR_INVERSES

$list338

public static final SubLList $list338

$list339

public static final SubLList $list339

$sym340$DO_ALL_MODE_FORWARD_TRUE_LINKS_FOR_INVERSES

public static final SubLSymbol $sym340$DO_ALL_MODE_FORWARD_TRUE_LINKS_FOR_INVERSES

$list341

public static final SubLList $list341

$sym342$DO_ALL_SIMPLE_BACKWARD_TRUE_LINKS_FOR_INVERSES

public static final SubLSymbol $sym342$DO_ALL_SIMPLE_BACKWARD_TRUE_LINKS_FOR_INVERSES

$list343

public static final SubLList $list343

$list344

public static final SubLList $list344

$sym345$DO_ALL_MODE_BACKWARD_TRUE_LINKS_FOR_INVERSES

public static final SubLSymbol $sym345$DO_ALL_MODE_BACKWARD_TRUE_LINKS_FOR_INVERSES

$sym346$ALL_PROPER_GENL_PREDICATES

public static final SubLSymbol $sym346$ALL_PROPER_GENL_PREDICATES

$list347

public static final SubLList $list347

$sym348$ALL_PROPER_GENL_INVERSES

public static final SubLSymbol $sym348$ALL_PROPER_GENL_INVERSES

$list349

public static final SubLList $list349

$list350

public static final SubLList $list350

$list351

public static final SubLList $list351

$list352

public static final SubLList $list352

$list353

public static final SubLList $list353

$list354

public static final SubLList $list354

$list355

public static final SubLList $list355

$list356

public static final SubLList $list356

$list357

public static final SubLList $list357

$sym358$DO_ALL_PREDS_AND_INVERSES

public static final SubLSymbol $sym358$DO_ALL_PREDS_AND_INVERSES

$list359

public static final SubLList $list359

$sym360$MODULE

public static final SubLSymbol $sym360$MODULE

$sym361$NODE_VAR

public static final SubLSymbol $sym361$NODE_VAR

$sym362$NODE_AND_PREDICATE_MODE

public static final SubLSymbol $sym362$NODE_AND_PREDICATE_MODE

$sym363$PREDICATE_MODE

public static final SubLSymbol $sym363$PREDICATE_MODE

$sym364$DECK_TYPE

public static final SubLSymbol $sym364$DECK_TYPE

$sym365$RECUR_DECK

public static final SubLSymbol $sym365$RECUR_DECK

$sym366$NODE_VARS_LINK_NODE

public static final SubLSymbol $sym366$NODE_VARS_LINK_NODE

$list367

public static final SubLList $list367

$list368

public static final SubLList $list368

$list369

public static final SubLList $list369

$list370

public static final SubLList $list370

$list371

public static final SubLList $list371

$list372

public static final SubLList $list372

$list373

public static final SubLList $list373

$list374

public static final SubLList $list374

$list375

public static final SubLList $list375

$list376

public static final SubLList $list376
Method Detail

do_sbhl_non_fort_linksP

public static final SubLObject do_sbhl_non_fort_linksP(SubLObject node,
                                                       SubLObject module)

collection_supports_non_fort_instancesP

public static final SubLObject collection_supports_non_fort_instancesP(SubLObject col)

get_sbhl_accessible_modules

public static final SubLObject get_sbhl_accessible_modules(SubLObject module)
Accessor: @return listp; the list of sbhl modules allowed by MODULE for following links.


declare_sbhl_macros_file

public static final SubLObject declare_sbhl_macros_file()

init_sbhl_macros_file

public static final SubLObject init_sbhl_macros_file()

setup_sbhl_macros_file

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