com.cyc.cycjava.cycl.sbhl
Class sbhl_module_utilities

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_module_utilities
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const18$genlInverse
static SubLObject	$const19$genlPreds
static SubLObject	$const29$genls
static SubLObject	$const31$isa
static SubLObject	$const32$quotedIsa
static SubLObject	$const35$genlMt
static SubLObject	$const36$negationMt
static SubLObject	$const38$disjointWith
static SubLObject	$const40$negationPreds
static SubLObject	$const41$negationInverse
static SubLObject	$const46$Collection
static SubLObject	$const47$Predicate
static SubLObject	$const48$Microtheory
static SubLSymbol	$kw10$TRANSFERS_VIA_ARG
static SubLSymbol	$kw11$PREDICATE_SEARCH_P
static SubLSymbol	$kw12$MODULE_INVERTS_ARGUMENTS
static SubLSymbol	$kw13$INVERTS_ARGUMENTS_OF_MODULE
static SubLSymbol	$kw14$MODULE_TAG
static SubLSymbol	$kw15$GRAPH
static SubLSymbol	$kw16$DISJOINS_MODULE
static SubLSymbol	$kw17$TRANSFERS_THROUGH_MODULE
static SubLSymbol	$kw20$ERROR
static SubLSymbol	$kw23$CERROR
static SubLSymbol	$kw25$WARN
static SubLSymbol	$kw3$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw30$GENLS
static SubLSymbol	$kw33$ISA
static SubLSymbol	$kw34$GENLPREDS
static SubLSymbol	$kw37$GENLMT
static SubLSymbol	$kw39$DISJOINTWITH
static SubLSymbol	$kw42$NEGATIONPREDS
static SubLSymbol	$kw43$NEGATION
static SubLSymbol	$kw44$SUPERIOR
static SubLSymbol	$kw45$INFERIOR
static SubLSymbol	$kw5$NAUT_FORWARD_TRUE_GENERATORS
static SubLSymbol	$kw6$MARKING_INCREMENT
static SubLSymbol	$kw7$ADD_NODE_TO_RESULT_TEST
static SubLSymbol	$kw8$ADD_UNMARKED_NODE_TO_RESULT_TEST
static SubLSymbol	$kw9$ROOT
static SubLString	$str21$_A_is_not_a__A
static SubLString	$str24$continue_anyway
static SubLString	$str26$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str27$invalid_sbhl_search_direction__a
static SubLString	$str54$Data___a__associated_with_propert
static SubLString	$str55$No_data_associated_with_required_
static SubLSymbol	$sym0$FORT_P
static SubLSymbol	$sym1$GET_SBHL_PREDICATES
static SubLSymbol	$sym2$_GET_SBHL_PREDICATES_CACHING_STATE_
static SubLSymbol	$sym22$SBHL_SEARCH_DIRECTION_P
static SubLSymbol	$sym28$SBHL_PREDICATE_P
static SubLSymbol	$sym4$SBHL_MODULE_P
static SubLSymbol	$sym49$COLLECTION_P
static SubLSymbol	$sym50$MICROTHEORY_P
static SubLSymbol	$sym51$PREDICATE_P
static SubLSymbol	$sym52$FUNCTION_SYMBOL_P
static SubLSymbol	$sym53$FUNCTION_SYMBOL_LIST_P
static SubLFile	me
static java.lang.String	myName

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

EMPTY_SUBL_OBJECT_ARRAY

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

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

Method Summary

