com.cyc.cycjava.cycl.sbhl
Class sbhl_search_methods
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.sbhl.sbhl_search_methods
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class sbhl_search_methods
- extends SubLTranslatedFile
| 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 |
declare_sbhl_search_methods_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
init_sbhl_search_methods_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
max_nodes_backward(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
max_nodes_direction(SubLObject nodes)
|
static SubLObject |
max_nodes_forward(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
sbhl_all_backward_true_nodes(SubLObject module,
SubLObject node,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_any_with_predicate_relation_p(SubLObject module,
SubLObject nodes,
SubLObject node,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_extremal_nodes(SubLObject nodes)
|
static SubLObject |
sbhl_false_inverse_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_false_predicate_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_floors(SubLObject module,
SubLObject nodes,
SubLObject candidates,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_gather_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject function,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
Applies FUNCTION to each element of NODE's forward true closure, combining any non-nil result with *sbhl-result* using COMBINE-FN. |
static SubLObject |
sbhl_gather_closure(SubLObject node,
SubLObject function,
SubLObject combine_fn)
|
static SubLObject |
sbhl_gather_first_among_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
Applies FUNCTION to each element of NODE's forward true closure, returning the first non-nil result. |
static SubLObject |
sbhl_gather_first_among_closure_with_prune(SubLObject node,
SubLObject compose_fn,
SubLObject combine_fn)
|
static SubLObject |
sbhl_gather_first_among_closure(SubLObject node,
SubLObject compose_fn,
SubLObject combine_fn)
|
static SubLObject |
sbhl_independent_cycles(SubLObject nodes)
|
static SubLObject |
sbhl_map_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject function,
SubLObject mt,
SubLObject tv)
Applies FUNCTION to each element of NODE's forward true transitive closure |
static SubLObject |
sbhl_map_and_mark_forward_true_nodes_in_space(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject space,
SubLObject gather_space)
Binds *sbhl-space* to SPACE and *sbhl-gather-space* to GATHER-SPACE and performs @see sbhl-map-all-forward-true-nodes. |
static SubLObject |
sbhl_max_floors_pruning_cycles(SubLObject module,
SubLObject nodes,
SubLObject candidates,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_max_floors(SubLObject module,
SubLObject nodes,
SubLObject candidates,
SubLObject mt,
SubLObject tv,
SubLObject direction)
|
static SubLObject |
sbhl_max_nodes(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv,
SubLObject direction)
|
static SubLObject |
sbhl_max_true_disjoins(SubLObject module,
SubLObject node,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_min_nodes(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_non_justifying_predicate_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_path_from_any_of_nodes_to_node_p(SubLObject nodes,
SubLObject node)
|
static SubLObject |
sbhl_path_from_node_to_any_of_nodes_p(SubLObject node,
SubLObject nodes)
|
static SubLObject |
sbhl_path_from_node_to_node_p(SubLObject node1,
SubLObject node2)
|
static SubLObject |
sbhl_predicate_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_predicate_relation_to_which_excluding_link_node(SubLObject module,
SubLObject node,
SubLObject candidates,
SubLObject excl_link_node,
SubLObject mt,
SubLObject tv)
|
static SubLObject |
sbhl_predicate_relation_to_which(SubLObject module,
SubLObject node,
SubLObject candidates,
SubLObject mt,
SubLObject tv,
SubLObject excl_link_node)
|
static SubLObject |
sbhl_premark_node_closure(SubLObject node)
Modifier. |
static SubLObject |
sbhl_prune_unwanted_extremal_cycles(SubLObject module,
SubLObject nodes,
SubLObject cycle_preferred_members,
SubLObject mt,
SubLObject tv)
Does the pruning for @see sbhl-max-floors pruning-cycles. |
static SubLObject |
sbhl_simply_gather_first_among_all_backward_true_nodes_with_prune(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
|
static SubLObject |
sbhl_simply_gather_first_among_all_backward_true_nodes(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
|
static SubLObject |
sbhl_transitive_closure(SubLObject node)
|
static SubLObject |
setup_sbhl_search_methods_file()
|
static SubLObject |
why_sbhl_relationP(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv,
SubLObject behavior)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$sym0$SBHL_MODULE_P
public static final SubLSymbol $sym0$SBHL_MODULE_P
$sym1$RELEVANT_SBHL_TV_IS_GENERAL_TV
public static final SubLSymbol $sym1$RELEVANT_SBHL_TV_IS_GENERAL_TV
$kw2$ERROR
public static final SubLSymbol $kw2$ERROR
$str3$_A_is_not_a__A
public static final SubLString $str3$_A_is_not_a__A
$sym4$SBHL_TRUE_TV_P
public static final SubLSymbol $sym4$SBHL_TRUE_TV_P
$kw5$CERROR
public static final SubLSymbol $kw5$CERROR
$str6$continue_anyway
public static final SubLString $str6$continue_anyway
$kw7$WARN
public static final SubLSymbol $kw7$WARN
$str8$_A_is_not_a_valid__sbhl_type_erro
public static final SubLString $str8$_A_is_not_a_valid__sbhl_type_erro
$const9$True_JustificationTruth
public static final SubLObject $const9$True_JustificationTruth
$kw10$OLD
public static final SubLSymbol $kw10$OLD
$sym11$SBHL_PUSH_ONTO_RESULT
public static final SubLSymbol $sym11$SBHL_PUSH_ONTO_RESULT
$kw12$RESOURCE
public static final SubLSymbol $kw12$RESOURCE
$sym13$SBHL_FALSE_TV_P
public static final SubLSymbol $sym13$SBHL_FALSE_TV_P
$const14$False_JustificationTruth
public static final SubLObject $const14$False_JustificationTruth
$str15$Node__a_does_not_pass_sbhl_type_t
public static final SubLString $str15$Node__a_does_not_pass_sbhl_type_t
$sym16$SBHL_PUSH_ONTO_RESULT_WITH_PRUNE
public static final SubLSymbol $sym16$SBHL_PUSH_ONTO_RESULT_WITH_PRUNE
$kw17$CLOSURE
public static final SubLSymbol $kw17$CLOSURE
$sym18$SBHL_GATHER_DEAD_END_NODES
public static final SubLSymbol $sym18$SBHL_GATHER_DEAD_END_NODES
$sym19$SBHL_GATHER_FIRST_NON_NIL_RESULT
public static final SubLSymbol $sym19$SBHL_GATHER_FIRST_NON_NIL_RESULT
$sym20$SBHL_LEAF_INSTANCES_SWEEP
public static final SubLSymbol $sym20$SBHL_LEAF_INSTANCES_SWEEP
$sym21$SBHL_SIMPLE_TRUE_SEARCH_AND_UNWIND
public static final SubLSymbol $sym21$SBHL_SIMPLE_TRUE_SEARCH_AND_UNWIND
$sym22$QUEUE_EMPTY_P
public static final SubLSymbol $sym22$QUEUE_EMPTY_P
$sym23$FUNCTION_SPEC_P
public static final SubLSymbol $sym23$FUNCTION_SPEC_P
$sym24$SBHL_APPLY_COMPOSE_FN
public static final SubLSymbol $sym24$SBHL_APPLY_COMPOSE_FN
$sym25$SBHL_APPLY_COMPOSE_FN_IF
public static final SubLSymbol $sym25$SBHL_APPLY_COMPOSE_FN_IF
$sym26$SBHL_PUSH_UNWIND_ONTO_RESULT
public static final SubLSymbol $sym26$SBHL_PUSH_UNWIND_ONTO_RESULT
$sym27$SBHL_APPLY_COMPOSE_FN_AND_COMBINE_WITH_RESULT
public static final SubLSymbol $sym27$SBHL_APPLY_COMPOSE_FN_AND_COMBINE_WITH_RESULT
$sym28$SBHL_GATHER_FIRST_NON_NIL_RESULT_WITH_PRUNE
public static final SubLSymbol $sym28$SBHL_GATHER_FIRST_NON_NIL_RESULT_WITH_PRUNE
$sym29$SBHL_PUSH_ONTO_RESULT_IF
public static final SubLSymbol $sym29$SBHL_PUSH_ONTO_RESULT_IF
$sym30$SBHL_PUSH_ONTO_RESULT_IF_AND_STOP_UNLESS
public static final SubLSymbol $sym30$SBHL_PUSH_ONTO_RESULT_IF_AND_STOP_UNLESS
$sym31$SBHL_MARKED_IN_TARGET_SPACE_P
public static final SubLSymbol $sym31$SBHL_MARKED_IN_TARGET_SPACE_P
$sym32$MEMBER_
public static final SubLSymbol $sym32$MEMBER_
$kw33$FORWARD
public static final SubLSymbol $kw33$FORWARD
$kw34$BACKWARD
public static final SubLSymbol $kw34$BACKWARD
$sym35$SBHL_STOP_AT_HORIZON
public static final SubLSymbol $sym35$SBHL_STOP_AT_HORIZON
$const36$genlInverse
public static final SubLObject $const36$genlInverse
$sym37$FORT_P
public static final SubLSymbol $sym37$FORT_P
$sym38$_
public static final SubLSymbol $sym38$_
$sym39$GENL_CARDINALITY
public static final SubLSymbol $sym39$GENL_CARDINALITY
$sym40$SBHL_PUSH_DEPENDENT_NODES_ONTO_RESULT
public static final SubLSymbol $sym40$SBHL_PUSH_DEPENDENT_NODES_ONTO_RESULT
$sym41$SBHL_CHECK_TARGET_MARKING_FOR_DEPENDENCE
public static final SubLSymbol $sym41$SBHL_CHECK_TARGET_MARKING_FOR_DEPENDENCE
$sym42$SBHL_MARK_NODE_IN_PRECOMPUTE_SPACE
public static final SubLSymbol $sym42$SBHL_MARK_NODE_IN_PRECOMPUTE_SPACE
$kw43$BOOLEAN
public static final SubLSymbol $kw43$BOOLEAN
$sym44$SBHL_NODE_IS_GOAL_NODE
public static final SubLSymbol $sym44$SBHL_NODE_IS_GOAL_NODE
$const45$negationInverse
public static final SubLObject $const45$negationInverse
$sym46$SBHL_NODE_MARKED_AS_GOAL_NODE
public static final SubLSymbol $sym46$SBHL_NODE_MARKED_AS_GOAL_NODE
$sym47$SBHL_PREDICATE_RELATION_P
public static final SubLSymbol $sym47$SBHL_PREDICATE_RELATION_P
$sym48$SBHL_FALSE_PREDICATE_RELATION_P
public static final SubLSymbol $sym48$SBHL_FALSE_PREDICATE_RELATION_P
$sym49$SBHL_IMPLIED_DISJOINS_RELATION_P
public static final SubLSymbol $sym49$SBHL_IMPLIED_DISJOINS_RELATION_P
$sym50$SBHL_IMPLIED_FALSE_PREDICATE_RELATION_P
public static final SubLSymbol $sym50$SBHL_IMPLIED_FALSE_PREDICATE_RELATION_P
$str51$Invalid_TV_argument__a__or__sbhl_
public static final SubLString $str51$Invalid_TV_argument__a__or__sbhl_
$sym52$SBHL_PREDICATE_RELATION_WITH_ANY_P
public static final SubLSymbol $sym52$SBHL_PREDICATE_RELATION_WITH_ANY_P
sbhl_all_forward_true_nodes
public static final SubLObject sbhl_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; all forward true nodes accessbile to NODE via MODULE.
sbhl_gather_all_forward_true_nodes
public static final SubLObject sbhl_gather_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject function,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
- Applies FUNCTION to each element of NODE's forward true closure, combining any non-nil result with *sbhl-result* using COMBINE-FN. @see sbhl-gather-closure
sbhl_gather_closure
public static final SubLObject sbhl_gather_closure(SubLObject node,
SubLObject function,
SubLObject combine_fn)
sbhl_all_backward_true_nodes
public static final SubLObject sbhl_all_backward_true_nodes(SubLObject module,
SubLObject node,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; all backward true nodes accessbile to NODE via MODULE.
sbhl_transitive_closure
public static final SubLObject sbhl_transitive_closure(SubLObject node)
- Returns:
- listp; the transitive closure of NODE with current search module, direction, and truth.
sbhl_max_true_disjoins
public static final SubLObject sbhl_max_true_disjoins(SubLObject module,
SubLObject node,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; the max/summary MODULE relations for NODE.
sbhl_map_all_forward_true_nodes
public static final SubLObject sbhl_map_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject function,
SubLObject mt,
SubLObject tv)
- Applies FUNCTION to each element of NODE's forward true transitive closure
sbhl_map_and_mark_forward_true_nodes_in_space
public static final SubLObject sbhl_map_and_mark_forward_true_nodes_in_space(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject space,
SubLObject gather_space)
- Binds *sbhl-space* to SPACE and *sbhl-gather-space* to GATHER-SPACE and performs @see sbhl-map-all-forward-true-nodes.
sbhl_gather_first_among_all_forward_true_nodes
public static final SubLObject sbhl_gather_first_among_all_forward_true_nodes(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
- Applies FUNCTION to each element of NODE's forward true closure, returning the first non-nil result. @see sbhl-gather-first-among-closure
sbhl_simply_gather_first_among_all_backward_true_nodes
public static final SubLObject sbhl_simply_gather_first_among_all_backward_true_nodes(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
sbhl_gather_first_among_closure
public static final SubLObject sbhl_gather_first_among_closure(SubLObject node,
SubLObject compose_fn,
SubLObject combine_fn)
sbhl_simply_gather_first_among_all_backward_true_nodes_with_prune
public static final SubLObject sbhl_simply_gather_first_among_all_backward_true_nodes_with_prune(SubLObject module,
SubLObject node,
SubLObject fn,
SubLObject mt,
SubLObject tv,
SubLObject combine_fn)
sbhl_gather_first_among_closure_with_prune
public static final SubLObject sbhl_gather_first_among_closure_with_prune(SubLObject node,
SubLObject compose_fn,
SubLObject combine_fn)
sbhl_extremal_nodes
public static final SubLObject sbhl_extremal_nodes(SubLObject nodes)
- Returns:
- listp; Marks proper closures of nodes, noting cycles. Filters non-extremal cycles, and then unmarks the cyclic closure of the extremal cycles. All unmarked nodes are returned, as they are the extremal ones.
max_nodes_backward
public static final SubLObject max_nodes_backward(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; the most superordinate among NODES.
sbhl_independent_cycles
public static final SubLObject sbhl_independent_cycles(SubLObject nodes)
- Returns:
- listp; a list of lists. Each list is a group of nodes among NODES which are coextensional.
max_nodes_forward
public static final SubLObject max_nodes_forward(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; the maximal nodes among NODES wrt module MODULE. checks to see if each node of NODES has any node subsuming it (and not coextensional) among the other nodes.
max_nodes_direction
public static final SubLObject max_nodes_direction(SubLObject nodes)
- Returns:
- keywordp; whether to do max-nodes :forward or :backward
sbhl_min_nodes
public static final SubLObject sbhl_min_nodes(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; the most subordinate among NODES.
sbhl_max_nodes
public static final SubLObject sbhl_max_nodes(SubLObject module,
SubLObject nodes,
SubLObject mt,
SubLObject tv,
SubLObject direction)
- Returns:
- listp; the most superordinate among NODES. DIRECTION :backward uses @see sbhl-extremal-nodes, and may be expensive. @hack DIRECTION :forward will clobber maximal cycles
sbhl_max_floors
public static final SubLObject sbhl_max_floors(SubLObject module,
SubLObject nodes,
SubLObject candidates,
SubLObject mt,
SubLObject tv,
SubLObject direction)
- Returns:
- listp; the most superordinate nodes which are backward accessible by NODES. @see sbhl-floors. @see sbhl-max-nodes.
sbhl_max_floors_pruning_cycles
public static final SubLObject sbhl_max_floors_pruning_cycles(SubLObject module,
SubLObject nodes,
SubLObject candidates,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; the most superordinate nodes which are backward accessible by NODES. @see sbhl-floors. @see sbhl-max-nodes. prunes all cyclic nodes from result except those from NODES and CANDIDATES or keeps just one arbitrary node from each cycle.
sbhl_prune_unwanted_extremal_cycles
public static final SubLObject sbhl_prune_unwanted_extremal_cycles(SubLObject module,
SubLObject nodes,
SubLObject cycle_preferred_members,
SubLObject mt,
SubLObject tv)
- Does the pruning for @see sbhl-max-floors pruning-cycles. @hack roll this into a different max-floors implementation.
sbhl_floors
public static final SubLObject sbhl_floors(SubLObject module,
SubLObject nodes,
SubLObject candidates,
SubLObject mt,
SubLObject tv)
- Returns:
- listp; the nodes which are a member of the intersection of the backward true closures of each of NODES. If CANDIDATES are provided, the answer will subset them.
sbhl_predicate_relation_to_which
public static final SubLObject sbhl_predicate_relation_to_which(SubLObject module,
SubLObject node,
SubLObject candidates,
SubLObject mt,
SubLObject tv,
SubLObject excl_link_node)
- Returns:
- listp; the members of CANDIDATES which are accessible to NODE.
sbhl_predicate_relation_to_which_excluding_link_node
public static final SubLObject sbhl_predicate_relation_to_which_excluding_link_node(SubLObject module,
SubLObject node,
SubLObject candidates,
SubLObject excl_link_node,
SubLObject mt,
SubLObject tv)
sbhl_predicate_relation_p
public static final SubLObject sbhl_predicate_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
- Returns:
- booleanp; whether there is a forward true path from NODE1 to NODE2.
sbhl_non_justifying_predicate_relation_p
public static final SubLObject sbhl_non_justifying_predicate_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
- Returns:
- booleanp; ensures no justification is done within @see sbhl-predicate-relation-p, and ensures that a new sbhl space is used
sbhl_false_predicate_relation_p
public static final SubLObject sbhl_false_predicate_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
- Returns:
- booleanp; whether there is a forward true path from NODE1 to NODE2.
sbhl_false_inverse_relation_p
public static final SubLObject sbhl_false_inverse_relation_p(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv)
- Returns:
- booleanp; whether there is a backward true path from NODE1 to NODE2.
sbhl_path_from_node_to_node_p
public static final SubLObject sbhl_path_from_node_to_node_p(SubLObject node1,
SubLObject node2)
- Returns:
- booleanp; whether there is a path from NODE1 to NODE2.
why_sbhl_relationP
public static final SubLObject why_sbhl_relationP(SubLObject module,
SubLObject node1,
SubLObject node2,
SubLObject mt,
SubLObject tv,
SubLObject behavior)
sbhl_path_from_node_to_any_of_nodes_p
public static final SubLObject sbhl_path_from_node_to_any_of_nodes_p(SubLObject node,
SubLObject nodes)
- Returns:
- booleanp; whether there is a path from NODE to any of NODES.
sbhl_any_with_predicate_relation_p
public static final SubLObject sbhl_any_with_predicate_relation_p(SubLObject module,
SubLObject nodes,
SubLObject node,
SubLObject mt,
SubLObject tv)
- Returns:
- booleanp; whether there is a forward true path from any of NODES to NODE.
sbhl_premark_node_closure
public static final SubLObject sbhl_premark_node_closure(SubLObject node)
- Modifier. Marks the forward closure of NODE in target space
sbhl_path_from_any_of_nodes_to_node_p
public static final SubLObject sbhl_path_from_any_of_nodes_to_node_p(SubLObject nodes,
SubLObject node)
- Returns:
- booleanp; whether there is a path from any of NODES to NODE.
declare_sbhl_search_methods_file
public static final SubLObject declare_sbhl_search_methods_file()
init_sbhl_search_methods_file
public static final SubLObject init_sbhl_search_methods_file()
setup_sbhl_search_methods_file
public static final SubLObject setup_sbhl_search_methods_file()
declareFunctions
public void declareFunctions()
- Description copied from interface:
SubLFile
- Declares the mapping between functions and symbols for all named
functions defined in the file.
Like CRTL define.
initializeVariables
public void initializeVariables()
- Description copied from interface:
SubLFile
- Initializes all global variables and private internal variables
for constants defined in the file.
Like CRTL init.
runTopLevelForms
public void runTopLevelForms()
- Description copied from interface:
SubLFile
- Runs all top-level forms in order.
Like CRTL setup.