sbhl_search

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_vars

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class sbhl_search_vars
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`sbhl_search_vars.$relevant_sbhl_tv_is_general_tv$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const145$True_JustificationTruth`
`static SubLObject`	`$const146$False_JustificationTruth`
`static SubLObject`	`$const147$MonotonicallyTrue`
`static SubLObject`	`$const148$DefaultTrue`
`static SubLObject`	`$const149$ArbitraryTruth_JustifactionTruth`
`static SubLObject`	`$const150$ArbitraryTruth_JustificationTruth`
`static SubLObject`	`$const151$MonotonicallyFalse`
`static SubLObject`	`$const152$DefaultFalse`
`static SubLObject`	`$const153$JustifactionTruth`
`static SubLObject`	`$const154$Unknown_JustificationTruth`
`static SubLObject`	`$const49$genlInverse`
`static SubLObject`	`$const50$genlPreds`
`static SubLObject`	`$const51$negationInverse`
`static SubLObject`	`$const52$negationPreds`
`static SubLSymbol`	$genl_inverse_mode_p$ Whether current search state has argument order flipped from search's initial order
`static SubLSymbol`	$infer_nat_sbhlP$ permit isa module to infer isa/genls of reified nats from result-type of functor?
`static SubLSymbol`	`$kw155$ERROR`
`static SubLSymbol`	`$kw158$CERROR`
`static SubLSymbol`	`$kw160$WARN`
`static SubLSymbol`	`$kw163$TRUE`
`static SubLSymbol`	`$kw164$FALSE`
`static SubLSymbol`	`$kw166$TRUE_MON`
`static SubLSymbol`	`$kw167$TRUE_DEF`
`static SubLSymbol`	`$kw168$FALSE_MON`
`static SubLSymbol`	`$kw169$FALSE_DEF`
`static SubLSymbol`	`$kw27$CLOSURE`
`static SubLSymbol`	`$kw28$BOOLEAN`
`static SubLSymbol`	`$kw29$WHAT_MTS`
`static SubLSymbol`	`$kw36$OLD`
`static SubLSymbol`	`$kw75$FORWARD`
`static SubLSymbol`	`$kw76$BACKWARD`
`static SubLSymbol`	`$kw92$GOAL`
`static SubLSymbol`	`$kw93$CUTOFF`
`static SubLList`	`$list100`
`static SubLList`	`$list101`
`static SubLList`	`$list104`
`static SubLList`	`$list105`
`static SubLList`	`$list111`
`static SubLList`	`$list113`
`static SubLList`	`$list115`
`static SubLList`	`$list117`
`static SubLList`	`$list120`
`static SubLList`	`$list123`
`static SubLList`	`$list128`
`static SubLList`	`$list13`
`static SubLList`	`$list133`
`static SubLList`	`$list134`
`static SubLList`	`$list135`
`static SubLList`	`$list137`
`static SubLList`	`$list139`
`static SubLList`	`$list140`
`static SubLList`	`$list142`
`static SubLList`	`$list143`
`static SubLList`	`$list144`
`static SubLList`	`$list172`
`static SubLList`	`$list175`
`static SubLList`	`$list176`
`static SubLList`	`$list178`
`static SubLList`	`$list179`
`static SubLList`	`$list182`
`static SubLList`	`$list183`
`static SubLList`	`$list186`
`static SubLList`	`$list188`
`static SubLList`	`$list189`
`static SubLList`	`$list191`
`static SubLList`	`$list192`
`static SubLList`	`$list193`
`static SubLList`	`$list22`
`static SubLList`	`$list23`
`static SubLList`	`$list30`
`static SubLList`	`$list32`
`static SubLList`	`$list34`
`static SubLList`	`$list41`
`static SubLList`	`$list42`
`static SubLList`	`$list43`
`static SubLList`	`$list44`
`static SubLList`	`$list45`
`static SubLList`	`$list46`
`static SubLList`	`$list47`
`static SubLList`	`$list53`
`static SubLList`	`$list60`
`static SubLList`	`$list61`
`static SubLList`	`$list63`
`static SubLList`	`$list64`
`static SubLList`	`$list65`
`static SubLList`	`$list66`
`static SubLList`	`$list67`
`static SubLList`	`$list68`
`static SubLList`	`$list70`
`static SubLList`	`$list74`
`static SubLList`	`$list77`
`static SubLList`	`$list80`
`static SubLList`	`$list81`
`static SubLList`	`$list82`
`static SubLList`	`$list83`
`static SubLList`	`$list86`
`static SubLList`	`$list87`
`static SubLList`	`$list88`
`static SubLList`	`$list89`
`static SubLList`	`$list90`
`static SubLList`	`$list91`
`static SubLList`	`$list94`
`static SubLList`	`$list95`
`static SubLList`	`$list98`
`static SubLSymbol`	$maximize_sbhl_resultP$ obsolete
`static SubLSymbol`	$minimize_sbhl_resultP$ obsolete
`static SubLSymbol`	$relevant_sbhl_tv_function$ the truth relevance function for the current search
`static SubLSymbol`	$sbhl_access_arg$ the arg accessed in current sbhl mapping.
`static SubLSymbol`	$sbhl_accessed_gather_nodes$ the nodes upon which a gather has already been performed.
`static SubLSymbol`	$sbhl_add_node_to_result_test$ the function used to govern adding nodes to the result during search
`static SubLSymbol`	$sbhl_add_unmarked_node_to_result_test$ the function used to govern adding nodes to the result of an unmarking search
`static SubLSymbol`	$sbhl_apply_unwind_function_p$ Toggle determining whether to apply sbhl-unwind-function
`static SubLSymbol`	$sbhl_backward_search_direction$ The keyword specifying backward search
`static SubLSymbol`	$sbhl_check_for_goal_marking_p$ Whether to check whether a node is marked as :goal before checking other marking in search path termination.
`static SubLSymbol`	$sbhl_combine_fn$ function applied to each node during closure searches.
`static SubLSymbol`	$sbhl_compose_fn$ function applied to each node during closure searches.
`static SubLSymbol`	$sbhl_consider_node_fn$ function applied to each node during closure searches.
`static SubLSymbol`	$sbhl_current_leaf_queue$ Current search path during sample leaves search.
`static SubLSymbol`	$sbhl_dependents_cut_node$ The source node in dependent searches
`static SubLSymbol`	$sbhl_extremal_test_fn$ Function used to test extremal nodes
`static SubLSymbol`	$sbhl_finishedP$ Stores whether sbhl search is finished and if so, how.
`static SubLSymbol`	$sbhl_forward_search_direction$ The keyword specifying forward search
`static SubLSymbol`	$sbhl_goal_node$ The goal node for current search
`static SubLSymbol`	$sbhl_goal_nodes$ The goal nodes for current search for any goal
`static SubLSymbol`	$sbhl_index_arg$ Obsolete
`static SubLSymbol`	$sbhl_isaP_goal$ The goal node for current search
`static SubLSymbol`	$sbhl_justification_assembled_p$ has the justification path already been assembled?
`static SubLSymbol`	$sbhl_justification_behavior$ the current behavior used for assembling sbhl-justifications, and determining how their returns will appear
`static SubLSymbol`	$sbhl_justification_defaulted_old$ parameter used to indicate when justification was coerced and requires old justification behavior
`static SubLSymbol`	$sbhl_justification_result$ the result in justification searches.
`static SubLSymbol`	$sbhl_justification_search_p$ Does the current boolean search show the path that allowed success to be concluded
`static SubLSymbol`	$sbhl_map_function$ The recursive winding function of current search
`static SubLSymbol`	$sbhl_map_test_fn$ function applied to each node during closure searches.
`static SubLSymbol`	$sbhl_mapping_pred$ obsolete
`static SubLSymbol`	$sbhl_nodes_previous_marking$ previous marking of node
`static SubLSymbol`	$sbhl_precomputed_goal_space$ The space bound for marking successful paths in repeated boolean searches
`static SubLSymbol`	$sbhl_referent$ variable that can be used for comparison during sbhl searched
`static SubLSymbol`	$sbhl_result$ the result in search
`static SubLSymbol`	$sbhl_sample_leaf_queues$ The list of queues guiding sample leaf searches.
`static SubLSymbol`	$sbhl_search_behavior$ The current search's entry function
`static SubLSymbol`	$sbhl_search_direction$ The direction of current search
`static SubLSymbol`	$sbhl_search_index_arg$ The index arg for current search
`static SubLSymbol`	$sbhl_search_module_type$ The module type of the current search module.
`static SubLSymbol`	$sbhl_search_module$ The module initiating the current search
`static SubLSymbol`	$sbhl_search_parent_marking$ The current node's parent marking
`static SubLSymbol`	$sbhl_search_truth$ used to determine whether the search is true or false
`static SubLSymbol`	$sbhl_search_type$ The current type of search.
`static SubLSymbol`	$sbhl_search_types$ Different types of search, leading to different behaviors.
`static SubLSymbol`	$sbhl_stop_search_pathP$ stop mark and sweep from going further
`static SubLSymbol`	$sbhl_target_node$ The target node for current search
`static SubLSymbol`	$sbhl_tv$ search parameter
`static SubLSymbol`	$sbhl_unmarking_search_p$ Is current search an unmarking search
`static SubLSymbol`	$sbhl_unwind_function$ The function applied during recursive unwind.
`static SubLString`	`$str156$_A_is_not_a__A`
`static SubLString`	`$str159$continue_anyway`
`static SubLString`	`$str161$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str162$Expected_true_or_false_sbhl_truth`
`static SubLString`	`$str165$unknown_truth_value_for_translati`
`static SubLString`	`$str170$Cannot_translate__s_truth_to_an_s`
`static SubLString`	`$str48$get_sbhl_search_module___sbhl_sea`
`static SubLSymbol`	`$sym0$POSSIBLY_WITH_NEW_SBHL_SPACES`
`static SubLSymbol`	`$sym1$WITH_NEW_SBHL_FINISHED`
`static SubLSymbol`	`$sym10$WITH_SBHL_BACKWARD_SEARCH_DIRECTION`
`static SubLSymbol`	`$sym102$CUNWIND_PROTECT`
`static SubLSymbol`	`$sym103$CSETQ`
`static SubLSymbol`	`$sym106$_SBHL_CONSIDER_NODE_FN_`
`static SubLSymbol`	`$sym107$_SBHL_COMPOSE_FN_`
`static SubLSymbol`	`$sym108$NCONC`
`static SubLSymbol`	`$sym109$_SBHL_COMBINE_FN_`
`static SubLSymbol`	`$sym11$WITH_SBHL_BACKWARD_LINK_DIRECTION`
`static SubLSymbol`	`$sym110$_SBHL_MAP_TEST_FN_`
`static SubLSymbol`	`$sym112$_SBHL_DEPENDENTS_CUT_NODE_`
`static SubLSymbol`	`$sym114$_SBHL_ACCESS_ARG_`
`static SubLSymbol`	`$sym116$_SBHL_REFERENT_`
`static SubLSymbol`	`$sym118$QUEUE`
`static SubLSymbol`	`$sym119$ENQUEUE`
`static SubLSymbol`	`$sym12$WITH_SBHL_FALSE_SEARCH`
`static SubLSymbol`	`$sym121$_SBHL_SAMPLE_LEAF_QUEUES_`
`static SubLSymbol`	`$sym122$LIST`
`static SubLSymbol`	`$sym124$QUEUE`
`static SubLSymbol`	`$sym125$WHILE`
`static SubLSymbol`	`$sym126$CAND`
`static SubLSymbol`	`$sym127$CNOT`
`static SubLSymbol`	`$sym129$FIRST`
`static SubLSymbol`	`$sym130$QUEUE_ELEMENTS`
`static SubLSymbol`	`$sym131$WITH_NEW_SBHL_LEAF_QUEUE`
`static SubLSymbol`	`$sym132$RPLACD`
`static SubLSymbol`	`$sym136$DEQUEUE`
`static SubLSymbol`	`$sym138$_SBHL_EXTREMAL_TEST_FN_`
`static SubLSymbol`	`$sym14$POSSIBLY_WITH_SBHL_MT_RELEVANCE`
`static SubLSymbol`	`$sym141$_SBHL_PRECOMPUTED_GOAL_SPACE_`
`static SubLSymbol`	`$sym15$POSSIBLY_WITH_SBHL_TRUE_TV`
`static SubLSymbol`	`$sym157$SBHL_SEARCH_TRUTH_VALUE_P`
`static SubLSymbol`	`$sym16$WITH_SBHL_FORWARD_TRUE_CONDITIONS`
`static SubLSymbol`	`$sym17$INITIALIZE_SBHL_SEARCH`
`static SubLSymbol`	`$sym171$_RELEVANT_SBHL_TV_FUNCTION_`
`static SubLSymbol`	`$sym173$_SBHL_TV_`
`static SubLSymbol`	`$sym174$WITH_SBHL_TV_FUNCTION`
`static SubLSymbol`	`$sym177$WITH_SBHL_TV`
`static SubLSymbol`	`$sym18$WITH_SBHL_BACKWARD_TRUE_CONDITIONS`
`static SubLSymbol`	`$sym180$TV_VAR`
`static SubLSymbol`	`$sym181$FIF`
`static SubLSymbol`	`$sym184$PWHEN`
`static SubLSymbol`	`$sym185$SBHL_CHECK_TYPE`
`static SubLSymbol`	`$sym187$TV_VAR`
`static SubLSymbol`	`$sym19$POSSIBLY_WITH_SBHL_FALSE_TV`
`static SubLSymbol`	`$sym190$TV_VAR`
`static SubLSymbol`	`$sym194$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE`
`static SubLSymbol`	`$sym2$WITH_NEW_SBHL_STOP_SEARCH_PATH`
`static SubLSymbol`	`$sym20$WITH_SBHL_FORWARD_FALSE_CONDITIONS`
`static SubLSymbol`	`$sym21$WITH_SBHL_BACKWARD_FALSE_CONDITIONS`
`static SubLSymbol`	`$sym24$CLET`
`static SubLSymbol`	`$sym25$_SBHL_SEARCH_TYPE_`
`static SubLSymbol`	`$sym26$WITH_SBHL_SEARCH_TYPE`
`static SubLSymbol`	`$sym3$RESET_SBHL_SEARCH_PARENT_MARKING`
`static SubLSymbol`	`$sym31$WITHOUT_SBHL_CACHES`
`static SubLSymbol`	`$sym33$WITH_SBHL_CACHES`
`static SubLSymbol`	`$sym35$_SBHL_SEARCH_BEHAVIOR_`
`static SubLSymbol`	`$sym37$_SBHL_JUSTIFICATION_BEHAVIOR_`
`static SubLSymbol`	`$sym38$PIF`
`static SubLSymbol`	`$sym39$BEHAVIOR`
`static SubLSymbol`	`$sym4$WITH_NEW_SBHL_PREVIOUS_MARKING`
`static SubLSymbol`	`$sym40$PROGN`
`static SubLSymbol`	`$sym5$WITH_NEW_SBHL_PREDICATE_MODE_SCOPE`
`static SubLSymbol`	`$sym54$_SBHL_SEARCH_MODULE_`
`static SubLSymbol`	`$sym55$_SBHL_SEARCH_MODULE_TYPE_`
`static SubLSymbol`	`$sym56$GET_SBHL_MODULE_TYPE`
`static SubLSymbol`	`$sym57$_SBHL_ADD_NODE_TO_RESULT_TEST_`
`static SubLSymbol`	`$sym58$GET_SBHL_ADD_NODE_TO_RESULT_TEST`
`static SubLSymbol`	`$sym59$WITH_SBHL_MODULE`
`static SubLSymbol`	`$sym6$WITH_SBHL_READER_LOCK`
`static SubLSymbol`	`$sym62$_GENL_INVERSE_MODE_P_`
`static SubLSymbol`	`$sym69$PRED`
`static SubLSymbol`	`$sym7$WITH_SBHL_TRUE_SEARCH`
`static SubLSymbol`	`$sym71$CDOLIST`
`static SubLSymbol`	`$sym72$_SBHL_ADD_UNMARKED_NODE_TO_RESULT_TEST_`
`static SubLSymbol`	`$sym73$GET_SBHL_MODULE`
`static SubLSymbol`	`$sym78$_SBHL_SEARCH_DIRECTION_`
`static SubLSymbol`	`$sym79$WITH_SBHL_SEARCH_DIRECTION`
`static SubLSymbol`	`$sym8$WITH_SBHL_FORWARD_SEARCH_DIRECTION`
`static SubLSymbol`	`$sym84$_SBHL_MAP_FUNCTION_`
`static SubLSymbol`	`$sym85$_SBHL_UNWIND_FUNCTION_`
`static SubLSymbol`	`$sym9$WITH_SBHL_FORWARD_LINK_DIRECTION`
`static SubLSymbol`	`$sym96$_SBHL_TARGET_NODE_`
`static SubLSymbol`	`$sym97$_SBHL_GOAL_NODE_`
`static SubLSymbol`	`$sym99$_SBHL_ISA__GOAL_`
`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`	`declare_sbhl_search_vars_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`flip_genl_inverse_modeP(SubLObject sbhl_module, SubLObject sbhl_search_module)`
`static SubLObject`	`genl_inverse_mode_p()` Accessor: @return booleanp.
`static SubLObject`	`get_sbhl_backward_search_direction()` Accessor.
`static SubLObject`	`get_sbhl_compose_fn()` Accessor.
`static SubLObject`	`get_sbhl_consider_node_fn()` Accessor.
`static SubLObject`	`get_sbhl_false_tv()`
`static SubLObject`	`get_sbhl_forward_search_direction()` Accessor.
`static SubLObject`	`get_sbhl_goal_node()` Accessor: @return sbhl-node-object-p; the @see sbhl-goal-node.
`static SubLObject`	`get_sbhl_goal_nodes()` Accessor: @return listp; the current goal nodes.
`static SubLObject`	`get_sbhl_just_behavior()`
`static SubLObject`	`get_sbhl_map_function()` Accessor.
`static SubLObject`	`get_sbhl_search_add_node_test()`
`static SubLObject`	`get_sbhl_search_add_unmarked_node_test()`
`static SubLObject`	`get_sbhl_search_behavior()` Accessor.
`static SubLObject`	`get_sbhl_search_direction()` Accessor.
`static SubLObject`	`get_sbhl_search_module_type()` Accessor.
`static SubLObject`	`get_sbhl_search_module()` Accessor.
`static SubLObject`	`get_sbhl_search_type()` Accessor.
`static SubLObject`	`get_sbhl_true_tv()`
`static SubLObject`	`get_sbhl_tv()`
`static SubLObject`	`get_sbhl_unwind_function()` Accessor.
`static SubLObject`	`init_sbhl_search_vars_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`not_genl_inverse_mode_p()` Accessor: @return booleanp.
`static SubLObject`	`relevant_sbhl_tv_is_general_tv(SubLObject tv)` Accessor: @return booleanp; whether TV generalizes to sbhl-tv
`static SubLObject`	`relevant_sbhl_tvP(SubLObject tv)` Accessor: @return booleanp; applies relevant-sbhl-tv-function to TV, or if no function is bound as default applies @see relevant-sbhl-tv-is-general-tv.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`sbhl_apply_unwind_function_p()` Accessor.
`static SubLObject`	`sbhl_backward_search_direction_p(SubLObject direction)` Accessor.
`static SubLObject`	`sbhl_backward_search_p()` Accessor: @return booleanp; whether the sbhl-search-direction is backward.
`static SubLObject`	`sbhl_boolean_search_p()` Accessor: @return booleanp; whether search type indicates boolean search
`static SubLObject`	`sbhl_check_for_goal_marking_p()` Accessor.
`static SubLObject`	`sbhl_false_tv_p(SubLObject tv)` Accessor: @return booleanp; whether TV generalizes to #$False-JustificationTruth.
`static SubLObject`	`sbhl_false_tv(SubLObject tv)` Accessor: @return sbhl-search-truth-value-p; the false truth value with same strength as TV
`static SubLObject`	`sbhl_finished_with_goal()` Modifier: sets sbhl-finished? to :goal.
`static SubLObject`	`sbhl_forward_search_direction_p(SubLObject direction)` Accessor.
`static SubLObject`	`sbhl_forward_search_p()` Accessor: @return booleanp; whether the sbhl-search-direction is forward.
`static SubLObject`	`sbhl_goal_node_p(SubLObject node)` Accessor: @return booleanp; whether NODE is equal to sbhl-goal-node
`static SubLObject`	`sbhl_justification_assembled_p()` Accessor: @return booleanp; @see sbhl-justification-assembled-p
`static SubLObject`	`sbhl_justification_search_p()` Accessor: @return booleanp; whether current search is one that gathers justifications.
`static SubLObject`	`sbhl_leaf_sample_search_p()` Accessor: @return booleanp; uses sbhl-sample-leaf-queues to answer whether current search is one that uses the leaf queues.
`static SubLObject`	`sbhl_module_flips_inverse_mode_p(SubLObject sbhl_module)`
`static SubLObject`	`sbhl_opposite_tv(SubLObject tv)` Accessor: @return sbhl-search-truth-value-p; the truth value with same strength and opposite truth from TV.
`static SubLObject`	`sbhl_possibly_translate_tv(SubLObject tv)`
`static SubLObject`	`sbhl_search_false_tv()` Accessor: @return sbhl-search-truth-value-p; the false truth value with same strength as sbhl-tv
`static SubLObject`	`sbhl_search_true_tv()` Accessor: @return sbhl-search-truth-value-p; the true truth value with same strength as sbhl-tv
`static SubLObject`	`sbhl_search_truth_value_p(SubLObject truth)`
`static SubLObject`	`sbhl_stop_search_path_p()` Accessor: @return booleanp; whether to stop the current search path.
`static SubLObject`	`sbhl_stop_search_path()` Modifier: sets environment to stop current search path.
`static SubLObject`	`sbhl_toggle_unwind_function_on()` Sets to t @see sbhl-apply-unwind-function-p
`static SubLObject`	`sbhl_translate_to_old_tv(SubLObject tv)` Accessor.
`static SubLObject`	`sbhl_true_search_p()` Accessor: @return booleanp; whether sbhl-tv generalizes to #$True-JustificationTruth.
`static SubLObject`	`sbhl_true_tv_p(SubLObject tv)` Accessor: @return booleanp; whether TV generalizes to #$True-JustificationTruth.
`static SubLObject`	`sbhl_true_tv(SubLObject tv)` Accessor: @return sbhl-search-truth-value-p; the true truth value with same strength as TV
`static SubLObject`	`sbhl_tv_generalizes_to_general_tvP(SubLObject tv, SubLObject general_tv)` Accessor: @return booleanp; whether TV is subsumed by GENERAL-TV.
`static SubLObject`	`sbhl_unmarking_search_p()` Accessor.
`static SubLObject`	`set_sbhl_search_parent_marking(SubLObject marking)` Modifier.
`static SubLObject`	`setup_sbhl_search_vars_file()`

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
`extractFunctionNamed`

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
`checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main`

