sbhl_module

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl.sbhl
Class sbhl_module_vars

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class sbhl_module_vars
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`sbhl_module_vars.$get_sbhl_module$UnaryFunction`
`static class`	`sbhl_module_vars.$get_sbhl_module$ZeroArityFunction`
`static class`	`sbhl_module_vars.$sbhl_module_native`
`static class`	`sbhl_module_vars.$sbhl_module_p$UnaryFunction`

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

Field Summary
`static SubLSymbol`	$assume_sbhl_extensions_nonempty$ Assumption made for a collection, predicate, etc.
`static SubLObject`	`$const116$DirectedMultigraph`
`static SubLObject`	`$const117$Multigraph`
`static SubLObject`	`$const123$genls`
`static SubLSymbol`	$dtp_sbhl_module$
`static SubLSymbol`	$fort_denoting_sbhl_directed_graph$ the fort which is used to determine whether a predicate has directed links
`static SubLSymbol`	$fort_denoting_sbhl_undirected_graph$ the fort which is used to determine whether a predicate has undirected links
`static SubLSymbol`	`$kw101$ROOT`
`static SubLSymbol`	`$kw104$SBHL_MARKING_PARAMETERS`
`static SubLSymbol`	`$kw32$LINK_PRED`
`static SubLSymbol`	`$kw33$ACCESSIBLE_LINK_PREDS`
`static SubLSymbol`	`$kw34$GRAPH`
`static SubLSymbol`	`$kw35$LINK_STYLE`
`static SubLSymbol`	`$kw36$INDEX_ARG`
`static SubLSymbol`	`$kw37$MODULE_TYPE`
`static SubLSymbol`	`$kw38$TYPE_TEST`
`static SubLSymbol`	`$kw39$PATH_TERMINATING_MARK_FN`
`static SubLSymbol`	`$kw40$MARKING_FN`
`static SubLSymbol`	`$kw41$UNMARKING_FN`
`static SubLSymbol`	`$kw42$VAR_BINDINGS`
`static SubLSymbol`	`$kw43$MISC_PROPERTIES`
`static SubLSymbol`	`$kw48$ERROR`
`static SubLSymbol`	`$kw51$CERROR`
`static SubLSymbol`	`$kw53$WARN`
`static SubLSymbol`	`$kw55$PATH_TERMINATING_MARK__FN`
`static SubLSymbol`	`$kw65$SIMPLE_REFLEXIVE`
`static SubLSymbol`	`$kw66$SIMPLE_NON_REFLEXIVE`
`static SubLSymbol`	`$kw67$TRANSFERS_THROUGH`
`static SubLSymbol`	`$kw68$DISJOINS`
`static SubLSymbol`	`$kw69$TIME`
`static SubLSymbol`	`$kw82$NAUT_FORWARD_TRUE_GENERATORS`
`static SubLSymbol`	`$kw86$MODULE_INVERTS_ARGUMENTS`
`static SubLSymbol`	`$kw88$INVERTS_ARGUMENTS_OF_MODULE`
`static SubLSymbol`	`$kw89$DISJOINS_MODULE`
`static SubLSymbol`	`$kw90$MARKING_INCREMENT`
`static SubLSymbol`	`$kw93$TRANSFERS_THROUGH_MODULE`
`static SubLSymbol`	`$kw94$TRANSFERS_VIA_ARG`
`static SubLSymbol`	`$kw95$ADD_NODE_TO_RESULT_TEST`
`static SubLSymbol`	`$kw96$ADD_UNMARKED_NODE_TO_RESULT_TEST`
`static SubLSymbol`	`$kw97$PREDICATE_SEARCH_P`
`static SubLSymbol`	`$kw99$MODULE_TAG`
`static SubLList`	`$list105`
`static SubLList`	`$list106`
`static SubLList`	`$list107`
`static SubLList`	`$list108`
`static SubLList`	`$list110`
`static SubLList`	`$list112`
`static SubLList`	`$list115`
`static SubLList`	`$list2`
`static SubLList`	`$list3`
`static SubLList`	`$list4`
`static SubLList`	`$list5`
`static SubLList`	`$list59`
`static SubLList`	`$list62`
`static SubLList`	`$list64`
`static SubLList`	`$list78`
`static SubLSymbol`	$sbhl_module_types$ Roles that sbhl modules play in the grand SBHL scheme.
`static SubLSymbol`	$sbhl_module_vars$ The parameters bound with each sbhl module.
`static SubLSymbol`	$sbhl_module$ the current sbhl-module in use for link traversal
`static SubLSymbol`	$sbhl_modules$ dictionary of sbhl modules, built up by module declaration
`static SubLString`	`$str111$_A_is_not_a_valid_sbhl_predicate_`
`static SubLString`	`$str118$Term___a__is_not_used_to_specify_`
`static SubLString`	`$str44$Invalid_slot__S_for_construction_`
`static SubLString`	`$str45$__SBHL_MODULE__`
`static SubLString`	`$str46$_`
`static SubLString`	`$str49$_A_is_not_a__A`
`static SubLString`	`$str52$continue_anyway`
`static SubLString`	`$str54$_A_is_not_a_valid__sbhl_type_erro`
`static SubLSymbol`	`$sym0$SBHL_MODULE`
`static SubLSymbol`	`$sym1$SBHL_MODULE_P`
`static SubLSymbol`	`$sym10$SBHL_MOD_ACCESSIBLE_LINK_PREDS`
`static SubLSymbol`	`$sym100$KEYWORDP`
`static SubLSymbol`	`$sym102$SBHL_NODE_OBJECT_P`
`static SubLSymbol`	`$sym103$HASH_TABLE_P`
`static SubLSymbol`	`$sym109$SMART_CSOME`
`static SubLSymbol`	`$sym11$_CSETF_SBHL_MOD_ACCESSIBLE_LINK_PREDS`
`static SubLSymbol`	`$sym113$_SBHL_MODULE_`
`static SubLSymbol`	`$sym114$FIF`
`static SubLSymbol`	`$sym119$SBHL_MODULES_LINK_PRED__`
`static SubLSymbol`	`$sym12$SBHL_MOD_GRAPH`
`static SubLSymbol`	`$sym120$_`
`static SubLSymbol`	`$sym121$SECOND`
`static SubLSymbol`	`$sym122$FIRST`
`static SubLSymbol`	`$sym13$_CSETF_SBHL_MOD_GRAPH`
`static SubLSymbol`	`$sym14$SBHL_MOD_LINK_STYLE`
`static SubLSymbol`	`$sym15$_CSETF_SBHL_MOD_LINK_STYLE`
`static SubLSymbol`	`$sym16$SBHL_MOD_INDEX_ARG`
`static SubLSymbol`	`$sym17$_CSETF_SBHL_MOD_INDEX_ARG`
`static SubLSymbol`	`$sym18$SBHL_MOD_MODULE_TYPE`
`static SubLSymbol`	`$sym19$_CSETF_SBHL_MOD_MODULE_TYPE`
`static SubLSymbol`	`$sym20$SBHL_MOD_TYPE_TEST`
`static SubLSymbol`	`$sym21$_CSETF_SBHL_MOD_TYPE_TEST`
`static SubLSymbol`	`$sym22$SBHL_MOD_PATH_TERMINATING_MARK_FN`
`static SubLSymbol`	`$sym23$_CSETF_SBHL_MOD_PATH_TERMINATING_MARK_FN`
`static SubLSymbol`	`$sym24$SBHL_MOD_MARKING_FN`
`static SubLSymbol`	`$sym25$_CSETF_SBHL_MOD_MARKING_FN`
`static SubLSymbol`	`$sym26$SBHL_MOD_UNMARKING_FN`
`static SubLSymbol`	`$sym27$_CSETF_SBHL_MOD_UNMARKING_FN`
`static SubLSymbol`	`$sym28$SBHL_MOD_VAR_BINDINGS`
`static SubLSymbol`	`$sym29$_CSETF_SBHL_MOD_VAR_BINDINGS`
`static SubLSymbol`	`$sym30$SBHL_MOD_MISC_PROPERTIES`
`static SubLSymbol`	`$sym31$_CSETF_SBHL_MOD_MISC_PROPERTIES`
`static SubLSymbol`	`$sym47$FORT_P`
`static SubLSymbol`	`$sym50$SBHL_MODULE_PROPERTY_P`
`static SubLSymbol`	`$sym56$_SBHL_MODULES_`
`static SubLSymbol`	`$sym57$SBHL_PREDICATE_OBJECT_P`
`static SubLSymbol`	`$sym58$SBHL_MODULE_OBJECT_P`
`static SubLSymbol`	`$sym6$PRINT_SBHL_MODULE`
`static SubLSymbol`	`$sym60$KEY`
`static SubLSymbol`	`$sym61$DO_DICTIONARY`
`static SubLSymbol`	`$sym63$IGNORE`
`static SubLSymbol`	`$sym7$SBHL_MODULE_PRINT_FUNCTION_TRAMPOLINE`
`static SubLSymbol`	`$sym70$MODULE`
`static SubLSymbol`	`$sym71$DO_SBHL_MODULES`
`static SubLSymbol`	`$sym72$PWHEN`
`static SubLSymbol`	`$sym73$SBHL_SIMPLE_MODULE_P`
`static SubLSymbol`	`$sym74$CLET`
`static SubLSymbol`	`$sym75$GET_SBHL_LINK_PRED`
`static SubLSymbol`	`$sym76$MODULE`
`static SubLSymbol`	`$sym77$SBHL_TIME_MODULE_P`
`static SubLSymbol`	`$sym79$MODULE`
`static SubLSymbol`	`$sym8$SBHL_MOD_LINK_PRED`
`static SubLSymbol`	`$sym80$_SBHL_MODULE_PROPERTIES_`
`static SubLSymbol`	`$sym81$SBHL_LINK_STYLE_SPECIFIER_P`
`static SubLSymbol`	`$sym83$FUNCTION_SYMBOL_LIST_P`
`static SubLSymbol`	`$sym84$SBHL_MODULE_TYPE_P`
`static SubLSymbol`	`$sym85$FUNCTION_SYMBOL_P`
`static SubLSymbol`	`$sym87$SBHL_MODULE_OR_PREDICATE_P`
`static SubLSymbol`	`$sym9$_CSETF_SBHL_MOD_LINK_PRED`
`static SubLSymbol`	`$sym91$INTEGERP`
`static SubLSymbol`	`$sym92$LISTP`
`static SubLSymbol`	`$sym98$BOOLEANP`
`static SubLFile`	`me`
`static java.lang.String`	`myName`

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

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

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

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

