sbhl_search_utilities

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_search_utilities

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class sbhl_search_utilities
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`sbhl_search_utilities.$sbhl_check_cutoff$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_consider_any_node$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_node_locally_disjoint_with_self_p$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_push_onto_result_if$UnaryFunction`
`static class`	`sbhl_search_utilities.$sbhl_step_gather_disjoins$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const18$equals`
`static SubLObject`	`$const19$MonotonicallyTrue`
`static SubLObject`	`$const23$UniversalVocabularyMt`
`static SubLObject`	`$const24$disjointWith`
`static SubLObject`	`$const75$True_JustificationTruth`
`static SubLObject`	`$const78$genlInverse`
`static SubLObject`	`$const79$genlPreds`
`static SubLSymbol`	`$kw10$FALSE`
`static SubLSymbol`	`$kw11$FALSE_DEF`
`static SubLSymbol`	`$kw13$OLD`
`static SubLSymbol`	`$kw14$ASSERTION`
`static SubLSymbol`	`$kw15$VERBOSE`
`static SubLSymbol`	`$kw17$REFLEXIVE`
`static SubLSymbol`	`$kw68$ERROR`
`static SubLSymbol`	`$kw71$CERROR`
`static SubLSymbol`	`$kw73$WARN`
`static SubLSymbol`	`$kw76$RESOURCE`
`static SubLSymbol`	`$kw8$TRUE`
`static SubLSymbol`	`$kw83$INVERSE`
`static SubLSymbol`	`$kw9$TRUE_DEF`
`static SubLList`	`$list12`
`static SubLList`	`$list30`
`static SubLList`	`$list42`
`static SubLList`	`$list81`
`static SubLString`	`$str16$incorrect_justification_assembly_`
`static SubLString`	`$str22$_S_is_not_a_transitive_module`
`static SubLString`	`$str28$Using_potentially_unsupported_gat`
`static SubLString`	`$str29$Using_potentially_unsupported_unm`
`static SubLString`	`$str41$attempting_to_bind_direction_link`
`static SubLString`	`$str45$attempt_to_call_unsupported_sbhl_`
`static SubLString`	`$str6$Search_behavior_not_recognized__S`
`static SubLString`	`$str64$invalid_module_type__a`
`static SubLString`	`$str69$_A_is_not_a__A`
`static SubLString`	`$str7$Search_Behavior_not_recognized___`
`static SubLString`	`$str72$continue_anyway`
`static SubLString`	`$str74$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str82$Unexpected_direction____S`
`static SubLString`	`$str84$KB_access_missed_for_SBHL__S_to__`
`static SubLString`	`$str85$KB_access_missed_for_SBHL__S_to__`
`static SubLSymbol`	`$sym0$SBHL_MODULE_P`
`static SubLSymbol`	`$sym1$SBHL_SIMPLE_TRUE_SEARCH`
`static SubLSymbol`	`$sym2$SBHL_SIMPLE_FALSE_SEARCH`
`static SubLSymbol`	`$sym20$SBHL_TEMPORAL_JUSTIFICATION_UNWIND`
`static SubLSymbol`	`$sym21$SBHL_PUSH_UNWIND_ONTO_RESULT`
`static SubLSymbol`	`$sym25$NOT_GENL_INVERSE_MODE_P`
`static SubLSymbol`	`$sym26$GENL_INVERSE_MODE_P`
`static SubLSymbol`	`$sym27$NON_EMPTY_EXTENT`
`static SubLSymbol`	`$sym3$SBHL_STEP_AND_SWEEP_WITH_TT_MODULE`
`static SubLSymbol`	`$sym31$SBHL_PUSH_ONTO_RESULT`
`static SubLSymbol`	`$sym32$SBHL_PUSH_ONTO_RESULT_WITH_PRUNE`
`static SubLSymbol`	`$sym33$SBHL_NODE_IS_GOAL_NODE`
`static SubLSymbol`	`$sym34$SBHL_NODE_MARKED_AS_GOAL_NODE`
`static SubLSymbol`	`$sym35$SBHL_GATHER_FIRST_NON_NIL_RESULT`
`static SubLSymbol`	`$sym36$SBHL_GATHER_FIRST_NON_NIL_RESULT_WITH_PRUNE`
`static SubLSymbol`	`$sym37$SBHL_APPLY_COMPOSE_FN`
`static SubLSymbol`	`$sym38$SBHL_APPLY_COMPOSE_FN_AND_COMBINE_WITH_RESULT`
`static SubLSymbol`	`$sym39$SBHL_GATHER_DEAD_END_NODES`
`static SubLSymbol`	`$sym4$SBHL_SWEEP_WITH_TT_MODULE_CARRY_STEP`
`static SubLSymbol`	`$sym40$SBHL_GATHER_FIRST_DEAD_END_NODE_AND_ENQUEUE_OTHERS`
`static SubLSymbol`	`$sym43$SBHL_SIMPLE_TRUE_SEARCH_AND_UNWIND`
`static SubLSymbol`	`$sym44$SBHL_LEAF_INSTANCES_SWEEP`
`static SubLSymbol`	`$sym46$SBHL_CONSIDER_NODE`
`static SubLSymbol`	`$sym47$SBHL_CONSIDER_UNMARKED_NODE`
`static SubLSymbol`	`$sym48$SBHL_SWEEP_WITH_CARRYING_MODULE`
`static SubLSymbol`	`$sym49$SBHL_STEP_WITH_CARRIED_MODULE`
`static SubLSymbol`	`$sym5$SBHL_SWEEP_STEP_DISJOINS_AND_SWEEP_AGAIN`
`static SubLSymbol`	`$sym50$SBHL_STEP_DISJOINS_AND_SWEEP_INHERITED`
`static SubLSymbol`	`$sym51$SBHL_SWEEP_INHERITED_DISJOINS`
`static SubLSymbol`	`$sym52$SBHL_STEP_AND_CHECK_MARKINGS`
`static SubLSymbol`	`$sym53$SBHL_STEP_FALSE_AND_SWEEP_OPPOSITE`
`static SubLSymbol`	`$sym54$SBHL_SWEEP_OPPOSITE_FOR_FALSE`
`static SubLSymbol`	`$sym55$SBHL_CHECK_CUTOFF`
`static SubLSymbol`	`$sym56$SBHL_SWEEP_FORWARD_STEP_FALSE_DISJOINS_AND_SWEEP_FORWARD_NOTS`
`static SubLSymbol`	`$sym57$SBHL_CONSIDER_ANY_NODE`
`static SubLSymbol`	`$sym58$SBHL_NODE_LOCALLY_DISJOINT_WITH_SELF_P`
`static SubLSymbol`	`$sym59$SBHL_SWEEP_FORWARD_NOTS`
`static SubLSymbol`	`$sym60$SBHL_STEP_GATHER_DISJOINS`
`static SubLSymbol`	`$sym61$SBHL_STEP_GATHER_FIRST_DISJOIN`
`static SubLSymbol`	`$sym62$SBHL_GATHER_FIRST_TARGET_UNMARKED_NODE`
`static SubLSymbol`	`$sym63$SBHL_GATHER_FIRST_NODE`
`static SubLSymbol`	`$sym65$SBHL_LEAF_INSTANCES_STEP`
`static SubLSymbol`	`$sym66$SBHL_ENQUEUE_NODE_IN_LEAF_QUEUE`
`static SubLSymbol`	`$sym67$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym70$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym77$SBHL_TEST_FOR_PREVIOUS_EXTREMAL_PATHS`
`static SubLSymbol`	`$sym80$SBHL_TARGET_SWEEP_STEP_DISJOINS_AND_CHECK`
`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`	`apply_sbhl_add_node_test(SubLObject test_fn, SubLObject node)`
`static SubLObject`	`apply_sbhl_consider_node_fn(SubLObject fn, SubLObject node)` Modifier: applies FN to NODE.
`static SubLObject`	`apply_sbhl_consider_unmarked_node_fn(SubLObject fn, SubLObject node)` Modifier: applies FN to NODE.
`static SubLObject`	`apply_sbhl_mapping_function(SubLObject node)`
`static SubLObject`	`apply_sbhl_search_behavior(SubLObject behavior, SubLObject node)`
`static SubLObject`	`declare_sbhl_search_utilities_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`determine_sbhl_search_behavior(SubLObject module, SubLObject direction, SubLObject tv)` Accessor: @return function-spec-p.
`static SubLObject`	`determine_sbhl_terminating_marking_space(SubLObject search_behavior)` Accessor: @return sbhl-space-object-p; uses SEARCH-BEHAVIOR to determine which marking space will contain goal markings.
`static SubLObject`	`init_sbhl_search_utilities_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`	`sbhl_apply_compose_fn(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_apply_unwind_function(SubLObject node)`
`static SubLObject`	`sbhl_assemble_justification_step(SubLObject just_step, SubLObject mt)` Accessor.
`static SubLObject`	`sbhl_assemble_justification(SubLObject just_path, SubLObject mt)`
`static SubLObject`	`sbhl_check_cutoff(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_check_disjoins_of_all_backward_nodes(SubLObject node)` Used for implied false relations, which need to check the disjoins of all of the backward closure of NODE.
`static SubLObject`	`sbhl_consider_any_node(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_consider_node(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_consider_unmarked_node(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_empty_extent_p(SubLObject node)`
`static SubLObject`	`sbhl_find_gaf(SubLObject gaf_formula, SubLObject mt, SubLObject tv)` Accessor.
`static SubLObject`	`sbhl_gaf_pred(SubLObject gaf_formula)` Accessor.
`static SubLObject`	`sbhl_gather_first_non_nil_result_with_prune(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_gather_first_non_nil_result(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_goal_empty_extent_p()`
`static SubLObject`	`sbhl_handle_justification(SubLObject method, SubLObject module, SubLObject node1, SubLObject node2, SubLObject mt, SubLObject tv, SubLObject behavior, SubLObject justify_node_equalityP)` Wraps the execution of METHOD (with args NODE1 NODE2 MT TV) so that justifications will be accumulated on the unwind.
`static SubLObject`	`sbhl_just_gaf(SubLObject just_step)` Accessor.
`static SubLObject`	`sbhl_just_mt(SubLObject just_step)` Accessor.
`static SubLObject`	`sbhl_just_tv(SubLObject just_step)` Accessor.
`static SubLObject`	`sbhl_mark_and_sweep(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_module_premarks_gather_nodes_p()` Accessor.
`static SubLObject`	`sbhl_module_transitivity_support(SubLObject module, SubLObject mt)`
`static SubLObject`	`sbhl_node_is_goal_node(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_node_locally_disjoint_with_self_p(SubLObject node)`
`static SubLObject`	`sbhl_node_marked_as_goal_node(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_possibly_just_mt(SubLObject just_step, SubLObject mt)`
`static SubLObject`	`sbhl_push_onto_result_if(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_push_onto_result(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_push_unwind_onto_result(SubLObject nodelist)` Modifier: will push a list of sbhl-module, the nodes in NODELIST, sbhl-link-mt, and sbhl-link-tv* onto the result.
`static SubLObject`	`sbhl_simple_false_search(SubLObject node)` Used as first part of false searches; it gathers all nodes related by true predicate links that would carry a false relation to NODE.
`static SubLObject`	`sbhl_simple_true_search(SubLObject node)` Used for basic true searches.
`static SubLObject`	`sbhl_step_and_check_markings(SubLObject node)` Used as third part of disjoins boolean search; it steps across disjoins relations of NODE checking for link nodes marked in gather-space.
`static SubLObject`	`sbhl_step_and_mark(SubLObject node)` Modifier: Steps over NODE's accessible unmarked links, testing their markings and subsequently marking them.
`static SubLObject`	`sbhl_step_and_perform_marking(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject space, SubLObject map_fn, SubLObject node, SubLObject unmarkingP)`
`static SubLObject`	`sbhl_step_and_suspend_mark(SubLObject node, SubLObject suspend_test_p)` Mofifier: Steps over NODE's accessible links, ignoring NODE's marking if SUSPEND-TEST-P is true.
`static SubLObject`	`sbhl_step_and_sweep_with_tt_module(SubLObject node)` Used for step part of step and sweep searches.
`static SubLObject`	`sbhl_step_and_test(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject space, SubLObject map_fn, SubLObject node, SubLObject unmarkingP)`
`static SubLObject`	`sbhl_step_disjoins_and_sweep_inherited(SubLObject node)` Used as second part of disjoins closure searches; it steps across disjoins relations to NODE.
`static SubLObject`	`sbhl_step_false_and_sweep_opposite(SubLObject node)` Used as second part of false searches; it steps across false relations to NODE.
`static SubLObject`	`sbhl_step_gather_disjoins(SubLObject node)` Steps and marks asserted disjoins of NODE.
`static SubLObject`	`sbhl_step_through(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject space, SubLObject map_fn, SubLObject node)`
`static SubLObject`	`sbhl_step_with_carried_module(SubLObject node)` Used for step part of sweep and step searches.
`static SubLObject`	`sbhl_step(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject space, SubLObject map_fn, SubLObject node, SubLObject suspend_marking_p, SubLObject suspend_test_p)` Takes MODULE, TV, LINK-DIRECTION, SPACE, and MAP-FN parameter and binds them for the execution of @sbhl-step-and-mark, as applied to NODE.
`static SubLObject`	`sbhl_sweep_and_gather_disjoins(SubLObject node)` Used to gather the extremal disjoins.
`static SubLObject`	`sbhl_sweep_forward_step_false_disjoins_and_sweep_forward_nots(SubLObject node)` Used in false-disjoins searches while sweeping all backward nodes.
`static SubLObject`	`sbhl_sweep_inherited_disjoins(SubLObject node)` Used as third part of disjoins closure searches; it gathers all of the inherited disjoins relations.
`static SubLObject`	`sbhl_sweep_step_disjoins_and_sweep_again(SubLObject node)` Used as first part of disjoins searches, or second part of boolean disjoins searches; it gathers all nodes related by true predicate links that would carry a disjoins relation to NODE.
`static SubLObject`	`sbhl_sweep_with_carrying_module(SubLObject node)` Used for sweep part of step and sweep searches.
`static SubLObject`	`sbhl_sweep_with_tt_module_carry_step(SubLObject node)` Used for sweep part of sweep and step searches.
`static SubLObject`	`sbhl_sweep(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject space, SubLObject map_fn, SubLObject node, SubLObject unmarkingP)` Takes MODULE, TV, LINK-DIRECTION, SPACE, and MAP-FN parameter and binds them for the execution of @sbhl-mark-and-sweep, as applied to NODE.
`static SubLObject`	`sbhl_target_sweep_step_disjoins_and_check(SubLObject node)`
`static SubLObject`	`sbhl_unmark_and_sweep(SubLObject node)` Modifier.
`static SubLObject`	`sbhl_unmark_sweep(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject space, SubLObject map_fn, SubLObject node)` Takes MODULE, TV, LINK-DIRECTION, SPACE, and MAP-FN parameter and binds them for the execution of @sbhl-unmark-and-sweep, as applied to NODE.
`static SubLObject`	`set_sbhl_boolean_goal_conditions()` Modifier.
`static SubLObject`	`setup_sbhl_search_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$SBHL_MODULE_P

public static final SubLSymbol $sym0$SBHL_MODULE_P

$sym1$SBHL_SIMPLE_TRUE_SEARCH

public static final SubLSymbol $sym1$SBHL_SIMPLE_TRUE_SEARCH

$sym2$SBHL_SIMPLE_FALSE_SEARCH

public static final SubLSymbol $sym2$SBHL_SIMPLE_FALSE_SEARCH

$sym3$SBHL_STEP_AND_SWEEP_WITH_TT_MODULE

public static final SubLSymbol $sym3$SBHL_STEP_AND_SWEEP_WITH_TT_MODULE

$sym4$SBHL_SWEEP_WITH_TT_MODULE_CARRY_STEP

public static final SubLSymbol $sym4$SBHL_SWEEP_WITH_TT_MODULE_CARRY_STEP

$sym5$SBHL_SWEEP_STEP_DISJOINS_AND_SWEEP_AGAIN

public static final SubLSymbol $sym5$SBHL_SWEEP_STEP_DISJOINS_AND_SWEEP_AGAIN

$str6$Search_behavior_not_recognized__S

public static final SubLString $str6$Search_behavior_not_recognized__S

$str7$Search_Behavior_not_recognized___

public static final SubLString $str7$Search_Behavior_not_recognized___

$kw8$TRUE

public static final SubLSymbol $kw8$TRUE

$kw9$TRUE_DEF

public static final SubLSymbol $kw9$TRUE_DEF

$kw10$FALSE

public static final SubLSymbol $kw10$FALSE

$kw11$FALSE_DEF

public static final SubLSymbol $kw11$FALSE_DEF

$list12

public static final SubLList $list12

$kw13$OLD

public static final SubLSymbol $kw13$OLD

$kw14$ASSERTION

public static final SubLSymbol $kw14$ASSERTION

$kw15$VERBOSE

public static final SubLSymbol $kw15$VERBOSE

$str16$incorrect_justification_assembly_

public static final SubLString $str16$incorrect_justification_assembly_

$kw17$REFLEXIVE

public static final SubLSymbol $kw17$REFLEXIVE

$const18$equals

public static final SubLObject $const18$equals

$const19$MonotonicallyTrue

public static final SubLObject $const19$MonotonicallyTrue

$sym20$SBHL_TEMPORAL_JUSTIFICATION_UNWIND

public static final SubLSymbol $sym20$SBHL_TEMPORAL_JUSTIFICATION_UNWIND

$sym21$SBHL_PUSH_UNWIND_ONTO_RESULT

public static final SubLSymbol $sym21$SBHL_PUSH_UNWIND_ONTO_RESULT

$str22$_S_is_not_a_transitive_module

public static final SubLString $str22$_S_is_not_a_transitive_module

$const23$UniversalVocabularyMt

public static final SubLObject $const23$UniversalVocabularyMt

$const24$disjointWith

public static final SubLObject $const24$disjointWith

$sym25$NOT_GENL_INVERSE_MODE_P

public static final SubLSymbol $sym25$NOT_GENL_INVERSE_MODE_P

$sym26$GENL_INVERSE_MODE_P

public static final SubLSymbol $sym26$GENL_INVERSE_MODE_P

$sym27$NON_EMPTY_EXTENT

public static final SubLSymbol $sym27$NON_EMPTY_EXTENT

$str28$Using_potentially_unsupported_gat

public static final SubLString $str28$Using_potentially_unsupported_gat

$str29$Using_potentially_unsupported_unm

public static final SubLString $str29$Using_potentially_unsupported_unm

$list30

public static final SubLList $list30

$sym31$SBHL_PUSH_ONTO_RESULT

public static final SubLSymbol $sym31$SBHL_PUSH_ONTO_RESULT

$sym32$SBHL_PUSH_ONTO_RESULT_WITH_PRUNE

public static final SubLSymbol $sym32$SBHL_PUSH_ONTO_RESULT_WITH_PRUNE

$sym33$SBHL_NODE_IS_GOAL_NODE

public static final SubLSymbol $sym33$SBHL_NODE_IS_GOAL_NODE

$sym34$SBHL_NODE_MARKED_AS_GOAL_NODE

public static final SubLSymbol $sym34$SBHL_NODE_MARKED_AS_GOAL_NODE

$sym35$SBHL_GATHER_FIRST_NON_NIL_RESULT

public static final SubLSymbol $sym35$SBHL_GATHER_FIRST_NON_NIL_RESULT

$sym36$SBHL_GATHER_FIRST_NON_NIL_RESULT_WITH_PRUNE

public static final SubLSymbol $sym36$SBHL_GATHER_FIRST_NON_NIL_RESULT_WITH_PRUNE

$sym37$SBHL_APPLY_COMPOSE_FN

public static final SubLSymbol $sym37$SBHL_APPLY_COMPOSE_FN

$sym38$SBHL_APPLY_COMPOSE_FN_AND_COMBINE_WITH_RESULT

public static final SubLSymbol $sym38$SBHL_APPLY_COMPOSE_FN_AND_COMBINE_WITH_RESULT

$sym39$SBHL_GATHER_DEAD_END_NODES

public static final SubLSymbol $sym39$SBHL_GATHER_DEAD_END_NODES

$sym40$SBHL_GATHER_FIRST_DEAD_END_NODE_AND_ENQUEUE_OTHERS

public static final SubLSymbol $sym40$SBHL_GATHER_FIRST_DEAD_END_NODE_AND_ENQUEUE_OTHERS

$str41$attempting_to_bind_direction_link

public static final SubLString $str41$attempting_to_bind_direction_link

$list42

public static final SubLList $list42

$sym43$SBHL_SIMPLE_TRUE_SEARCH_AND_UNWIND

public static final SubLSymbol $sym43$SBHL_SIMPLE_TRUE_SEARCH_AND_UNWIND

$sym44$SBHL_LEAF_INSTANCES_SWEEP

public static final SubLSymbol $sym44$SBHL_LEAF_INSTANCES_SWEEP

$str45$attempt_to_call_unsupported_sbhl_

public static final SubLString $str45$attempt_to_call_unsupported_sbhl_

$sym46$SBHL_CONSIDER_NODE

public static final SubLSymbol $sym46$SBHL_CONSIDER_NODE

$sym47$SBHL_CONSIDER_UNMARKED_NODE

public static final SubLSymbol $sym47$SBHL_CONSIDER_UNMARKED_NODE

$sym48$SBHL_SWEEP_WITH_CARRYING_MODULE

public static final SubLSymbol $sym48$SBHL_SWEEP_WITH_CARRYING_MODULE

$sym49$SBHL_STEP_WITH_CARRIED_MODULE

public static final SubLSymbol $sym49$SBHL_STEP_WITH_CARRIED_MODULE

$sym50$SBHL_STEP_DISJOINS_AND_SWEEP_INHERITED

public static final SubLSymbol $sym50$SBHL_STEP_DISJOINS_AND_SWEEP_INHERITED

$sym51$SBHL_SWEEP_INHERITED_DISJOINS

public static final SubLSymbol $sym51$SBHL_SWEEP_INHERITED_DISJOINS

$sym52$SBHL_STEP_AND_CHECK_MARKINGS

public static final SubLSymbol $sym52$SBHL_STEP_AND_CHECK_MARKINGS

$sym53$SBHL_STEP_FALSE_AND_SWEEP_OPPOSITE

public static final SubLSymbol $sym53$SBHL_STEP_FALSE_AND_SWEEP_OPPOSITE

$sym54$SBHL_SWEEP_OPPOSITE_FOR_FALSE

public static final SubLSymbol $sym54$SBHL_SWEEP_OPPOSITE_FOR_FALSE

$sym55$SBHL_CHECK_CUTOFF

public static final SubLSymbol $sym55$SBHL_CHECK_CUTOFF

$sym56$SBHL_SWEEP_FORWARD_STEP_FALSE_DISJOINS_AND_SWEEP_FORWARD_NOTS

public static final SubLSymbol $sym56$SBHL_SWEEP_FORWARD_STEP_FALSE_DISJOINS_AND_SWEEP_FORWARD_NOTS

$sym57$SBHL_CONSIDER_ANY_NODE

public static final SubLSymbol $sym57$SBHL_CONSIDER_ANY_NODE

$sym58$SBHL_NODE_LOCALLY_DISJOINT_WITH_SELF_P

public static final SubLSymbol $sym58$SBHL_NODE_LOCALLY_DISJOINT_WITH_SELF_P

$sym59$SBHL_SWEEP_FORWARD_NOTS

public static final SubLSymbol $sym59$SBHL_SWEEP_FORWARD_NOTS

$sym60$SBHL_STEP_GATHER_DISJOINS

public static final SubLSymbol $sym60$SBHL_STEP_GATHER_DISJOINS

$sym61$SBHL_STEP_GATHER_FIRST_DISJOIN

public static final SubLSymbol $sym61$SBHL_STEP_GATHER_FIRST_DISJOIN

$sym62$SBHL_GATHER_FIRST_TARGET_UNMARKED_NODE

public static final SubLSymbol $sym62$SBHL_GATHER_FIRST_TARGET_UNMARKED_NODE

$sym63$SBHL_GATHER_FIRST_NODE

public static final SubLSymbol $sym63$SBHL_GATHER_FIRST_NODE

$str64$invalid_module_type__a

public static final SubLString $str64$invalid_module_type__a

$sym65$SBHL_LEAF_INSTANCES_STEP

public static final SubLSymbol $sym65$SBHL_LEAF_INSTANCES_STEP

$sym66$SBHL_ENQUEUE_NODE_IN_LEAF_QUEUE

public static final SubLSymbol $sym66$SBHL_ENQUEUE_NODE_IN_LEAF_QUEUE

$sym67$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym67$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw68$ERROR

public static final SubLSymbol $kw68$ERROR

$str69$_A_is_not_a__A

public static final SubLString $str69$_A_is_not_a__A

$sym70$SBHL_TRUE_TV_P

public static final SubLSymbol $sym70$SBHL_TRUE_TV_P

$kw71$CERROR

public static final SubLSymbol $kw71$CERROR

$str72$continue_anyway

public static final SubLString $str72$continue_anyway

$kw73$WARN

public static final SubLSymbol $kw73$WARN

$str74$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str74$_A_is_not_a_valid__sbhl_type_erro

$const75$True_JustificationTruth

public static final SubLObject $const75$True_JustificationTruth

$kw76$RESOURCE

public static final SubLSymbol $kw76$RESOURCE

$sym77$SBHL_TEST_FOR_PREVIOUS_EXTREMAL_PATHS

public static final SubLSymbol $sym77$SBHL_TEST_FOR_PREVIOUS_EXTREMAL_PATHS

$const78$genlInverse

public static final SubLObject $const78$genlInverse

$const79$genlPreds

public static final SubLObject $const79$genlPreds

$sym80$SBHL_TARGET_SWEEP_STEP_DISJOINS_AND_CHECK

public static final SubLSymbol $sym80$SBHL_TARGET_SWEEP_STEP_DISJOINS_AND_CHECK

$list81

public static final SubLList $list81

$str82$Unexpected_direction____S

public static final SubLString $str82$Unexpected_direction____S

$kw83$INVERSE

public static final SubLSymbol $kw83$INVERSE

$str84$KB_access_missed_for_SBHL__S_to__

public static final SubLString $str84$KB_access_missed_for_SBHL__S_to__

$str85$KB_access_missed_for_SBHL__S_to__

public static final SubLString $str85$KB_access_missed_for_SBHL__S_to__

Method Detail

determine_sbhl_search_behavior

public static final SubLObject determine_sbhl_search_behavior(SubLObject module,
                                                              SubLObject direction,
                                                              SubLObject tv)

Accessor: @return function-spec-p. Returns the name of the search function to call, as determined by MODULE's type, DIRECTION, and TV.

determine_sbhl_terminating_marking_space

public static final SubLObject determine_sbhl_terminating_marking_space(SubLObject search_behavior)

Accessor: @return sbhl-space-object-p; uses SEARCH-BEHAVIOR to determine which marking space will contain goal markings.

sbhl_module_premarks_gather_nodes_p

public static final SubLObject sbhl_module_premarks_gather_nodes_p()

Accessor. @return booleanp; whether MODULE marks in gather space before performing other search. Used for boolean disjoins searches.

sbhl_just_gaf

public static final SubLObject sbhl_just_gaf(SubLObject just_step)

Accessor. @return listp; the gaf part of JUST-STEP.

sbhl_just_mt

public static final SubLObject sbhl_just_mt(SubLObject just_step)

Accessor. @return sbhl-mt-object-p; the mt of JUST-STEP.

sbhl_possibly_just_mt

public static final SubLObject sbhl_possibly_just_mt(SubLObject just_step,
                                                     SubLObject mt)

sbhl_just_tv

public static final SubLObject sbhl_just_tv(SubLObject just_step)

Accessor. @return sbhl-tv-object-p; the truth value of JUST-STEP.

sbhl_gaf_pred

public static final SubLObject sbhl_gaf_pred(SubLObject gaf_formula)

Accessor. @return fort-p; the predicate of GAF-FORMULA

sbhl_find_gaf

public static final SubLObject sbhl_find_gaf(SubLObject gaf_formula,
                                             SubLObject mt,
                                             SubLObject tv)

Accessor. @return gaf-assertion?; the assertion associated with GAF-FORMULA and MT. if the predicate of GAF-FORMULA is symmetric, the associated assertion may have it's arguments flipped.

sbhl_assemble_justification_step

public static final SubLObject sbhl_assemble_justification_step(SubLObject just_step,
                                                                SubLObject mt)

Accessor. Takes JUST-STEP and assembles a justification step it according to @see get-sbhl-just-behavior. The return is either a list or an assertion.

sbhl_assemble_justification

public static final SubLObject sbhl_assemble_justification(SubLObject just_path,
                                                           SubLObject mt)

Returns:: listp; the justification distilled from repeated application of @see sbhl-assemble-justification-step, to JUST-PATH.

sbhl_handle_justification

public static final SubLObject sbhl_handle_justification(SubLObject method,
                                                         SubLObject module,
                                                         SubLObject node1,
                                                         SubLObject node2,
                                                         SubLObject mt,
                                                         SubLObject tv,
                                                         SubLObject behavior,
                                                         SubLObject justify_node_equalityP)

Wraps the execution of METHOD (with args NODE1 NODE2 MT TV) so that justifications will be accumulated on the unwind. Justification behavior is governed by BEHAVIOR.

sbhl_module_transitivity_support

public static final SubLObject sbhl_module_transitivity_support(SubLObject module,
                                                                SubLObject mt)

apply_sbhl_add_node_test

public static final SubLObject apply_sbhl_add_node_test(SubLObject test_fn,
                                                        SubLObject node)

sbhl_push_onto_result

public static final SubLObject sbhl_push_onto_result(SubLObject node)

Modifier. will push NODE onto @see *sbhl-result*.

sbhl_push_onto_result_if

public static final SubLObject sbhl_push_onto_result_if(SubLObject node)

Modifier. will push NODE onto *sbhl-result* if applying *sbhl-compose-fn* to node gives a non-nil answer.

sbhl_push_unwind_onto_result

public static final SubLObject sbhl_push_unwind_onto_result(SubLObject nodelist)

Modifier: will push a list of *sbhl-module*, the nodes in NODELIST, *sbhl-link-mt*, and sbhl-link-tv* onto the result. If search is a time search, instead calls @see sbhl-temporal-justification-unwind.

sbhl_apply_compose_fn

public static final SubLObject sbhl_apply_compose_fn(SubLObject node)

Modifier. Applies *sbhl-compose-fn* to NODE.

sbhl_gather_first_non_nil_result

public static final SubLObject sbhl_gather_first_non_nil_result(SubLObject node)

Modifier. Applies *sbhl-compose-fn* to node. If the result non-nil, sets *sbhl-result* to the result, and sets *sbhl-finished?* to true.

sbhl_gather_first_non_nil_result_with_prune

public static final SubLObject sbhl_gather_first_non_nil_result_with_prune(SubLObject node)

Modifier. Applies *sbhl-compose-fn* to node. *sbhl-compose-fn* should return a list of two values: result and done? If the result non-nil, sets *sbhl-result* to the result, and sets *sbhl-finished?* to true. If the result is nil, sets *sbhl-finished?* to the value of done?

set_sbhl_boolean_goal_conditions

public static final SubLObject set_sbhl_boolean_goal_conditions()

Modifier. Sets *sbhl-result* to true, and sets *sbhl-finished?* to indicate that the goal was found.

sbhl_node_marked_as_goal_node

public static final SubLObject sbhl_node_marked_as_goal_node(SubLObject node)

Modifier. Determines if NODE is marked with a terminating mark in the *sbhl-goal-space*. If so, calls @see set-sbhl-boolean-goal-conditions.

sbhl_node_is_goal_node

public static final SubLObject sbhl_node_is_goal_node(SubLObject node)

Modifier. Determines if NODE is the current *sbhl-goal-node*. If so, calls @see set-sbhl-boolean-goal-conditions.

sbhl_check_cutoff

public static final SubLObject sbhl_check_cutoff(SubLObject node)

Modifier. Checks cutoff conditions and terminates search if cutoff is reached.

apply_sbhl_consider_node_fn

public static final SubLObject apply_sbhl_consider_node_fn(SubLObject fn,
                                                           SubLObject node)

Modifier: applies FN to NODE. Used at each step of search.

apply_sbhl_consider_unmarked_node_fn

public static final SubLObject apply_sbhl_consider_unmarked_node_fn(SubLObject fn,
                                                                    SubLObject node)

Modifier: applies FN to NODE. Used at each step of some unmarking searches.

sbhl_consider_node

public static final SubLObject sbhl_consider_node(SubLObject node)

Modifier. Called during search on each NODE. Determines behavior with @see *sbhl-consider-node-fn*

sbhl_consider_any_node

public static final SubLObject sbhl_consider_any_node(SubLObject node)

Modifier. Called during search to check any NODE, without passing through an add node test

sbhl_consider_unmarked_node

public static final SubLObject sbhl_consider_unmarked_node(SubLObject node)

Modifier. Called upon each NODE during unmarking searches which gather node.

sbhl_mark_and_sweep

public static final SubLObject sbhl_mark_and_sweep(SubLObject node)

Modifier. The recursive search workhouse. Stops recurring when NODE's marking indicates path termination @see sbhl-search-path-termination-p. Dynamically rebinds @see *sbhl-search-parent-marking*, when it gathers new nodes during search, with either a search mapping function (@see apply-sbhl-mapping-function), or recurring among link-nodes (@see do-accessible-sbhl-link-nodes).

sbhl_unmark_and_sweep

public static final SubLObject sbhl_unmark_and_sweep(SubLObject node)

Modifier. The recursive search workhouse, for searches on marked nodes. Stops recurring when NODE's marking does not indicate path termination @see sbhl-search-path-termination-p. Dynamically rebinds @see *sbhl-search-parent-marking*, when it gathers new nodes during search, with either a search mapping function (@see apply-sbhl-mapping-function), or recurring among link-nodes (@see do-accessible-sbhl-link-nodes).

sbhl_step_and_suspend_mark

public static final SubLObject sbhl_step_and_suspend_mark(SubLObject node,
                                                          SubLObject suspend_test_p)

Mofifier: Steps over NODE's accessible links, ignoring NODE's marking if SUSPEND-TEST-P is true. Does not mark node. Applies sbhl-mapping-function.

sbhl_step_and_mark

public static final SubLObject sbhl_step_and_mark(SubLObject node)

Modifier: Steps over NODE's accessible unmarked links, testing their markings and subsequently marking them. Applies sbhl-mapping-function.

sbhl_sweep

public static final SubLObject sbhl_sweep(SubLObject module,
                                          SubLObject link_direction,
                                          SubLObject tv,
                                          SubLObject space,
                                          SubLObject map_fn,
                                          SubLObject node,
                                          SubLObject unmarkingP)

Takes MODULE, TV, LINK-DIRECTION, SPACE, and MAP-FN parameter and binds them for the execution of @sbhl-mark-and-sweep, as applied to NODE.

sbhl_unmark_sweep

public static final SubLObject sbhl_unmark_sweep(SubLObject module,
                                                 SubLObject link_direction,
                                                 SubLObject tv,
                                                 SubLObject space,
                                                 SubLObject map_fn,
                                                 SubLObject node)

Takes MODULE, TV, LINK-DIRECTION, SPACE, and MAP-FN parameter and binds them for the execution of @sbhl-unmark-and-sweep, as applied to NODE.

sbhl_step

public static final SubLObject sbhl_step(SubLObject module,
                                         SubLObject link_direction,
                                         SubLObject tv,
                                         SubLObject space,
                                         SubLObject map_fn,
                                         SubLObject node,
                                         SubLObject suspend_marking_p,
                                         SubLObject suspend_test_p)

Takes MODULE, TV, LINK-DIRECTION, SPACE, and MAP-FN parameter and binds them for the execution of @sbhl-step-and-mark, as applied to NODE.

sbhl_step_through

public static final SubLObject sbhl_step_through(SubLObject module,
                                                 SubLObject link_direction,
                                                 SubLObject tv,
                                                 SubLObject space,
                                                 SubLObject map_fn,
                                                 SubLObject node)

sbhl_step_and_test

public static final SubLObject sbhl_step_and_test(SubLObject module,
                                                  SubLObject link_direction,
                                                  SubLObject tv,
                                                  SubLObject space,
                                                  SubLObject map_fn,
                                                  SubLObject node,
                                                  SubLObject unmarkingP)

sbhl_step_and_perform_marking

public static final SubLObject sbhl_step_and_perform_marking(SubLObject module,
                                                             SubLObject link_direction,
                                                             SubLObject tv,
                                                             SubLObject space,
                                                             SubLObject map_fn,
                                                             SubLObject node,
                                                             SubLObject unmarkingP)

apply_sbhl_search_behavior

public static final SubLObject apply_sbhl_search_behavior(SubLObject behavior,
                                                          SubLObject node)

apply_sbhl_mapping_function

public static final SubLObject apply_sbhl_mapping_function(SubLObject node)

sbhl_apply_unwind_function

public static final SubLObject sbhl_apply_unwind_function(SubLObject node)

sbhl_simple_true_search

public static final SubLObject sbhl_simple_true_search(SubLObject node)

Used for basic true searches. Applies @see sbhl-sweep, upon NODE with current search module, link direction corresponding to current search direction, with a true tv, in @see *sbhl-space*, with map-fn @see sbhl-consider-node.

sbhl_simple_false_search

public static final SubLObject sbhl_simple_false_search(SubLObject node)

Used as first part of false searches; it gathers all nodes related by true predicate links that would carry a false relation to NODE. Applies @see sbhl-sweep, upon NODE with current search module, link direction corresponding to current search direction, with a true tv, in @see *sbhl-space*, with map-fn @see sbhl-step-false-and-sweep-opposite.

sbhl_step_false_and_sweep_opposite

public static final SubLObject sbhl_step_false_and_sweep_opposite(SubLObject node)

Used as second part of false searches; it steps across false relations to NODE. Applies @see sbhl-step, upon NODE with current search module, current link direction, with a false tv, in @see *sbhl-gather-space*, with map-fn @see sweep-opposite-for-false.

sbhl_step_and_sweep_with_tt_module

public static final SubLObject sbhl_step_and_sweep_with_tt_module(SubLObject node)

Used for step part of step and sweep searches. Applies @see sbhl-step, upon NODE with current search module, link direction corresponding to current search direction, with @see *sbhl-tv*, in @see *sbhl-space*, with map-fn @see sbhl-sweep-with-carrying-module.

sbhl_sweep_with_carrying_module

public static final SubLObject sbhl_sweep_with_carrying_module(SubLObject node)

Used for sweep part of step and sweep searches. Applies @see sbhl-sweep, upon NODE with current search transfers-through module, current link direction for inheriting true relations and opposite direction to link direction for inheriting false relations, with a true tv, in @see *sbhl-gather-space*, with map-fn @see sbhl-consider-node.

sbhl_sweep_with_tt_module_carry_step

public static final SubLObject sbhl_sweep_with_tt_module_carry_step(SubLObject node)

Used for sweep part of sweep and step searches. Applies @see sbhl-sweep, upon NODE with current transfers-through module, uses link direction corresponding to search direction for inheriting true relations and the opposite link direction for inheriting false relations, with a true tv, in @see *sbhl-space*, with map-fn @see sbhl-step-with-carried-module.

sbhl_step_with_carried_module

public static final SubLObject sbhl_step_with_carried_module(SubLObject node)

Used for step part of sweep and step searches. Applies @see sbhl-step, upon NODE with current search module, uses link direction for true relations and its opposite for false ones, with *sbhl-tv*, in @see *sbhl-gather-space*, with map-fn @see sbhl-consider-node.

sbhl_sweep_step_disjoins_and_sweep_again

public static final SubLObject sbhl_sweep_step_disjoins_and_sweep_again(SubLObject node)

Used as first part of disjoins searches, or second part of boolean disjoins searches; it gathers all nodes related by true predicate links that would carry a disjoins relation to NODE. Applies @see sbhl-sweep, upon NODE with module the disjoins transfers through, forward link direction corresponding to current search direction, with a true tv, in @see *sbhl-space*, with map-fn @see sbhl-step-disjoins-and-sweep-inherited.

sbhl_step_disjoins_and_sweep_inherited

public static final SubLObject sbhl_step_disjoins_and_sweep_inherited(SubLObject node)

Used as second part of disjoins closure searches; it steps across disjoins relations to NODE. Applies @see sbhl-step, upon NODE with current search module, undirected link direction, with *sbhl-tv*, in @see *sbhl-gather-space*, with map-fn @see sweep-inherited-disjoins.

sbhl_sweep_inherited_disjoins

public static final SubLObject sbhl_sweep_inherited_disjoins(SubLObject node)

Used as third part of disjoins closure searches; it gathers all of the inherited disjoins relations. Applies @see sbhl-sweep, upon NODE with current module disjoins transfers through, forward link direction for true searches and backward link direction for false searches, with a true tv, in @see *sbhl-gather-space*, with map-fn @see sbhl-consider-node.

sbhl_step_and_check_markings

public static final SubLObject sbhl_step_and_check_markings(SubLObject node)

Used as third part of disjoins boolean search; it steps across disjoins relations of NODE checking for link nodes marked in gather-space. Applies @see sbhl-step, upon NODE with current search module, undirected link direction, with *sbhl-tv*, in @see *sbhl-space*, with map-fn @see sbhl-consider-any-node

sbhl_node_locally_disjoint_with_self_p

public static final SubLObject sbhl_node_locally_disjoint_with_self_p(SubLObject node)

sbhl_empty_extent_p

public static final SubLObject sbhl_empty_extent_p(SubLObject node)

sbhl_goal_empty_extent_p

public static final SubLObject sbhl_goal_empty_extent_p()

sbhl_sweep_forward_step_false_disjoins_and_sweep_forward_nots

public static final SubLObject sbhl_sweep_forward_step_false_disjoins_and_sweep_forward_nots(SubLObject node)

Used in false-disjoins searches while sweeping all backward nodes. From each it gathers the forward true closure and the local false disjoins and the closures from them.

sbhl_sweep_and_gather_disjoins

public static final SubLObject sbhl_sweep_and_gather_disjoins(SubLObject node)

Used to gather the extremal disjoins. Sweeps the transfer through module and gathers asserted disjoins with @see sbhl-step-gather-disjoins.

sbhl_step_gather_disjoins

public static final SubLObject sbhl_step_gather_disjoins(SubLObject node)

Steps and marks asserted disjoins of NODE. Used to gather extremal disjoins.

sbhl_check_disjoins_of_all_backward_nodes

public static final SubLObject sbhl_check_disjoins_of_all_backward_nodes(SubLObject node)

Used for implied false relations, which need to check the disjoins of all of the backward closure of NODE.

sbhl_target_sweep_step_disjoins_and_check

public static final SubLObject sbhl_target_sweep_step_disjoins_and_check(SubLObject node)

declare_sbhl_search_utilities_file

public static final SubLObject declare_sbhl_search_utilities_file()

init_sbhl_search_utilities_file

public static final SubLObject init_sbhl_search_utilities_file()

setup_sbhl_search_utilities_file

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

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_search_utilities

me

myName

$sym0$SBHL_MODULE_P

$sym1$SBHL_SIMPLE_TRUE_SEARCH

$sym2$SBHL_SIMPLE_FALSE_SEARCH

$sym3$SBHL_STEP_AND_SWEEP_WITH_TT_MODULE

$sym4$SBHL_SWEEP_WITH_TT_MODULE_CARRY_STEP

$sym5$SBHL_SWEEP_STEP_DISJOINS_AND_SWEEP_AGAIN

$str6$Search_behavior_not_recognized__S

$str7$Search_Behavior_not_recognized___

$kw8$TRUE

$kw9$TRUE_DEF

$kw10$FALSE

$kw11$FALSE_DEF

$list12

$kw13$OLD

$kw14$ASSERTION

$kw15$VERBOSE

$str16$incorrect_justification_assembly_

$kw17$REFLEXIVE

$const18$equals

$const19$MonotonicallyTrue

$sym20$SBHL_TEMPORAL_JUSTIFICATION_UNWIND

$sym21$SBHL_PUSH_UNWIND_ONTO_RESULT

$str22$_S_is_not_a_transitive_module

$const23$UniversalVocabularyMt

$const24$disjointWith

$sym25$NOT_GENL_INVERSE_MODE_P

$sym26$GENL_INVERSE_MODE_P

$sym27$NON_EMPTY_EXTENT

$str28$Using_potentially_unsupported_gat

$str29$Using_potentially_unsupported_unm

$list30

$sym31$SBHL_PUSH_ONTO_RESULT

$sym32$SBHL_PUSH_ONTO_RESULT_WITH_PRUNE

$sym33$SBHL_NODE_IS_GOAL_NODE

$sym34$SBHL_NODE_MARKED_AS_GOAL_NODE

$sym35$SBHL_GATHER_FIRST_NON_NIL_RESULT

$sym36$SBHL_GATHER_FIRST_NON_NIL_RESULT_WITH_PRUNE

$sym37$SBHL_APPLY_COMPOSE_FN

$sym38$SBHL_APPLY_COMPOSE_FN_AND_COMBINE_WITH_RESULT

$sym39$SBHL_GATHER_DEAD_END_NODES

$sym40$SBHL_GATHER_FIRST_DEAD_END_NODE_AND_ENQUEUE_OTHERS

$str41$attempting_to_bind_direction_link

$list42

$sym43$SBHL_SIMPLE_TRUE_SEARCH_AND_UNWIND

$sym44$SBHL_LEAF_INSTANCES_SWEEP

$str45$attempt_to_call_unsupported_sbhl_

$sym46$SBHL_CONSIDER_NODE

$sym47$SBHL_CONSIDER_UNMARKED_NODE

$sym48$SBHL_SWEEP_WITH_CARRYING_MODULE

$sym49$SBHL_STEP_WITH_CARRIED_MODULE

$sym50$SBHL_STEP_DISJOINS_AND_SWEEP_INHERITED

$sym51$SBHL_SWEEP_INHERITED_DISJOINS

$sym52$SBHL_STEP_AND_CHECK_MARKINGS

$sym53$SBHL_STEP_FALSE_AND_SWEEP_OPPOSITE

$sym54$SBHL_SWEEP_OPPOSITE_FOR_FALSE

$sym55$SBHL_CHECK_CUTOFF

$sym56$SBHL_SWEEP_FORWARD_STEP_FALSE_DISJOINS_AND_SWEEP_FORWARD_NOTS

$sym57$SBHL_CONSIDER_ANY_NODE

$sym58$SBHL_NODE_LOCALLY_DISJOINT_WITH_SELF_P

$sym59$SBHL_SWEEP_FORWARD_NOTS

$sym60$SBHL_STEP_GATHER_DISJOINS

$sym61$SBHL_STEP_GATHER_FIRST_DISJOIN

$sym62$SBHL_GATHER_FIRST_TARGET_UNMARKED_NODE

$sym63$SBHL_GATHER_FIRST_NODE

$str64$invalid_module_type__a

$sym65$SBHL_LEAF_INSTANCES_STEP

$sym66$SBHL_ENQUEUE_NODE_IN_LEAF_QUEUE

$sym67$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw68$ERROR

$str69$_A_is_not_a__A

$sym70$SBHL_TRUE_TV_P

$kw71$CERROR

$str72$continue_anyway

$kw73$WARN

$str74$_A_is_not_a_valid__sbhl_type_erro

$const75$True_JustificationTruth

$kw76$RESOURCE

com.cyc.cycjava.cycl.sbhl
Class sbhl_search_utilities