Methods inherited from class java.lang.Object
`equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:: Constant Field Values

$sbhl_search_types$

public static SubLSymbol $sbhl_search_types$

Different types of search, leading to different behaviors.

$sbhl_search_type$

public static SubLSymbol $sbhl_search_type$

The current type of search. Governs how each search node is used during search.

$sbhl_justification_search_p$

public static SubLSymbol $sbhl_justification_search_p$

Does the current boolean search show the path that allowed success to be concluded

$sbhl_search_behavior$

public static SubLSymbol $sbhl_search_behavior$

The current search's entry function

$sbhl_justification_behavior$

public static SubLSymbol $sbhl_justification_behavior$

the current behavior used for assembling sbhl-justifications, and determining how their returns will appear

$sbhl_justification_defaulted_old$

public static SubLSymbol $sbhl_justification_defaulted_old$

parameter used to indicate when justification was coerced and requires old justification behavior

$sbhl_justification_assembled_p$

public static SubLSymbol $sbhl_justification_assembled_p$

has the justification path already been assembled?

$sbhl_unmarking_search_p$

public static SubLSymbol $sbhl_unmarking_search_p$

Is current search an unmarking search

$sbhl_search_module$

public static SubLSymbol $sbhl_search_module$

The module initiating the current search

$sbhl_search_module_type$

public static SubLSymbol $sbhl_search_module_type$

The module type of the current search module.

$sbhl_add_node_to_result_test$

public static SubLSymbol $sbhl_add_node_to_result_test$

the function used to govern adding nodes to the result during search

$sbhl_add_unmarked_node_to_result_test$

public static SubLSymbol $sbhl_add_unmarked_node_to_result_test$

the function used to govern adding nodes to the result of an unmarking search

$genl_inverse_mode_p$

public static SubLSymbol $genl_inverse_mode_p$

Whether current search state has argument order flipped from search's initial order

$sbhl_forward_search_direction$

public static SubLSymbol $sbhl_forward_search_direction$

The keyword specifying forward search

$sbhl_backward_search_direction$

public static SubLSymbol $sbhl_backward_search_direction$

The keyword specifying backward search

$sbhl_search_direction$

public static SubLSymbol $sbhl_search_direction$

The direction of current search

$sbhl_index_arg$

public static SubLSymbol $sbhl_index_arg$

Obsolete

$sbhl_search_index_arg$

public static SubLSymbol $sbhl_search_index_arg$

The index arg for current search

$sbhl_map_function$

public static SubLSymbol $sbhl_map_function$

The recursive winding function of current search

$sbhl_unwind_function$

public static SubLSymbol $sbhl_unwind_function$

The function applied during recursive unwind.

$sbhl_apply_unwind_function_p$

public static SubLSymbol $sbhl_apply_unwind_function_p$

Toggle determining whether to apply *sbhl-unwind-function*

$sbhl_search_parent_marking$

public static SubLSymbol $sbhl_search_parent_marking$

The current node's parent marking

$sbhl_nodes_previous_marking$

public static SubLSymbol $sbhl_nodes_previous_marking$

previous marking of node

$sbhl_finishedP$

public static SubLSymbol $sbhl_finishedP$

Stores whether sbhl search is finished and if so, how.

$sbhl_stop_search_pathP$

public static SubLSymbol $sbhl_stop_search_pathP$

stop mark and sweep from going further

$sbhl_target_node$

public static SubLSymbol $sbhl_target_node$

The target node for current search

$sbhl_goal_node$

public static SubLSymbol $sbhl_goal_node$

The goal node for current search

$sbhl_goal_nodes$

public static SubLSymbol $sbhl_goal_nodes$

The goal nodes for current search for any goal

$sbhl_isaP_goal$

public static SubLSymbol $sbhl_isaP_goal$

The goal node for current search

$sbhl_result$

public static SubLSymbol $sbhl_result$

the result in search

$sbhl_justification_result$

public static SubLSymbol $sbhl_justification_result$

the result in justification searches.

$sbhl_consider_node_fn$

public static SubLSymbol $sbhl_consider_node_fn$

function applied to each node during closure searches.

$sbhl_compose_fn$

public static SubLSymbol $sbhl_compose_fn$

function applied to each node during closure searches.

$sbhl_combine_fn$

public static SubLSymbol $sbhl_combine_fn$

function applied to each node during closure searches.

$sbhl_map_test_fn$

public static SubLSymbol $sbhl_map_test_fn$

function applied to each node during closure searches.

$sbhl_accessed_gather_nodes$

public static SubLSymbol $sbhl_accessed_gather_nodes$

the nodes upon which a gather has already been performed.

$sbhl_dependents_cut_node$

public static SubLSymbol $sbhl_dependents_cut_node$

The source node in dependent searches

$sbhl_access_arg$

public static SubLSymbol $sbhl_access_arg$

the arg accessed in current sbhl mapping. Used for checking validity of terms within an arg position of a predicate

$sbhl_referent$

public static SubLSymbol $sbhl_referent$

variable that can be used for comparison during sbhl searched

$sbhl_current_leaf_queue$

public static SubLSymbol $sbhl_current_leaf_queue$

Current search path during sample leaves search. Path is saved if successful.

$sbhl_sample_leaf_queues$

public static SubLSymbol $sbhl_sample_leaf_queues$

The list of queues guiding sample leaf searches.

$sbhl_extremal_test_fn$

public static SubLSymbol $sbhl_extremal_test_fn$

Function used to test extremal nodes

$sbhl_check_for_goal_marking_p$

public static SubLSymbol $sbhl_check_for_goal_marking_p$

Whether to check whether a node is marked as :goal before checking other marking in search path termination.

$sbhl_precomputed_goal_space$

public static SubLSymbol $sbhl_precomputed_goal_space$

The space bound for marking successful paths in repeated boolean searches

$infer_nat_sbhlP$

public static SubLSymbol $infer_nat_sbhlP$

permit isa module to infer isa/genls of reified nats from result-type of functor?

$sbhl_mapping_pred$

public static SubLSymbol $sbhl_mapping_pred$

obsolete

$maximize_sbhl_resultP$

public static SubLSymbol $maximize_sbhl_resultP$

obsolete

$minimize_sbhl_resultP$

public static SubLSymbol $minimize_sbhl_resultP$

obsolete

$sbhl_search_truth$

public static SubLSymbol $sbhl_search_truth$

used to determine whether the search is true or false

$sbhl_tv$

public static SubLSymbol $sbhl_tv$

search parameter

$relevant_sbhl_tv_function$

public static SubLSymbol $relevant_sbhl_tv_function$

the truth relevance function for the current search

$sym0$POSSIBLY_WITH_NEW_SBHL_SPACES

public static final SubLSymbol $sym0$POSSIBLY_WITH_NEW_SBHL_SPACES

$sym1$WITH_NEW_SBHL_FINISHED

public static final SubLSymbol $sym1$WITH_NEW_SBHL_FINISHED

$sym2$WITH_NEW_SBHL_STOP_SEARCH_PATH

public static final SubLSymbol $sym2$WITH_NEW_SBHL_STOP_SEARCH_PATH

$sym3$RESET_SBHL_SEARCH_PARENT_MARKING

public static final SubLSymbol $sym3$RESET_SBHL_SEARCH_PARENT_MARKING

$sym4$WITH_NEW_SBHL_PREVIOUS_MARKING

public static final SubLSymbol $sym4$WITH_NEW_SBHL_PREVIOUS_MARKING

$sym5$WITH_NEW_SBHL_PREDICATE_MODE_SCOPE

public static final SubLSymbol $sym5$WITH_NEW_SBHL_PREDICATE_MODE_SCOPE

$sym6$WITH_SBHL_READER_LOCK

public static final SubLSymbol $sym6$WITH_SBHL_READER_LOCK

$sym7$WITH_SBHL_TRUE_SEARCH

public static final SubLSymbol $sym7$WITH_SBHL_TRUE_SEARCH

$sym8$WITH_SBHL_FORWARD_SEARCH_DIRECTION

public static final SubLSymbol $sym8$WITH_SBHL_FORWARD_SEARCH_DIRECTION

$sym9$WITH_SBHL_FORWARD_LINK_DIRECTION

public static final SubLSymbol $sym9$WITH_SBHL_FORWARD_LINK_DIRECTION

$sym10$WITH_SBHL_BACKWARD_SEARCH_DIRECTION

public static final SubLSymbol $sym10$WITH_SBHL_BACKWARD_SEARCH_DIRECTION

$sym11$WITH_SBHL_BACKWARD_LINK_DIRECTION

public static final SubLSymbol $sym11$WITH_SBHL_BACKWARD_LINK_DIRECTION

$sym12$WITH_SBHL_FALSE_SEARCH

public static final SubLSymbol $sym12$WITH_SBHL_FALSE_SEARCH

$list13

public static final SubLList $list13

$sym14$POSSIBLY_WITH_SBHL_MT_RELEVANCE

public static final SubLSymbol $sym14$POSSIBLY_WITH_SBHL_MT_RELEVANCE

$sym15$POSSIBLY_WITH_SBHL_TRUE_TV

public static final SubLSymbol $sym15$POSSIBLY_WITH_SBHL_TRUE_TV

$sym16$WITH_SBHL_FORWARD_TRUE_CONDITIONS

public static final SubLSymbol $sym16$WITH_SBHL_FORWARD_TRUE_CONDITIONS

$sym17$INITIALIZE_SBHL_SEARCH

public static final SubLSymbol $sym17$INITIALIZE_SBHL_SEARCH

$sym18$WITH_SBHL_BACKWARD_TRUE_CONDITIONS

public static final SubLSymbol $sym18$WITH_SBHL_BACKWARD_TRUE_CONDITIONS

$sym19$POSSIBLY_WITH_SBHL_FALSE_TV

public static final SubLSymbol $sym19$POSSIBLY_WITH_SBHL_FALSE_TV

$sym20$WITH_SBHL_FORWARD_FALSE_CONDITIONS

public static final SubLSymbol $sym20$WITH_SBHL_FORWARD_FALSE_CONDITIONS

$sym21$WITH_SBHL_BACKWARD_FALSE_CONDITIONS

public static final SubLSymbol $sym21$WITH_SBHL_BACKWARD_FALSE_CONDITIONS

$list22

public static final SubLList $list22

$list23

public static final SubLList $list23

$sym24$CLET

public static final SubLSymbol $sym24$CLET

$sym25$_SBHL_SEARCH_TYPE_

public static final SubLSymbol $sym25$_SBHL_SEARCH_TYPE_

$sym26$WITH_SBHL_SEARCH_TYPE

public static final SubLSymbol $sym26$WITH_SBHL_SEARCH_TYPE

$kw27$CLOSURE

public static final SubLSymbol $kw27$CLOSURE

$kw28$BOOLEAN

public static final SubLSymbol $kw28$BOOLEAN

$kw29$WHAT_MTS

public static final SubLSymbol $kw29$WHAT_MTS

$list30

public static final SubLList $list30

$sym31$WITHOUT_SBHL_CACHES

public static final SubLSymbol $sym31$WITHOUT_SBHL_CACHES

$list32

public static final SubLList $list32

$sym33$WITH_SBHL_CACHES

public static final SubLSymbol $sym33$WITH_SBHL_CACHES

$list34

public static final SubLList $list34

$sym35$_SBHL_SEARCH_BEHAVIOR_

public static final SubLSymbol $sym35$_SBHL_SEARCH_BEHAVIOR_

$kw36$OLD

public static final SubLSymbol $kw36$OLD

$sym37$_SBHL_JUSTIFICATION_BEHAVIOR_

public static final SubLSymbol $sym37$_SBHL_JUSTIFICATION_BEHAVIOR_

$sym38$PIF

public static final SubLSymbol $sym38$PIF

$sym39$BEHAVIOR

public static final SubLSymbol $sym39$BEHAVIOR

$sym40$PROGN

public static final SubLSymbol $sym40$PROGN

$list41

public static final SubLList $list41

$list42

public static final SubLList $list42

$list43

public static final SubLList $list43

$list44

public static final SubLList $list44

$list45

public static final SubLList $list45

$list46

public static final SubLList $list46

$list47

public static final SubLList $list47

$str48$get_sbhl_search_module___sbhl_sea

public static final SubLString $str48$get_sbhl_search_module___sbhl_sea

$const49$genlInverse

public static final SubLObject $const49$genlInverse

$const50$genlPreds

public static final SubLObject $const50$genlPreds

$const51$negationInverse

public static final SubLObject $const51$negationInverse

$const52$negationPreds

public static final SubLObject $const52$negationPreds

$list53

public static final SubLList $list53

$sym54$_SBHL_SEARCH_MODULE_

public static final SubLSymbol $sym54$_SBHL_SEARCH_MODULE_

$sym55$_SBHL_SEARCH_MODULE_TYPE_

public static final SubLSymbol $sym55$_SBHL_SEARCH_MODULE_TYPE_

$sym56$GET_SBHL_MODULE_TYPE

public static final SubLSymbol $sym56$GET_SBHL_MODULE_TYPE

$sym57$_SBHL_ADD_NODE_TO_RESULT_TEST_

public static final SubLSymbol $sym57$_SBHL_ADD_NODE_TO_RESULT_TEST_

$sym58$GET_SBHL_ADD_NODE_TO_RESULT_TEST

public static final SubLSymbol $sym58$GET_SBHL_ADD_NODE_TO_RESULT_TEST

$sym59$WITH_SBHL_MODULE

public static final SubLSymbol $sym59$WITH_SBHL_MODULE

$list60

public static final SubLList $list60

$list61

public static final SubLList $list61

$sym62$_GENL_INVERSE_MODE_P_

public static final SubLSymbol $sym62$_GENL_INVERSE_MODE_P_

$list63

public static final SubLList $list63

$list64

public static final SubLList $list64

$list65

public static final SubLList $list65

$list66

public static final SubLList $list66

$list67

public static final SubLList $list67

$list68

public static final SubLList $list68

$sym69$PRED

public static final SubLSymbol $sym69$PRED

$list70

public static final SubLList $list70

$sym71$CDOLIST

public static final SubLSymbol $sym71$CDOLIST

$sym72$_SBHL_ADD_UNMARKED_NODE_TO_RESULT_TEST_

public static final SubLSymbol $sym72$_SBHL_ADD_UNMARKED_NODE_TO_RESULT_TEST_

$sym73$GET_SBHL_MODULE

public static final SubLSymbol $sym73$GET_SBHL_MODULE

$list74

public static final SubLList $list74

$kw75$FORWARD

public static final SubLSymbol $kw75$FORWARD

$kw76$BACKWARD

public static final SubLSymbol $kw76$BACKWARD

$list77

public static final SubLList $list77

$sym78$_SBHL_SEARCH_DIRECTION_

public static final SubLSymbol $sym78$_SBHL_SEARCH_DIRECTION_

$sym79$WITH_SBHL_SEARCH_DIRECTION

public static final SubLSymbol $sym79$WITH_SBHL_SEARCH_DIRECTION

$list80

public static final SubLList $list80

$list81

public static final SubLList $list81

$list82

public static final SubLList $list82

$list83

public static final SubLList $list83

$sym84$_SBHL_MAP_FUNCTION_

public static final SubLSymbol $sym84$_SBHL_MAP_FUNCTION_

$sym85$_SBHL_UNWIND_FUNCTION_

public static final SubLSymbol $sym85$_SBHL_UNWIND_FUNCTION_

$list86

public static final SubLList $list86

$list87

public static final SubLList $list87

$list88

public static final SubLList $list88

$list89

public static final SubLList $list89

$list90

public static final SubLList $list90

$list91

public static final SubLList $list91

$kw92$GOAL

public static final SubLSymbol $kw92$GOAL

$kw93$CUTOFF

public static final SubLSymbol $kw93$CUTOFF

$list94

public static final SubLList $list94

$list95

public static final SubLList $list95

$sym96$_SBHL_TARGET_NODE_

public static final SubLSymbol $sym96$_SBHL_TARGET_NODE_

$sym97$_SBHL_GOAL_NODE_

public static final SubLSymbol $sym97$_SBHL_GOAL_NODE_

$list98

public static final SubLList $list98

$sym99$_SBHL_ISA__GOAL_

public static final SubLSymbol $sym99$_SBHL_ISA__GOAL_

$list100

public static final SubLList $list100

$list101

public static final SubLList $list101

$sym102$CUNWIND_PROTECT

public static final SubLSymbol $sym102$CUNWIND_PROTECT

$sym103$CSETQ

public static final SubLSymbol $sym103$CSETQ

$list104

public static final SubLList $list104

$list105

public static final SubLList $list105

$sym106$_SBHL_CONSIDER_NODE_FN_

public static final SubLSymbol $sym106$_SBHL_CONSIDER_NODE_FN_

$sym107$_SBHL_COMPOSE_FN_

public static final SubLSymbol $sym107$_SBHL_COMPOSE_FN_

$sym108$NCONC

public static final SubLSymbol $sym108$NCONC

$sym109$_SBHL_COMBINE_FN_

public static final SubLSymbol $sym109$_SBHL_COMBINE_FN_

$sym110$_SBHL_MAP_TEST_FN_

public static final SubLSymbol $sym110$_SBHL_MAP_TEST_FN_

$list111

public static final SubLList $list111

$sym112$_SBHL_DEPENDENTS_CUT_NODE_

public static final SubLSymbol $sym112$_SBHL_DEPENDENTS_CUT_NODE_

$list113

public static final SubLList $list113

$sym114$_SBHL_ACCESS_ARG_

public static final SubLSymbol $sym114$_SBHL_ACCESS_ARG_

$list115

public static final SubLList $list115

$sym116$_SBHL_REFERENT_

public static final SubLSymbol $sym116$_SBHL_REFERENT_

$list117

public static final SubLList $list117

$sym118$QUEUE

public static final SubLSymbol $sym118$QUEUE

$sym119$ENQUEUE

public static final SubLSymbol $sym119$ENQUEUE

$list120

public static final SubLList $list120

$sym121$_SBHL_SAMPLE_LEAF_QUEUES_

public static final SubLSymbol $sym121$_SBHL_SAMPLE_LEAF_QUEUES_

$sym122$LIST

public static final SubLSymbol $sym122$LIST

$list123

public static final SubLList $list123

$sym124$QUEUE

public static final SubLSymbol $sym124$QUEUE

$sym125$WHILE

public static final SubLSymbol $sym125$WHILE

$sym126$CAND

public static final SubLSymbol $sym126$CAND

$sym127$CNOT

public static final SubLSymbol $sym127$CNOT

$list128

public static final SubLList $list128

$sym129$FIRST

public static final SubLSymbol $sym129$FIRST

$sym130$QUEUE_ELEMENTS

public static final SubLSymbol $sym130$QUEUE_ELEMENTS

$sym131$WITH_NEW_SBHL_LEAF_QUEUE

public static final SubLSymbol $sym131$WITH_NEW_SBHL_LEAF_QUEUE

$sym132$RPLACD

public static final SubLSymbol $sym132$RPLACD

$list133

public static final SubLList $list133

$list134

public static final SubLList $list134

$list135

public static final SubLList $list135

$sym136$DEQUEUE

public static final SubLSymbol $sym136$DEQUEUE

$list137

public static final SubLList $list137

$sym138$_SBHL_EXTREMAL_TEST_FN_

public static final SubLSymbol $sym138$_SBHL_EXTREMAL_TEST_FN_

$list139

public static final SubLList $list139

$list140

public static final SubLList $list140

$sym141$_SBHL_PRECOMPUTED_GOAL_SPACE_

public static final SubLSymbol $sym141$_SBHL_PRECOMPUTED_GOAL_SPACE_

$list142

public static final SubLList $list142

$list143

public static final SubLList $list143

$list144

public static final SubLList $list144

$const145$True_JustificationTruth

public static final SubLObject $const145$True_JustificationTruth

$const146$False_JustificationTruth

public static final SubLObject $const146$False_JustificationTruth

$const147$MonotonicallyTrue

public static final SubLObject $const147$MonotonicallyTrue

$const148$DefaultTrue

public static final SubLObject $const148$DefaultTrue

$const149$ArbitraryTruth_JustifactionTruth

public static final SubLObject $const149$ArbitraryTruth_JustifactionTruth

$const150$ArbitraryTruth_JustificationTruth

public static final SubLObject $const150$ArbitraryTruth_JustificationTruth

$const151$MonotonicallyFalse

public static final SubLObject $const151$MonotonicallyFalse

$const152$DefaultFalse

public static final SubLObject $const152$DefaultFalse

$const153$JustifactionTruth

public static final SubLObject $const153$JustifactionTruth

$const154$Unknown_JustificationTruth

public static final SubLObject $const154$Unknown_JustificationTruth

$kw155$ERROR

public static final SubLSymbol $kw155$ERROR

$str156$_A_is_not_a__A

public static final SubLString $str156$_A_is_not_a__A

$sym157$SBHL_SEARCH_TRUTH_VALUE_P

public static final SubLSymbol $sym157$SBHL_SEARCH_TRUTH_VALUE_P

$kw158$CERROR

public static final SubLSymbol $kw158$CERROR

$str159$continue_anyway

public static final SubLString $str159$continue_anyway

$kw160$WARN

public static final SubLSymbol $kw160$WARN

$str161$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str161$_A_is_not_a_valid__sbhl_type_erro

$str162$Expected_true_or_false_sbhl_truth

public static final SubLString $str162$Expected_true_or_false_sbhl_truth

$kw163$TRUE

public static final SubLSymbol $kw163$TRUE

$kw164$FALSE

public static final SubLSymbol $kw164$FALSE

$str165$unknown_truth_value_for_translati

public static final SubLString $str165$unknown_truth_value_for_translati

$kw166$TRUE_MON

public static final SubLSymbol $kw166$TRUE_MON

$kw167$TRUE_DEF

public static final SubLSymbol $kw167$TRUE_DEF

$kw168$FALSE_MON

public static final SubLSymbol $kw168$FALSE_MON

$kw169$FALSE_DEF

public static final SubLSymbol $kw169$FALSE_DEF

$str170$Cannot_translate__s_truth_to_an_s

public static final SubLString $str170$Cannot_translate__s_truth_to_an_s

$sym171$_RELEVANT_SBHL_TV_FUNCTION_

public static final SubLSymbol $sym171$_RELEVANT_SBHL_TV_FUNCTION_

$list172

public static final SubLList $list172

$sym173$_SBHL_TV_

public static final SubLSymbol $sym173$_SBHL_TV_

$sym174$WITH_SBHL_TV_FUNCTION

public static final SubLSymbol $sym174$WITH_SBHL_TV_FUNCTION

$list175

public static final SubLList $list175

$list176

public static final SubLList $list176

$sym177$WITH_SBHL_TV

public static final SubLSymbol $sym177$WITH_SBHL_TV

$list178

public static final SubLList $list178

$list179

public static final SubLList $list179

$sym180$TV_VAR

public static final SubLSymbol $sym180$TV_VAR

$sym181$FIF

public static final SubLSymbol $sym181$FIF

$list182

public static final SubLList $list182

$list183

public static final SubLList $list183

$sym184$PWHEN

public static final SubLSymbol $sym184$PWHEN

$sym185$SBHL_CHECK_TYPE

public static final SubLSymbol $sym185$SBHL_CHECK_TYPE

$list186

public static final SubLList $list186

$sym187$TV_VAR

public static final SubLSymbol $sym187$TV_VAR

$list188

public static final SubLList $list188

$list189

public static final SubLList $list189

$sym190$TV_VAR

public static final SubLSymbol $sym190$TV_VAR

$list191

public static final SubLList $list191

$list192

public static final SubLList $list192

$list193

public static final SubLList $list193

$sym194$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym194$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

Method Detail

get_sbhl_search_type

public static final SubLObject get_sbhl_search_type()

Accessor. @see *sbhl-search-type*

sbhl_boolean_search_p

public static final SubLObject sbhl_boolean_search_p()

Accessor: @return booleanp; whether search type indicates boolean search

sbhl_justification_search_p

public static final SubLObject sbhl_justification_search_p()

Accessor: @return booleanp; whether current search is one that gathers justifications.

get_sbhl_search_behavior

public static final SubLObject get_sbhl_search_behavior()

Accessor. @return sbhl-module-p; @see *sbhl-search-behavior

get_sbhl_just_behavior

public static final SubLObject get_sbhl_just_behavior()

Returns:: keywordp; @see *sbhl-justification-behavior*

sbhl_justification_assembled_p

public static final SubLObject sbhl_justification_assembled_p()

Accessor: @return booleanp; @see *sbhl-justification-assembled-p*

sbhl_unmarking_search_p

public static final SubLObject sbhl_unmarking_search_p()

Accessor. @return booleanp; @see *sbhl-unmarking-search-p*.

get_sbhl_search_module

public static final SubLObject get_sbhl_search_module()

Accessor. @return sbhl-module-p; @see *sbhl-search-module*

get_sbhl_search_module_type

public static final SubLObject get_sbhl_search_module_type()

Accessor. @return keywordp; @see *sbhl-search-module-type*

get_sbhl_search_add_node_test

public static final SubLObject get_sbhl_search_add_node_test()

Returns:: function-spec-p; the function applied to a node's marking before pushing correctly marked nodes onto result. Determined by current *sbhl-search-module*.

get_sbhl_search_add_unmarked_node_test

public static final SubLObject get_sbhl_search_add_unmarked_node_test()

Returns:: function-spec-p; the function applied to a node's marking before pushing unmarked nodes onto result. Determined by current *sbhl-search-module*.

genl_inverse_mode_p

public static final SubLObject genl_inverse_mode_p()

Accessor: @return booleanp. @see *sbhl-genl-inverse-mode-p*

not_genl_inverse_mode_p

public static final SubLObject not_genl_inverse_mode_p()

Accessor: @return booleanp. opposite of @see *sbhl-genl-inverse-mode-p*

sbhl_module_flips_inverse_mode_p

public static final SubLObject sbhl_module_flips_inverse_mode_p(SubLObject sbhl_module)

flip_genl_inverse_modeP

public static final SubLObject flip_genl_inverse_modeP(SubLObject sbhl_module,
                                                       SubLObject sbhl_search_module)

sbhl_forward_search_direction_p

public static final SubLObject sbhl_forward_search_direction_p(SubLObject direction)

Accessor. @return sbhl-direction-p; whether sbhl search direction is forward

get_sbhl_forward_search_direction

public static final SubLObject get_sbhl_forward_search_direction()

Accessor. @see *sbhl-forward-search-direction*

sbhl_backward_search_direction_p

public static final SubLObject sbhl_backward_search_direction_p(SubLObject direction)

Accessor. @return sbhl-direction-p; whether sbhl search direction is backward

get_sbhl_backward_search_direction

public static final SubLObject get_sbhl_backward_search_direction()

Accessor. @see *sbhl-backward-search-direction*

get_sbhl_search_direction

public static final SubLObject get_sbhl_search_direction()

Accessor. @return sbhl-direction-p; @see *sbhl-search-direction*

sbhl_forward_search_p

public static final SubLObject sbhl_forward_search_p()

Accessor: @return booleanp; whether the *sbhl-search-direction* is forward.

sbhl_backward_search_p

public static final SubLObject sbhl_backward_search_p()

Accessor: @return booleanp; whether the *sbhl-search-direction* is backward.

get_sbhl_map_function

public static final SubLObject get_sbhl_map_function()

Accessor. @see *sbhl-map-function*

get_sbhl_unwind_function

public static final SubLObject get_sbhl_unwind_function()

Accessor. @see *sbhl-unwind-function*

sbhl_apply_unwind_function_p

public static final SubLObject sbhl_apply_unwind_function_p()

Accessor. @return booleanp; the value of @see *sbhl-apply-unwind-function-p*

sbhl_toggle_unwind_function_on

public static final SubLObject sbhl_toggle_unwind_function_on()

Sets to t @see *sbhl-apply-unwind-function-p*

set_sbhl_search_parent_marking

public static final SubLObject set_sbhl_search_parent_marking(SubLObject marking)

Modifier. sets *sbhl-search-parent-marking* to MARKING

sbhl_finished_with_goal

public static final SubLObject sbhl_finished_with_goal()

Modifier: sets *sbhl-finished?* to :goal. Used to specify that an sbhl search terminated upon reaching its goal condition.

sbhl_stop_search_path_p

public static final SubLObject sbhl_stop_search_path_p()

Accessor: @return booleanp; whether to stop the current search path.

sbhl_stop_search_path

public static final SubLObject sbhl_stop_search_path()

Modifier: sets environment to stop current search path.

sbhl_goal_node_p

public static final SubLObject sbhl_goal_node_p(SubLObject node)

Accessor: @return booleanp; whether NODE is equal to *sbhl-goal-node*

get_sbhl_goal_node

public static final SubLObject get_sbhl_goal_node()

Accessor: @return sbhl-node-object-p; the @see *sbhl-goal-node*.

get_sbhl_goal_nodes

public static final SubLObject get_sbhl_goal_nodes()

Accessor: @return listp; the current goal nodes.

get_sbhl_consider_node_fn

public static final SubLObject get_sbhl_consider_node_fn()

Accessor. @return function-spec-p. @see *sbhl-consider-node-fn*

get_sbhl_compose_fn

public static final SubLObject get_sbhl_compose_fn()

Accessor. @return function-spec-p. @see *sbhl-compose-fn*

sbhl_leaf_sample_search_p

public static final SubLObject sbhl_leaf_sample_search_p()

Accessor: @return booleanp; uses *sbhl-sample-leaf-queues* to answer whether current search is one that uses the leaf queues.

sbhl_check_for_goal_marking_p

public static final SubLObject sbhl_check_for_goal_marking_p()

Accessor. @return booleanp. @see *sbhl-check-for-goal-marking-p*

sbhl_true_search_p

public static final SubLObject sbhl_true_search_p()

Accessor: @return booleanp; whether *sbhl-tv* generalizes to #$True-JustificationTruth. @see sbhl-tv-generalizes-to-general-tv?

sbhl_search_truth_value_p

public static final SubLObject sbhl_search_truth_value_p(SubLObject truth)

Returns:: booleanp; whether TRUTH is a member of *sbhl-search-truth-values*

get_sbhl_true_tv

public static final SubLObject get_sbhl_true_tv()

Returns:: sbhl-search-truth-value-p; the encompassing true truth.

get_sbhl_false_tv

public static final SubLObject get_sbhl_false_tv()

Returns:: sbhl-search-truth-value-p; the encompassing false truth.

get_sbhl_tv

public static final SubLObject get_sbhl_tv()

Returns:: sbhl-search-truth-value-p; the truth relevance for the current search.

sbhl_tv_generalizes_to_general_tvP

public static final SubLObject sbhl_tv_generalizes_to_general_tvP(SubLObject tv,
                                                                  SubLObject general_tv)

Accessor: @return booleanp; whether TV is subsumed by GENERAL-TV.

relevant_sbhl_tv_is_general_tv

public static final SubLObject relevant_sbhl_tv_is_general_tv(SubLObject tv)

Accessor: @return booleanp; whether TV generalizes to *sbhl-tv*

relevant_sbhl_tvP

public static final SubLObject relevant_sbhl_tvP(SubLObject tv)

Accessor: @return booleanp; applies *relevant-sbhl-tv-function* to TV, or if no function is bound as default applies @see relevant-sbhl-tv-is-general-tv.

sbhl_true_tv_p

public static final SubLObject sbhl_true_tv_p(SubLObject tv)

Accessor: @return booleanp; whether TV generalizes to #$True-JustificationTruth. @see sbhl-tv-generalizes-to-general-tv?

sbhl_false_tv_p

public static final SubLObject sbhl_false_tv_p(SubLObject tv)

Accessor: @return booleanp; whether TV generalizes to #$False-JustificationTruth. @see sbhl-tv-generalizes-to-general-tv?

sbhl_opposite_tv

public static final SubLObject sbhl_opposite_tv(SubLObject tv)

Accessor: @return sbhl-search-truth-value-p; the truth value with same strength and opposite truth from TV.

sbhl_true_tv

public static final SubLObject sbhl_true_tv(SubLObject tv)

Accessor: @return sbhl-search-truth-value-p; the true truth value with same strength as TV

sbhl_false_tv

public static final SubLObject sbhl_false_tv(SubLObject tv)

Accessor: @return sbhl-search-truth-value-p; the false truth value with same strength as TV

sbhl_search_true_tv

public static final SubLObject sbhl_search_true_tv()

Accessor: @return sbhl-search-truth-value-p; the true truth value with same strength as *sbhl-tv*

sbhl_search_false_tv

public static final SubLObject sbhl_search_false_tv()

Accessor: @return sbhl-search-truth-value-p; the false truth value with same strength as *sbhl-tv*

sbhl_translate_to_old_tv

public static final SubLObject sbhl_translate_to_old_tv(SubLObject tv)

Accessor. @return keywordp; the keyword associated with TV, either :true or :false.

sbhl_possibly_translate_tv

public static final SubLObject sbhl_possibly_translate_tv(SubLObject tv)

declare_sbhl_search_vars_file

public static final SubLObject declare_sbhl_search_vars_file()

init_sbhl_search_vars_file

public static final SubLObject init_sbhl_search_vars_file()

setup_sbhl_search_vars_file

public static final SubLObject setup_sbhl_search_vars_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_vars

me

myName

$sbhl_search_types$

$sbhl_search_type$

$sbhl_justification_search_p$

$sbhl_search_behavior$

$sbhl_justification_behavior$

$sbhl_justification_defaulted_old$

$sbhl_justification_assembled_p$

$sbhl_unmarking_search_p$

$sbhl_search_module$

$sbhl_search_module_type$

$sbhl_add_node_to_result_test$

$sbhl_add_unmarked_node_to_result_test$

$genl_inverse_mode_p$

$sbhl_forward_search_direction$

$sbhl_backward_search_direction$

$sbhl_search_direction$

$sbhl_index_arg$

$sbhl_search_index_arg$

$sbhl_map_function$

$sbhl_unwind_function$

$sbhl_apply_unwind_function_p$

$sbhl_search_parent_marking$

$sbhl_nodes_previous_marking$

$sbhl_finishedP$

$sbhl_stop_search_pathP$

$sbhl_target_node$

$sbhl_goal_node$

$sbhl_goal_nodes$

$sbhl_isaP_goal$

$sbhl_result$

$sbhl_justification_result$

$sbhl_consider_node_fn$

$sbhl_compose_fn$

$sbhl_combine_fn$

$sbhl_map_test_fn$

$sbhl_accessed_gather_nodes$

$sbhl_dependents_cut_node$

$sbhl_access_arg$

$sbhl_referent$

$sbhl_current_leaf_queue$

$sbhl_sample_leaf_queues$

$sbhl_extremal_test_fn$

$sbhl_check_for_goal_marking_p$

$sbhl_precomputed_goal_space$

$infer_nat_sbhlP$

$sbhl_mapping_pred$

$maximize_sbhl_resultP$

$minimize_sbhl_resultP$

$sbhl_search_truth$

$sbhl_tv$

$relevant_sbhl_tv_function$

$sym0$POSSIBLY_WITH_NEW_SBHL_SPACES

$sym1$WITH_NEW_SBHL_FINISHED

$sym2$WITH_NEW_SBHL_STOP_SEARCH_PATH

$sym3$RESET_SBHL_SEARCH_PARENT_MARKING

$sym4$WITH_NEW_SBHL_PREVIOUS_MARKING

$sym5$WITH_NEW_SBHL_PREDICATE_MODE_SCOPE

$sym6$WITH_SBHL_READER_LOCK

$sym7$WITH_SBHL_TRUE_SEARCH

$sym8$WITH_SBHL_FORWARD_SEARCH_DIRECTION

$sym9$WITH_SBHL_FORWARD_LINK_DIRECTION

$sym10$WITH_SBHL_BACKWARD_SEARCH_DIRECTION

$sym11$WITH_SBHL_BACKWARD_LINK_DIRECTION

$sym12$WITH_SBHL_FALSE_SEARCH

$list13

$sym14$POSSIBLY_WITH_SBHL_MT_RELEVANCE

$sym15$POSSIBLY_WITH_SBHL_TRUE_TV

$sym16$WITH_SBHL_FORWARD_TRUE_CONDITIONS

$sym17$INITIALIZE_SBHL_SEARCH

$sym18$WITH_SBHL_BACKWARD_TRUE_CONDITIONS

$sym19$POSSIBLY_WITH_SBHL_FALSE_TV

$sym20$WITH_SBHL_FORWARD_FALSE_CONDITIONS

$sym21$WITH_SBHL_BACKWARD_FALSE_CONDITIONS

$list22

$list23

$sym24$CLET

$sym25$_SBHL_SEARCH_TYPE_

com.cyc.cycjava.cycl.sbhl
Class sbhl_search_vars