static SubLObject	apply_sbhl_module_type_test(SubLObject node, SubLObject module)
static SubLObject	clear_get_sbhl_predicates()
static SubLObject	declare_sbhl_module_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_relevant_sbhl_directions(SubLObject module) Accessor: @return listp; of the keywords for relevant directions for links of MODULE / *sbhl-module*.
static SubLObject	get_sbhl_accessible_link_preds(SubLObject module) Accessor: @return listp; the list of sbhl predicates allowed by MODULE / *sbhl-module* for following links.
static SubLObject	get_sbhl_add_node_to_result_test(SubLObject module) Accessor: @return functionp; the function applied to a node's marking before pushing it onto the result
static SubLObject	get_sbhl_disjoins_module(SubLObject module) Accessor: @return sbhl-module-p.
static SubLObject	get_sbhl_disjoins_search_tt_module(SubLObject module) Accessor: @return sbhl-predicate-object-p; If current search is a disjoins search, returns the module it transfers through.
static SubLObject	get_sbhl_graph(SubLObject module) Accessor: @return hash-table-p; the table containing the graph corresonding to link predicate of MODULE / *sbhl-module*.
static SubLObject	get_sbhl_index_arg(SubLObject module) Accessor: @return integerp; the number corresponding to the index-arg position for MODULE / *sbhl-module*.
static SubLObject	get_sbhl_link_pred(SubLObject module) Accessor: @return fortp; the link predicate associated with MODULE / *sbhl-module*
static SubLObject	get_sbhl_link_style(SubLObject module) Accessor: @return fortp; whether MODULE / *sbhl-module* entails directed or undirected direction links
static SubLObject	get_sbhl_marking_fn(SubLObject module) Accessor: @return functionp; the marking function associated with MODULE / *sbhl-module*
static SubLObject	get_sbhl_module_backward_direction(SubLObject module) Accessor: @return keywordp; the keyword that relates MODULE to either :inverse or :link direction
static SubLObject	get_sbhl_module_forward_direction(SubLObject module) Accessor: @return keywordp; the keyword that relates MODULE / *sbhl-module* to either :predicate or :link direction
static SubLObject	get_sbhl_module_type(SubLObject module) Accessor: @return sbhl-module-type-p.
static SubLObject	get_sbhl_module_which_this_module_inverts_arguments_of(SubLObject module) Accessor: @return sbhl-module-p.
static SubLObject	get_sbhl_path_terminating_markP_fn(SubLObject module) Accessor: @return functionp; the function determing whether to terminate a search path, associated with MODULE / *sbhl-module*
static SubLObject	get_sbhl_predicates_internal()
static SubLObject	get_sbhl_predicates()
static SubLObject	get_sbhl_premark_module(SubLObject module) Accessor: @return sbhl-predicate-object-p; the module corresponding to MODULE to be used for premarking in searches.
static SubLObject	get_sbhl_reductions_module(SubLObject module) Accessor: @return sbhl-predicate-object-p; Module for minimizations and maximizations.
static SubLObject	get_sbhl_transfers_through_module(SubLObject module) returns the module, if any, that MODULE uses to transfer through.
static SubLObject	get_sbhl_type_test(SubLObject module) Accessor: @return function-spec-p; the function used to test the type of objects used in *sbhl-module* / MODULE
static SubLObject	get_sbhl_unmarking_fn(SubLObject module) Accessor: @return functionp; the unmarking function associated with MODULE / *sbhl-module*
static SubLObject	init_sbhl_module_data(SubLObject predicate, SubLObject data) Modifier: initialize and store the DATA for PREDICATE.
static SubLObject	init_sbhl_module_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	new_sbhl_module_graph(SubLObject module) Modifier: stores a hash-table in the :graph field of MODULE
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sbhl_disjoins_module_p(SubLObject module) Accessor: @return booleanp.
static SubLObject	sbhl_disjoins_search_p() Accessor: @return booleanp; whether the current search module is a disjoins module
static SubLObject	sbhl_inverse_cardinality(SubLObject module, SubLObject node) The cardinality of NODE with PRED in the inverse direction
static SubLObject	sbhl_inverse_module_p(SubLObject module) Accessor: @return booleanp; is MODULE / *sbhl-module* one which is defined by the fact that it inverts the argument order of another module.
static SubLObject	sbhl_isa_collection_p(SubLObject node)
static SubLObject	sbhl_isa_microtheory_p(SubLObject node)
static SubLObject	sbhl_isa_predicate_p(SubLObject node)
static SubLObject	sbhl_module_directed_linksP(SubLObject module) Accessor: @return booleanp; whether MODULE / *sbhl-module* is a directed or undirected graph
static SubLObject	sbhl_module_indicates_predicate_search_p(SubLObject module) Accessor: @return booleanp.
static SubLObject	sbhl_non_time_predicate_p(SubLObject object)
static SubLObject	sbhl_pred_get_hl_module(SubLObject pred)
static SubLObject	sbhl_predicate_cardinality(SubLObject module, SubLObject node) The cardinality of NODE with MODULE in the predicate direction
static SubLObject	sbhl_predicate_p(SubLObject object)
static SubLObject	sbhl_reflexive_module_p(SubLObject module) Accessor: @return booleanp; whether MODULE is for a reflexive predicate or not.
static SubLObject	sbhl_search_direction_to_link_direction(SubLObject direction, SubLObject module) Accessor: @return keywordp; the keyword for links in direction DIRECTION corresponding to MODULE / *sbhl-module*.
static SubLObject	sbhl_simple_module_p(SubLObject module) Accessor: @return booleanp.
static SubLObject	sbhl_time_module_p(SubLObject module) Accessor: @return booleanp.
static SubLObject	sbhl_time_search_p() Accessor: @return booleanp; whether the current module is a time module.
static SubLObject	sbhl_transfers_through_module_p(SubLObject module) Accessor: @return booleanp.
static SubLObject	sbhl_transitive_module_p(SubLObject module) Accessor: @return booleanp.
static SubLObject	setup_sbhl_module_utilities_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