Method Summary
`static SubLObject`	`_csetf_sbhl_mod_accessible_link_preds(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_graph(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_index_arg(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_link_pred(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_link_style(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_marking_fn(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_misc_properties(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_module_type(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_path_terminating_mark_fn(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_type_test(SubLObject object, SubLObject value)`
`static SubLObject`	`_csetf_sbhl_mod_unmarking_fn(SubLObject object, SubLObject value)`
`static SubLObject`	`add_sbhl_module(SubLObject predicate, SubLObject module)` modifier.
`static SubLObject`	`clean_sbhl_modules()`
`static SubLObject`	`declare_sbhl_module_vars_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`fort_denotes_sbhl_directed_graph_p(SubLObject fort)` Accessor: @return booleanp; whether FORT indicates a directed or undirected graph
`static SubLObject`	`get_sbhl_module_accessible_link_preds(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_graph(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_index_arg(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_link_pred(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_link_style(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_list()` Return what the sbhl module structures that the predicates point to.
`static SubLObject`	`get_sbhl_module_marking_fn(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_module_type(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_path_terminating_mark(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_property(SubLObject module, SubLObject property)`
`static SubLObject`	`get_sbhl_module_type_test(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module_unmarking_fn(SubLObject module)` Accessor.
`static SubLObject`	`get_sbhl_module(SubLObject predicate)` Accessor: @return sbhl-module-p; the sbhl module for PREDICATE / defaults to sbhl-module
`static SubLObject`	`get_sbhl_modules()`
`static SubLObject`	`get_sbhl_predicates_int()`
`static SubLObject`	`init_sbhl_module_properties(SubLObject property_list)` Modifier.
`static SubLObject`	`init_sbhl_module_vars_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`make_sbhl_module(SubLObject arglist)`
`static SubLObject`	`new_sbhl_module(SubLObject pred)`
`static SubLObject`	`optimize_sbhl_modules()` Optimize SBHL modules for access.
`static SubLObject`	`reset_sbhl_modules()`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`sbhl_disjoins_module_type_p(SubLObject module_type)`
`static SubLObject`	`sbhl_mod_accessible_link_preds(SubLObject object)`
`static SubLObject`	`sbhl_mod_graph(SubLObject object)`
`static SubLObject`	`sbhl_mod_index_arg(SubLObject object)`
`static SubLObject`	`sbhl_mod_link_pred(SubLObject object)`
`static SubLObject`	`sbhl_mod_link_style(SubLObject object)`
`static SubLObject`	`sbhl_mod_marking_fn(SubLObject object)`
`static SubLObject`	`sbhl_mod_misc_properties(SubLObject object)`
`static SubLObject`	`sbhl_mod_module_type(SubLObject object)`
`static SubLObject`	`sbhl_mod_path_terminating_mark_fn(SubLObject object)`
`static SubLObject`	`sbhl_mod_type_test(SubLObject object)`
`static SubLObject`	`sbhl_mod_unmarking_fn(SubLObject object)`
`static SubLObject`	`sbhl_module_link_pred_preference_order()`
`static SubLObject`	`sbhl_module_object_p(SubLObject object)`
`static SubLObject`	`sbhl_module_p(SubLObject object)`
`static SubLObject`	`sbhl_module_property_p(SubLObject property)`
`static SubLObject`	`sbhl_modules_link_pred_L(SubLObject pred1, SubLObject pred2)`
`static SubLObject`	`sbhl_predicate_object_p(SubLObject object)` Type test for candidate sbhl-predicates.
`static SubLObject`	`sbhl_simple_non_reflexive_module_type_p(SubLObject module_type)`
`static SubLObject`	`sbhl_simple_reflexive_module_type_p(SubLObject module_type)`
`static SubLObject`	`sbhl_time_module_type_p(SubLObject module_type)`
`static SubLObject`	`sbhl_transfers_through_module_type_p(SubLObject module_type)`
`static SubLObject`	`sbhl_transitive_module_type_p(SubLObject module_type)`
`static SubLObject`	`set_sbhl_module_property(SubLObject module, SubLObject property, SubLObject value)`
`static SubLObject`	`setup_sbhl_module_vars_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_module$

public static SubLSymbol $dtp_sbhl_module$

$sbhl_modules$

public static SubLSymbol $sbhl_modules$

dictionary of sbhl modules, built up by module declaration

$sbhl_module_types$

public static SubLSymbol $sbhl_module_types$

Roles that sbhl modules play in the grand SBHL scheme.

$sbhl_module$

public static SubLSymbol $sbhl_module$

the current sbhl-module in use for link traversal

$sbhl_module_vars$

public static SubLSymbol $sbhl_module_vars$

The parameters bound with each sbhl module.

$fort_denoting_sbhl_directed_graph$

public static SubLSymbol $fort_denoting_sbhl_directed_graph$

the fort which is used to determine whether a predicate has directed links

$fort_denoting_sbhl_undirected_graph$

public static SubLSymbol $fort_denoting_sbhl_undirected_graph$

the fort which is used to determine whether a predicate has undirected links

$assume_sbhl_extensions_nonempty$

public static SubLSymbol $assume_sbhl_extensions_nonempty$

Assumption made for a collection, predicate, etc. that has no known extent. The two possible values are t (assume nonempty) and nil (assume nothing)

$sym0$SBHL_MODULE

public static final SubLSymbol $sym0$SBHL_MODULE

$sym1$SBHL_MODULE_P

public static final SubLSymbol $sym1$SBHL_MODULE_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$PRINT_SBHL_MODULE

public static final SubLSymbol $sym6$PRINT_SBHL_MODULE

$sym7$SBHL_MODULE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$SBHL_MODULE_PRINT_FUNCTION_TRAMPOLINE

$sym8$SBHL_MOD_LINK_PRED

public static final SubLSymbol $sym8$SBHL_MOD_LINK_PRED

$sym9$_CSETF_SBHL_MOD_LINK_PRED

public static final SubLSymbol $sym9$_CSETF_SBHL_MOD_LINK_PRED

$sym10$SBHL_MOD_ACCESSIBLE_LINK_PREDS

public static final SubLSymbol $sym10$SBHL_MOD_ACCESSIBLE_LINK_PREDS

$sym11$_CSETF_SBHL_MOD_ACCESSIBLE_LINK_PREDS

public static final SubLSymbol $sym11$_CSETF_SBHL_MOD_ACCESSIBLE_LINK_PREDS

$sym12$SBHL_MOD_GRAPH

public static final SubLSymbol $sym12$SBHL_MOD_GRAPH

$sym13$_CSETF_SBHL_MOD_GRAPH

public static final SubLSymbol $sym13$_CSETF_SBHL_MOD_GRAPH

$sym14$SBHL_MOD_LINK_STYLE

public static final SubLSymbol $sym14$SBHL_MOD_LINK_STYLE

$sym15$_CSETF_SBHL_MOD_LINK_STYLE

public static final SubLSymbol $sym15$_CSETF_SBHL_MOD_LINK_STYLE

$sym16$SBHL_MOD_INDEX_ARG

public static final SubLSymbol $sym16$SBHL_MOD_INDEX_ARG

$sym17$_CSETF_SBHL_MOD_INDEX_ARG

public static final SubLSymbol $sym17$_CSETF_SBHL_MOD_INDEX_ARG

$sym18$SBHL_MOD_MODULE_TYPE

public static final SubLSymbol $sym18$SBHL_MOD_MODULE_TYPE

$sym19$_CSETF_SBHL_MOD_MODULE_TYPE

public static final SubLSymbol $sym19$_CSETF_SBHL_MOD_MODULE_TYPE

$sym20$SBHL_MOD_TYPE_TEST

public static final SubLSymbol $sym20$SBHL_MOD_TYPE_TEST

$sym21$_CSETF_SBHL_MOD_TYPE_TEST

public static final SubLSymbol $sym21$_CSETF_SBHL_MOD_TYPE_TEST

$sym22$SBHL_MOD_PATH_TERMINATING_MARK_FN

public static final SubLSymbol $sym22$SBHL_MOD_PATH_TERMINATING_MARK_FN

$sym23$_CSETF_SBHL_MOD_PATH_TERMINATING_MARK_FN

public static final SubLSymbol $sym23$_CSETF_SBHL_MOD_PATH_TERMINATING_MARK_FN

$sym24$SBHL_MOD_MARKING_FN

public static final SubLSymbol $sym24$SBHL_MOD_MARKING_FN

$sym25$_CSETF_SBHL_MOD_MARKING_FN

public static final SubLSymbol $sym25$_CSETF_SBHL_MOD_MARKING_FN

$sym26$SBHL_MOD_UNMARKING_FN

public static final SubLSymbol $sym26$SBHL_MOD_UNMARKING_FN

$sym27$_CSETF_SBHL_MOD_UNMARKING_FN

public static final SubLSymbol $sym27$_CSETF_SBHL_MOD_UNMARKING_FN

$sym28$SBHL_MOD_VAR_BINDINGS

public static final SubLSymbol $sym28$SBHL_MOD_VAR_BINDINGS

$sym29$_CSETF_SBHL_MOD_VAR_BINDINGS

public static final SubLSymbol $sym29$_CSETF_SBHL_MOD_VAR_BINDINGS

$sym30$SBHL_MOD_MISC_PROPERTIES

public static final SubLSymbol $sym30$SBHL_MOD_MISC_PROPERTIES

$sym31$_CSETF_SBHL_MOD_MISC_PROPERTIES

public static final SubLSymbol $sym31$_CSETF_SBHL_MOD_MISC_PROPERTIES

$kw32$LINK_PRED

public static final SubLSymbol $kw32$LINK_PRED

$kw33$ACCESSIBLE_LINK_PREDS

public static final SubLSymbol $kw33$ACCESSIBLE_LINK_PREDS

$kw34$GRAPH

public static final SubLSymbol $kw34$GRAPH

$kw35$LINK_STYLE

public static final SubLSymbol $kw35$LINK_STYLE

$kw36$INDEX_ARG

public static final SubLSymbol $kw36$INDEX_ARG

$kw37$MODULE_TYPE

public static final SubLSymbol $kw37$MODULE_TYPE

$kw38$TYPE_TEST

public static final SubLSymbol $kw38$TYPE_TEST

$kw39$PATH_TERMINATING_MARK_FN

public static final SubLSymbol $kw39$PATH_TERMINATING_MARK_FN

$kw40$MARKING_FN

public static final SubLSymbol $kw40$MARKING_FN

$kw41$UNMARKING_FN

public static final SubLSymbol $kw41$UNMARKING_FN

$kw42$VAR_BINDINGS

public static final SubLSymbol $kw42$VAR_BINDINGS

$kw43$MISC_PROPERTIES

public static final SubLSymbol $kw43$MISC_PROPERTIES

$str44$Invalid_slot__S_for_construction_

public static final SubLString $str44$Invalid_slot__S_for_construction_

$str45$__SBHL_MODULE__

public static final SubLString $str45$__SBHL_MODULE__

$str46$_

public static final SubLString $str46$_

$sym47$FORT_P

public static final SubLSymbol $sym47$FORT_P

$kw48$ERROR

public static final SubLSymbol $kw48$ERROR

$str49$_A_is_not_a__A

public static final SubLString $str49$_A_is_not_a__A

$sym50$SBHL_MODULE_PROPERTY_P

public static final SubLSymbol $sym50$SBHL_MODULE_PROPERTY_P

$kw51$CERROR

public static final SubLSymbol $kw51$CERROR

$str52$continue_anyway

public static final SubLString $str52$continue_anyway

$kw53$WARN

public static final SubLSymbol $kw53$WARN

$str54$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str54$_A_is_not_a_valid__sbhl_type_erro

$kw55$PATH_TERMINATING_MARK__FN

public static final SubLSymbol $kw55$PATH_TERMINATING_MARK__FN

$sym56$_SBHL_MODULES_

public static final SubLSymbol $sym56$_SBHL_MODULES_

$sym57$SBHL_PREDICATE_OBJECT_P

public static final SubLSymbol $sym57$SBHL_PREDICATE_OBJECT_P

$sym58$SBHL_MODULE_OBJECT_P

public static final SubLSymbol $sym58$SBHL_MODULE_OBJECT_P

$list59

public static final SubLList $list59

$sym60$KEY

public static final SubLSymbol $sym60$KEY

$sym61$DO_DICTIONARY

public static final SubLSymbol $sym61$DO_DICTIONARY

$list62

public static final SubLList $list62

$sym63$IGNORE

public static final SubLSymbol $sym63$IGNORE

$list64

public static final SubLList $list64

$kw65$SIMPLE_REFLEXIVE

public static final SubLSymbol $kw65$SIMPLE_REFLEXIVE

$kw66$SIMPLE_NON_REFLEXIVE

public static final SubLSymbol $kw66$SIMPLE_NON_REFLEXIVE

$kw67$TRANSFERS_THROUGH

public static final SubLSymbol $kw67$TRANSFERS_THROUGH

$kw68$DISJOINS

public static final SubLSymbol $kw68$DISJOINS

$kw69$TIME

public static final SubLSymbol $kw69$TIME

$sym70$MODULE

public static final SubLSymbol $sym70$MODULE

$sym71$DO_SBHL_MODULES

public static final SubLSymbol $sym71$DO_SBHL_MODULES

$sym72$PWHEN

public static final SubLSymbol $sym72$PWHEN

$sym73$SBHL_SIMPLE_MODULE_P

public static final SubLSymbol $sym73$SBHL_SIMPLE_MODULE_P

$sym74$CLET

public static final SubLSymbol $sym74$CLET

$sym75$GET_SBHL_LINK_PRED

public static final SubLSymbol $sym75$GET_SBHL_LINK_PRED

$sym76$MODULE

public static final SubLSymbol $sym76$MODULE

$sym77$SBHL_TIME_MODULE_P

public static final SubLSymbol $sym77$SBHL_TIME_MODULE_P

$list78

public static final SubLList $list78

$sym79$MODULE

public static final SubLSymbol $sym79$MODULE

$sym80$_SBHL_MODULE_PROPERTIES_

public static final SubLSymbol $sym80$_SBHL_MODULE_PROPERTIES_

$sym81$SBHL_LINK_STYLE_SPECIFIER_P

public static final SubLSymbol $sym81$SBHL_LINK_STYLE_SPECIFIER_P

$kw82$NAUT_FORWARD_TRUE_GENERATORS

public static final SubLSymbol $kw82$NAUT_FORWARD_TRUE_GENERATORS

$sym83$FUNCTION_SYMBOL_LIST_P

public static final SubLSymbol $sym83$FUNCTION_SYMBOL_LIST_P

$sym84$SBHL_MODULE_TYPE_P

public static final SubLSymbol $sym84$SBHL_MODULE_TYPE_P

$sym85$FUNCTION_SYMBOL_P

public static final SubLSymbol $sym85$FUNCTION_SYMBOL_P

$kw86$MODULE_INVERTS_ARGUMENTS

public static final SubLSymbol $kw86$MODULE_INVERTS_ARGUMENTS

$sym87$SBHL_MODULE_OR_PREDICATE_P

public static final SubLSymbol $sym87$SBHL_MODULE_OR_PREDICATE_P

$kw88$INVERTS_ARGUMENTS_OF_MODULE

public static final SubLSymbol $kw88$INVERTS_ARGUMENTS_OF_MODULE

$kw89$DISJOINS_MODULE

public static final SubLSymbol $kw89$DISJOINS_MODULE

$kw90$MARKING_INCREMENT

public static final SubLSymbol $kw90$MARKING_INCREMENT

$sym91$INTEGERP

public static final SubLSymbol $sym91$INTEGERP

$sym92$LISTP

public static final SubLSymbol $sym92$LISTP

$kw93$TRANSFERS_THROUGH_MODULE

public static final SubLSymbol $kw93$TRANSFERS_THROUGH_MODULE

$kw94$TRANSFERS_VIA_ARG

public static final SubLSymbol $kw94$TRANSFERS_VIA_ARG

$kw95$ADD_NODE_TO_RESULT_TEST

public static final SubLSymbol $kw95$ADD_NODE_TO_RESULT_TEST

$kw96$ADD_UNMARKED_NODE_TO_RESULT_TEST

public static final SubLSymbol $kw96$ADD_UNMARKED_NODE_TO_RESULT_TEST

$kw97$PREDICATE_SEARCH_P

public static final SubLSymbol $kw97$PREDICATE_SEARCH_P

$sym98$BOOLEANP

public static final SubLSymbol $sym98$BOOLEANP

$kw99$MODULE_TAG

public static final SubLSymbol $kw99$MODULE_TAG

$sym100$KEYWORDP

public static final SubLSymbol $sym100$KEYWORDP

$kw101$ROOT

public static final SubLSymbol $kw101$ROOT

$sym102$SBHL_NODE_OBJECT_P

public static final SubLSymbol $sym102$SBHL_NODE_OBJECT_P

$sym103$HASH_TABLE_P

public static final SubLSymbol $sym103$HASH_TABLE_P

$kw104$SBHL_MARKING_PARAMETERS

public static final SubLSymbol $kw104$SBHL_MARKING_PARAMETERS

$list105

public static final SubLList $list105

$list106

public static final SubLList $list106

$list107

public static final SubLList $list107

$list108

public static final SubLList $list108

$sym109$SMART_CSOME

public static final SubLSymbol $sym109$SMART_CSOME

$list110

public static final SubLList $list110

$str111$_A_is_not_a_valid_sbhl_predicate_

public static final SubLString $str111$_A_is_not_a_valid_sbhl_predicate_

$list112

public static final SubLList $list112

$sym113$_SBHL_MODULE_

public static final SubLSymbol $sym113$_SBHL_MODULE_

$sym114$FIF

public static final SubLSymbol $sym114$FIF

$list115

public static final SubLList $list115

$const116$DirectedMultigraph

public static final SubLObject $const116$DirectedMultigraph

$const117$Multigraph

public static final SubLObject $const117$Multigraph

$str118$Term_ais_not_used_to_specify_

public static final SubLString $str118$Term___a__is_not_used_to_specify_

$sym119$SBHL_MODULES_LINK_PRED__

public static final SubLSymbol $sym119$SBHL_MODULES_LINK_PRED__

$sym120$_

public static final SubLSymbol $sym120$_

$sym121$SECOND

public static final SubLSymbol $sym121$SECOND

$sym122$FIRST

public static final SubLSymbol $sym122$FIRST

$const123$genls

public static final SubLObject $const123$genls

Method Detail

sbhl_module_p

public static final SubLObject sbhl_module_p(SubLObject object)

sbhl_mod_link_pred

public static final SubLObject sbhl_mod_link_pred(SubLObject object)

sbhl_mod_accessible_link_preds

public static final SubLObject sbhl_mod_accessible_link_preds(SubLObject object)

sbhl_mod_graph

public static final SubLObject sbhl_mod_graph(SubLObject object)

sbhl_mod_link_style

public static final SubLObject sbhl_mod_link_style(SubLObject object)

sbhl_mod_index_arg

public static final SubLObject sbhl_mod_index_arg(SubLObject object)

sbhl_mod_module_type

public static final SubLObject sbhl_mod_module_type(SubLObject object)

sbhl_mod_type_test

public static final SubLObject sbhl_mod_type_test(SubLObject object)

sbhl_mod_path_terminating_mark_fn

public static final SubLObject sbhl_mod_path_terminating_mark_fn(SubLObject object)

sbhl_mod_marking_fn

public static final SubLObject sbhl_mod_marking_fn(SubLObject object)

sbhl_mod_unmarking_fn

public static final SubLObject sbhl_mod_unmarking_fn(SubLObject object)

sbhl_mod_misc_properties

public static final SubLObject sbhl_mod_misc_properties(SubLObject object)

_csetf_sbhl_mod_link_pred

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

_csetf_sbhl_mod_accessible_link_preds

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

_csetf_sbhl_mod_graph

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

_csetf_sbhl_mod_link_style

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

_csetf_sbhl_mod_index_arg

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

_csetf_sbhl_mod_module_type

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

_csetf_sbhl_mod_type_test

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

_csetf_sbhl_mod_path_terminating_mark_fn

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

_csetf_sbhl_mod_marking_fn

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

_csetf_sbhl_mod_unmarking_fn

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

_csetf_sbhl_mod_misc_properties

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

make_sbhl_module

public static final SubLObject make_sbhl_module(SubLObject arglist)

new_sbhl_module

public static final SubLObject new_sbhl_module(SubLObject pred)

set_sbhl_module_property

public static final SubLObject set_sbhl_module_property(SubLObject module,
                                                        SubLObject property,
                                                        SubLObject value)