$sym0$FORT_P

public static final SubLSymbol $sym0$FORT_P

$sym1$GET_SBHL_PREDICATES

public static final SubLSymbol $sym1$GET_SBHL_PREDICATES

$sym2$_GET_SBHL_PREDICATES_CACHING_STATE_

public static final SubLSymbol $sym2$_GET_SBHL_PREDICATES_CACHING_STATE_

$kw3$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw3$_MEMOIZED_ITEM_NOT_FOUND_

$sym4$SBHL_MODULE_P

public static final SubLSymbol $sym4$SBHL_MODULE_P

$kw5$NAUT_FORWARD_TRUE_GENERATORS

public static final SubLSymbol $kw5$NAUT_FORWARD_TRUE_GENERATORS

$kw6$MARKING_INCREMENT

public static final SubLSymbol $kw6$MARKING_INCREMENT

$kw7$ADD_NODE_TO_RESULT_TEST

public static final SubLSymbol $kw7$ADD_NODE_TO_RESULT_TEST

$kw8$ADD_UNMARKED_NODE_TO_RESULT_TEST

public static final SubLSymbol $kw8$ADD_UNMARKED_NODE_TO_RESULT_TEST

$kw9$ROOT

public static final SubLSymbol $kw9$ROOT

$kw10$TRANSFERS_VIA_ARG

public static final SubLSymbol $kw10$TRANSFERS_VIA_ARG

$kw11$PREDICATE_SEARCH_P

public static final SubLSymbol $kw11$PREDICATE_SEARCH_P

$kw12$MODULE_INVERTS_ARGUMENTS

public static final SubLSymbol $kw12$MODULE_INVERTS_ARGUMENTS

$kw13$INVERTS_ARGUMENTS_OF_MODULE

public static final SubLSymbol $kw13$INVERTS_ARGUMENTS_OF_MODULE

$kw14$MODULE_TAG

public static final SubLSymbol $kw14$MODULE_TAG

$kw15$GRAPH

public static final SubLSymbol $kw15$GRAPH

$kw16$DISJOINS_MODULE

public static final SubLSymbol $kw16$DISJOINS_MODULE

$kw17$TRANSFERS_THROUGH_MODULE

public static final SubLSymbol $kw17$TRANSFERS_THROUGH_MODULE

$const18$genlInverse

public static final SubLObject $const18$genlInverse

$const19$genlPreds

public static final SubLObject $const19$genlPreds

$kw20$ERROR

public static final SubLSymbol $kw20$ERROR

$str21$_A_is_not_a__A

public static final SubLString $str21$_A_is_not_a__A

$sym22$SBHL_SEARCH_DIRECTION_P

public static final SubLSymbol $sym22$SBHL_SEARCH_DIRECTION_P

$kw23$CERROR

public static final SubLSymbol $kw23$CERROR

$str24$continue_anyway

public static final SubLString $str24$continue_anyway

$kw25$WARN

public static final SubLSymbol $kw25$WARN

$str26$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str26$_A_is_not_a_valid__sbhl_type_erro

$str27$invalid_sbhl_search_direction__a

public static final SubLString $str27$invalid_sbhl_search_direction__a

$sym28$SBHL_PREDICATE_P

public static final SubLSymbol $sym28$SBHL_PREDICATE_P

$const29$genls

public static final SubLObject $const29$genls

$kw30$GENLS

public static final SubLSymbol $kw30$GENLS

$const31$isa

public static final SubLObject $const31$isa

$const32$quotedIsa

public static final SubLObject $const32$quotedIsa

$kw33$ISA

public static final SubLSymbol $kw33$ISA

$kw34$GENLPREDS

public static final SubLSymbol $kw34$GENLPREDS

$const35$genlMt

public static final SubLObject $const35$genlMt

$const36$negationMt

public static final SubLObject $const36$negationMt

$kw37$GENLMT

public static final SubLSymbol $kw37$GENLMT

$const38$disjointWith

public static final SubLObject $const38$disjointWith

$kw39$DISJOINTWITH

public static final SubLSymbol $kw39$DISJOINTWITH

$const40$negationPreds

public static final SubLObject $const40$negationPreds

$const41$negationInverse

public static final SubLObject $const41$negationInverse

$kw42$NEGATIONPREDS

public static final SubLSymbol $kw42$NEGATIONPREDS

$kw43$NEGATION

public static final SubLSymbol $kw43$NEGATION

$kw44$SUPERIOR

public static final SubLSymbol $kw44$SUPERIOR

$kw45$INFERIOR

public static final SubLSymbol $kw45$INFERIOR

$const46$Collection

public static final SubLObject $const46$Collection

$const47$Predicate

public static final SubLObject $const47$Predicate

$const48$Microtheory

public static final SubLObject $const48$Microtheory

$sym49$COLLECTION_P

public static final SubLSymbol $sym49$COLLECTION_P

$sym50$MICROTHEORY_P

public static final SubLSymbol $sym50$MICROTHEORY_P

$sym51$PREDICATE_P

public static final SubLSymbol $sym51$PREDICATE_P

$sym52$FUNCTION_SYMBOL_P

public static final SubLSymbol $sym52$FUNCTION_SYMBOL_P

$sym53$FUNCTION_SYMBOL_LIST_P

public static final SubLSymbol $sym53$FUNCTION_SYMBOL_LIST_P

$str54$Data___a__associated_with_propert

public static final SubLString $str54$Data___a__associated_with_propert

$str55$No_data_associated_with_required_

public static final SubLString $str55$No_data_associated_with_required_

Method Detail

init_sbhl_module_data

public static final SubLObject init_sbhl_module_data(SubLObject predicate,
                                                     SubLObject data)

Modifier: initialize and store the DATA for PREDICATE. DATA is an alist

clear_get_sbhl_predicates

public static final SubLObject clear_get_sbhl_predicates()

get_sbhl_predicates_internal

public static final SubLObject get_sbhl_predicates_internal()

get_sbhl_predicates

public static final SubLObject get_sbhl_predicates()

sbhl_predicate_p

public static final SubLObject sbhl_predicate_p(SubLObject object)

Returns:

booleanp; whether PRED is a member of *sbhl-predicates*

sbhl_non_time_predicate_p

public static final SubLObject sbhl_non_time_predicate_p(SubLObject object)

Returns:

booleanp; whether PRED is a member of *sbhl-predicates* and not an sbhl-time-module

get_sbhl_link_pred

public static final SubLObject get_sbhl_link_pred(SubLObject module)

Accessor: @return fortp; the link predicate associated with MODULE / *sbhl-module*

get_sbhl_link_style

public static final SubLObject get_sbhl_link_style(SubLObject module)

Accessor: @return fortp; whether MODULE / *sbhl-module* entails directed or undirected direction links

get_sbhl_module_type

public static final SubLObject get_sbhl_module_type(SubLObject module)

Accessor: @return sbhl-module-type-p. The type of module that MODULE / *sbhl-module* is.

get_sbhl_path_terminating_markP_fn

public static final SubLObject get_sbhl_path_terminating_markP_fn(SubLObject module)

Accessor: @return functionp; the function determing whether to terminate a search path, associated with MODULE / *sbhl-module*

get_sbhl_marking_fn

public static final SubLObject get_sbhl_marking_fn(SubLObject module)

Accessor: @return functionp; the marking function associated with MODULE / *sbhl-module*

get_sbhl_unmarking_fn

public static final SubLObject get_sbhl_unmarking_fn(SubLObject module)

Accessor: @return functionp; the unmarking function associated with MODULE / *sbhl-module*

get_sbhl_index_arg

public static final SubLObject get_sbhl_index_arg(SubLObject module)

Accessor: @return integerp; the number corresponding to the index-arg position for MODULE / *sbhl-module*.

get_sbhl_add_node_to_result_test

public static final SubLObject get_sbhl_add_node_to_result_test(SubLObject module)

Accessor: @return functionp; the function applied to a node's marking before pushing it onto the result

get_sbhl_type_test

public static final SubLObject get_sbhl_type_test(SubLObject module)

Accessor: @return function-spec-p; the function used to test the type of objects used in *sbhl-module* / MODULE

get_sbhl_accessible_link_preds

public static final SubLObject get_sbhl_accessible_link_preds(SubLObject module)

Accessor: @return listp; the list of sbhl predicates allowed by MODULE / *sbhl-module* for following links.

sbhl_module_indicates_predicate_search_p

public static final SubLObject sbhl_module_indicates_predicate_search_p(SubLObject module)

Accessor: @return booleanp.

sbhl_disjoins_search_p

public static final SubLObject sbhl_disjoins_search_p()

Accessor: @return booleanp; whether the current search module is a disjoins module

sbhl_time_search_p

public static final SubLObject sbhl_time_search_p()

Accessor: @return booleanp; whether the current module is a time module.

sbhl_simple_module_p

public static final SubLObject sbhl_simple_module_p(SubLObject module)

Accessor: @return booleanp. does module type of MODULE / *sbhl-module* satisfy

See Also:

or @see sbhl-simple-irreflexive-module-type-p.

sbhl_time_module_p

public static final SubLObject sbhl_time_module_p(SubLObject module)

Accessor: @return booleanp. does module type of MODULE / *sbhl-module* satisfy @see sbhl-time-module-type-p.

sbhl_transitive_module_p

public static final SubLObject sbhl_transitive_module_p(SubLObject module)

Accessor: @return booleanp. does module type of MODULE / *sbhl-module* satisfy @see sbhl-transitive-module-type-p

sbhl_inverse_module_p

public static final SubLObject sbhl_inverse_module_p(SubLObject module)

Accessor: @return booleanp; is MODULE / *sbhl-module* one which is defined by the fact that it inverts the argument order of another module.

get_sbhl_module_which_this_module_inverts_arguments_of

public static final SubLObject get_sbhl_module_which_this_module_inverts_arguments_of(SubLObject module)

Accessor: @return sbhl-module-p. The module which MODULE / *sbhl-module* inverts arguments of.

new_sbhl_module_graph

public static final SubLObject new_sbhl_module_graph(SubLObject module)

Modifier: stores a hash-table in the :graph field of MODULE

get_sbhl_graph

public static final SubLObject get_sbhl_graph(SubLObject module)

Accessor: @return hash-table-p; the table containing the graph corresonding to link predicate of MODULE / *sbhl-module*.

sbhl_disjoins_module_p

public static final SubLObject sbhl_disjoins_module_p(SubLObject module)

Accessor: @return booleanp. does module type of MODULE / *sbhl-module* satisfy @see sbhl-disjoins-module-type-p.

get_sbhl_disjoins_module

public static final SubLObject get_sbhl_disjoins_module(SubLObject module)

Accessor: @return sbhl-module-p. The associated module to MODULE / *sbhl-module* for disjoins.

sbhl_transfers_through_module_p

public static final SubLObject sbhl_transfers_through_module_p(SubLObject module)

Accessor: @return booleanp. does module type of MODULE / *sbhl-module* satisfy @see sbhl-transfers-through-module-type-p.

get_sbhl_transfers_through_module

public static final SubLObject get_sbhl_transfers_through_module(SubLObject module)

returns the module, if any, that MODULE uses to transfer through.

sbhl_reflexive_module_p

public static final SubLObject sbhl_reflexive_module_p(SubLObject module)

Accessor: @return booleanp; whether MODULE is for a reflexive predicate or not.

get_sbhl_disjoins_search_tt_module

public static final SubLObject get_sbhl_disjoins_search_tt_module(SubLObject module)

Accessor: @return sbhl-predicate-object-p; If current search is a disjoins search, returns the module it transfers through.

get_sbhl_reductions_module

public static final SubLObject get_sbhl_reductions_module(SubLObject module)

Accessor: @return sbhl-predicate-object-p; Module for minimizations and maximizations.

get_sbhl_premark_module

public static final SubLObject get_sbhl_premark_module(SubLObject module)

Accessor: @return sbhl-predicate-object-p; the module corresponding to MODULE to be used for premarking in searches.

get_sbhl_module_forward_direction

public static final SubLObject get_sbhl_module_forward_direction(SubLObject module)

Accessor: @return keywordp; the keyword that relates MODULE / *sbhl-module* to either :predicate or :link direction

get_sbhl_module_backward_direction

public static final SubLObject get_sbhl_module_backward_direction(SubLObject module)

Accessor: @return keywordp; the keyword that relates MODULE to either :inverse or :link direction

sbhl_module_directed_linksP

public static final SubLObject sbhl_module_directed_linksP(SubLObject module)

Accessor: @return booleanp; whether MODULE / *sbhl-module* is a directed or undirected graph

sbhl_search_direction_to_link_direction

public static final SubLObject sbhl_search_direction_to_link_direction(SubLObject direction,
                                                                       SubLObject module)

Accessor: @return keywordp; the keyword for links in direction DIRECTION corresponding to MODULE / *sbhl-module*.

get_relevant_sbhl_directions

public static final SubLObject get_relevant_sbhl_directions(SubLObject module)

Accessor: @return listp; of the keywords for relevant directions for links of MODULE / *sbhl-module*. if *sbhl-link-direction* is specified, it will return with a list of either the forward-direction for MODULE / *sbhl-module* or the backward-direction for MODULE / *sbhl-module*

sbhl_predicate_cardinality

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

The cardinality of NODE with MODULE in the predicate direction

sbhl_inverse_cardinality

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

The cardinality of NODE with PRED in the inverse direction

sbhl_pred_get_hl_module

public static final SubLObject sbhl_pred_get_hl_module(SubLObject pred)

sbhl_isa_collection_p

public static final SubLObject sbhl_isa_collection_p(SubLObject node)

sbhl_isa_microtheory_p

public static final SubLObject sbhl_isa_microtheory_p(SubLObject node)

sbhl_isa_predicate_p

public static final SubLObject sbhl_isa_predicate_p(SubLObject node)

apply_sbhl_module_type_test

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

declare_sbhl_module_utilities_file

public static final SubLObject declare_sbhl_module_utilities_file()

init_sbhl_module_utilities_file

public static final SubLObject init_sbhl_module_utilities_file()

setup_sbhl_module_utilities_file

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