com.cyc.cycjava.cycl.sbhl
Class sbhl_search_what_mts

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_search_what_mts
extends SubLTranslatedFile

Nested Class Summary

static class

sbhl_search_what_mts.$sbhl_max_floor_mts$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const29$negationInverse
static SubLObject	$const30$genlInverse
static SubLObject	$const34$genlPreds
static SubLObject	$const52$True_JustificationTruth
static SubLObject	$const56$False_JustificationTruth
static SubLObject	$const59$EverythingPSC
static SubLObject	$const60$genlMt
static SubLSymbol	$kw45$ERROR
static SubLSymbol	$kw48$CERROR
static SubLSymbol	$kw50$WARN
static SubLSymbol	$kw53$OLD
static SubLSymbol	$kw54$RESOURCE
static SubLSymbol	$kw57$WHAT_MTS
static SubLSymbol	$kw64$NONE
static SubLSymbol	$kw7$PRIMARY
static SubLSymbol	$kw8$SECONDARY
static SubLList	$list0
static SubLList	$list12
static SubLList	$list13
static SubLList	$list15
static SubLList	$list16
static SubLList	$list17
static SubLList	$list27
static SubLList	$list4
static SubLList	$list42
static SubLList	$list6
static SubLList	$list9
static SubLSymbol	$sbhl_path_mts$ The current mts gathered along the path to goal
static SubLSymbol	$sbhl_primary_what_mts_inverse_mt_paths$ Store for inverse path mts results for straightforward searches
static SubLSymbol	$sbhl_primary_what_mts_mt_paths$ Store for path mts results for straightforward searches
static SubLSymbol	$sbhl_secondary_what_mts_inverse_mt_paths$ Store for inverse path mts results for searches which require two marking spaces
static SubLSymbol	$sbhl_secondary_what_mts_mt_paths$ Store for path mts results for searches which require two marking spaces
static SubLSymbol	$sbhl_verify_naut_mt_relevance$
static SubLSymbol	$sbhl_what_mts_behavior$ The initial function to call for what-mts search.
static SubLSymbol	$sbhl_what_mts_goal$ the goal node for a what mts search
static SubLSymbol	$sbhl_what_mts_inverse_mt_paths$ Hashtable used during what mts search to store inverse path mts to a node
static SubLSymbol	$sbhl_what_mts_map_function$ Function used in multistep searches
static SubLSymbol	$sbhl_what_mts_mt_paths$ Hashtable used during what mts search to store path mts to a node
static SubLString	$str31$attempting_to_bind_direction_link
static SubLString	$str41$Search_behavior_not_recognized__S
static SubLString	$str43$Unsupported_what_mts_behavior__a
static SubLString	$str46$_A_is_not_a__A
static SubLString	$str49$continue_anyway
static SubLString	$str51$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str63$Mts_might_not_be_valid_because_in
static SubLSymbol	$sym1$CLET
static SubLSymbol	$sym10$_SBHL_WHAT_MTS_MT_PATHS_
static SubLSymbol	$sym11$FIF
static SubLSymbol	$sym14$_SBHL_WHAT_MTS_INVERSE_MT_PATHS_
static SubLSymbol	$sym18$_SBHL_WHAT_MTS_MAP_FUNCTION_
static SubLSymbol	$sym19$SBHL_FALSE_WHAT_MTS_STEP
static SubLSymbol	$sym2$_SBHL_PATH_MTS_
static SubLSymbol	$sym20$SBHL_FALSE_WHAT_MTS_SWEEP
static SubLSymbol	$sym21$SBHL_WHAT_MTS_TT_SWEEP
static SubLSymbol	$sym22$SBHL_WHAT_MTS_TT_STEP
static SubLSymbol	$sym23$SBHL_WHAT_MTS_STEP_ACROSS_MARKED_DISJOINS
static SubLSymbol	$sym24$SBHL_WHAT_MTS_SWEEP_MARKED_DISJOINS
static SubLSymbol	$sym25$SBHL_WHAT_MTS_SWEEP_FORWARD_STEP_AND_SWEEP_FALSE_DISJOINS
static SubLSymbol	$sym26$SBHL_WHAT_MTS_SWEEP_FALSE_DISJOINS
static SubLSymbol	$sym28$_SBHL_WHAT_MTS_GOAL_
static SubLSymbol	$sym3$POSSIBLY_UPDATE_SBHL_PATH_MTS
static SubLSymbol	$sym32$SBHL_MODULE_P
static SubLSymbol	$sym33$SBHL_CHECK_CUTOFF
static SubLSymbol	$sym35$SBHL_SIMPLE_TRUE_WHAT_MTS_SEARCH
static SubLSymbol	$sym36$SBHL_SIMPLE_FALSE_WHAT_MTS_SEARCH
static SubLSymbol	$sym37$SBHL_TT_WHAT_MTS_SEARCH
static SubLSymbol	$sym38$SBHL_WHAT_MTS_TT_BACKWARD_SEARCH
static SubLSymbol	$sym39$SBHL_WHAT_MTS_TRUE_DISJOINS_SEARCH
static SubLSymbol	$sym40$SBHL_WHAT_MTS_FALSE_DISJOINS_SEARCH
static SubLSymbol	$sym44$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym47$SBHL_TRUE_TV_P
static SubLSymbol	$sym5$SBHL_REBIND_PATH_MTS
static SubLSymbol	$sym55$SBHL_FALSE_TV_P
static SubLSymbol	$sym58$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym61$UNION
static SubLSymbol	$sym62$SBHL_MAX_FLOOR_MTS
static SubLSymbol	$sym65$SBHL_INVERSE_CARDINALITY_
static SubLFile	me
static java.lang.String	myName

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

EMPTY_SUBL_OBJECT_ARRAY

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

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

Method Summary

static SubLObject	declare_sbhl_search_what_mts_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	determine_sbhl_link_mt(SubLObject node, SubLObject link_node)
static SubLObject	determine_sbhl_what_mts_behavior(SubLObject module, SubLObject direction, SubLObject tv) Accessor: @return function-spec-p.
static SubLObject	get_sbhl_what_mts_behavior() Accessor.
static SubLObject	get_sbhl_what_mts_goal()
static SubLObject	get_sbhl_what_mts_map_function() Accessor: returns @see *sbhl-what-mts-map-function*
static SubLObject	get_sbhl_what_mts_marking_space() Accessor: @return hash-table-p; the space for what mts marking.
static SubLObject	get_sbhl_what_mts_marking(SubLObject node) Accessor: @return listp; the current what mts marking for NODE.
static SubLObject	init_sbhl_search_what_mts_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	possibly_update_sbhl_path_mts(SubLObject mt, SubLObject path_mts)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sbhl_apply_what_mts_behavior(SubLObject node)
static SubLObject	sbhl_apply_what_mts_map_function(SubLObject node)
static SubLObject	sbhl_max_floor_mts_of_paths(SubLObject paths)
static SubLObject	sbhl_max_floor_mts_of_predicate_paths(SubLObject module, SubLObject node, SubLObject goal_node, SubLObject tv)
static SubLObject	sbhl_max_floor_mts(SubLObject mts) helper for @see sbhl-max-floor-mts-of-paths
static SubLObject	sbhl_min_mt_paths(SubLObject mt_paths)
static SubLObject	sbhl_min_mts_of_predicate_paths(SubLObject module, SubLObject node, SubLObject goal_node, SubLObject tv)
static SubLObject	sbhl_predicate_mt_paths(SubLObject module, SubLObject node, SubLObject goal_node, SubLObject tv)
static SubLObject	sbhl_primary_what_mts_spaces() Accessor: returns the keyword :primary.
static SubLObject	sbhl_simple_true_what_mts_search(SubLObject node) Used for true what mts searches of simple predicates, sweeping nodes accessible to NODE
static SubLObject	sbhl_tt_what_mts_search(SubLObject node) Used for forward transfers through what mts searches.
static SubLObject	sbhl_verify_naut_mt_relevance_p()
static SubLObject	sbhl_what_mt_paths_from_node_to_node(SubLObject node1, SubLObject node2)
static SubLObject	sbhl_what_mts_final_mt_paths(SubLObject node)
static SubLObject	sbhl_what_mts_goal_final_mt_paths() Accessor: @return listp; the list of path mts for @see *sbhl-what-mts-goal*.
static SubLObject	sbhl_what_mts_goal_p(SubLObject node) Accessor: @return booleanp; whether the search context allows goal checking and if NODE is the @see *sbhl-what-mts-goal*
static SubLObject	sbhl_what_mts_mark_and_sweep(SubLObject node) Modifier.
static SubLObject	sbhl_what_mts_mark_mt_paths_to_node(SubLObject node) Modifier.
static SubLObject	sbhl_what_mts_marking_subsumes_marking_p(SubLObject node) Accessor.
static SubLObject	sbhl_what_mts_not_mapping_p() Accessor: @return booleanp; whether @see *sbhl-what-mts-map-function* is or is not null.
static SubLObject	sbhl_what_mts_step_across_links(SubLObject node) Modifier.
static SubLObject	sbhl_what_mts_step(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject map_fn, SubLObject node) Binds its arguments in setup for @see sbhl-what-mts-step-across-links
static SubLObject	sbhl_what_mts_sweep(SubLObject module, SubLObject link_direction, SubLObject tv, SubLObject spaces, SubLObject map_fn, SubLObject node) Binds its arguments in setup for @see sbhl-what-mts-mark-and-sweep
static SubLObject	sbhl_what_mts_terminating_space() Accessor.
static SubLObject	sbhl_what_mts_tt_sweep(SubLObject node) Used as second part of forward transfers through what mts searches.
static SubLObject	setup_sbhl_search_what_mts_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_path_mts$

public static SubLSymbol $sbhl_path_mts$

The current mts gathered along the path to goal

$sbhl_what_mts_mt_paths$

public static SubLSymbol $sbhl_what_mts_mt_paths$

Hashtable used during what mts search to store path mts to a node

$sbhl_what_mts_inverse_mt_paths$

public static SubLSymbol $sbhl_what_mts_inverse_mt_paths$

Hashtable used during what mts search to store inverse path mts to a node

$sbhl_primary_what_mts_mt_paths$

public static SubLSymbol $sbhl_primary_what_mts_mt_paths$

Store for path mts results for straightforward searches

$sbhl_primary_what_mts_inverse_mt_paths$

public static SubLSymbol $sbhl_primary_what_mts_inverse_mt_paths$

Store for inverse path mts results for straightforward searches

$sbhl_secondary_what_mts_mt_paths$

public static SubLSymbol $sbhl_secondary_what_mts_mt_paths$

Store for path mts results for searches which require two marking spaces

$sbhl_secondary_what_mts_inverse_mt_paths$

public static SubLSymbol $sbhl_secondary_what_mts_inverse_mt_paths$

Store for inverse path mts results for searches which require two marking spaces

$sbhl_verify_naut_mt_relevance$

public static SubLSymbol $sbhl_verify_naut_mt_relevance$

$sbhl_what_mts_map_function$

public static SubLSymbol $sbhl_what_mts_map_function$

Function used in multistep searches

$sbhl_what_mts_goal$

public static SubLSymbol $sbhl_what_mts_goal$

the goal node for a what mts search

$sbhl_what_mts_behavior$

public static SubLSymbol $sbhl_what_mts_behavior$

The initial function to call for what-mts search.

$list0

public static final SubLList $list0

$sym1$CLET

public static final SubLSymbol $sym1$CLET

$sym2$_SBHL_PATH_MTS_

public static final SubLSymbol $sym2$_SBHL_PATH_MTS_

$sym3$POSSIBLY_UPDATE_SBHL_PATH_MTS

public static final SubLSymbol $sym3$POSSIBLY_UPDATE_SBHL_PATH_MTS

$list4

public static final SubLList $list4

$sym5$SBHL_REBIND_PATH_MTS

public static final SubLSymbol $sym5$SBHL_REBIND_PATH_MTS

$list6

public static final SubLList $list6

$kw7$PRIMARY

public static final SubLSymbol $kw7$PRIMARY

$kw8$SECONDARY

public static final SubLSymbol $kw8$SECONDARY

$list9

public static final SubLList $list9

$sym10$_SBHL_WHAT_MTS_MT_PATHS_

public static final SubLSymbol $sym10$_SBHL_WHAT_MTS_MT_PATHS_

$sym11$FIF

public static final SubLSymbol $sym11$FIF

$list12

public static final SubLList $list12

$list13

public static final SubLList $list13

$sym14$_SBHL_WHAT_MTS_INVERSE_MT_PATHS_

public static final SubLSymbol $sym14$_SBHL_WHAT_MTS_INVERSE_MT_PATHS_

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$list17

public static final SubLList $list17

$sym18$_SBHL_WHAT_MTS_MAP_FUNCTION_

public static final SubLSymbol $sym18$_SBHL_WHAT_MTS_MAP_FUNCTION_

$sym19$SBHL_FALSE_WHAT_MTS_STEP

public static final SubLSymbol $sym19$SBHL_FALSE_WHAT_MTS_STEP

$sym20$SBHL_FALSE_WHAT_MTS_SWEEP

public static final SubLSymbol $sym20$SBHL_FALSE_WHAT_MTS_SWEEP

$sym21$SBHL_WHAT_MTS_TT_SWEEP

public static final SubLSymbol $sym21$SBHL_WHAT_MTS_TT_SWEEP

$sym22$SBHL_WHAT_MTS_TT_STEP

public static final SubLSymbol $sym22$SBHL_WHAT_MTS_TT_STEP

$sym23$SBHL_WHAT_MTS_STEP_ACROSS_MARKED_DISJOINS

public static final SubLSymbol $sym23$SBHL_WHAT_MTS_STEP_ACROSS_MARKED_DISJOINS

$sym24$SBHL_WHAT_MTS_SWEEP_MARKED_DISJOINS

public static final SubLSymbol $sym24$SBHL_WHAT_MTS_SWEEP_MARKED_DISJOINS

$sym25$SBHL_WHAT_MTS_SWEEP_FORWARD_STEP_AND_SWEEP_FALSE_DISJOINS

public static final SubLSymbol $sym25$SBHL_WHAT_MTS_SWEEP_FORWARD_STEP_AND_SWEEP_FALSE_DISJOINS

$sym26$SBHL_WHAT_MTS_SWEEP_FALSE_DISJOINS

public static final SubLSymbol $sym26$SBHL_WHAT_MTS_SWEEP_FALSE_DISJOINS

$list27

public static final SubLList $list27

$sym28$_SBHL_WHAT_MTS_GOAL_

public static final SubLSymbol $sym28$_SBHL_WHAT_MTS_GOAL_

$const29$negationInverse

public static final SubLObject $const29$negationInverse

$const30$genlInverse

public static final SubLObject $const30$genlInverse

$str31$attempting_to_bind_direction_link

public static final SubLString $str31$attempting_to_bind_direction_link

$sym32$SBHL_MODULE_P

public static final SubLSymbol $sym32$SBHL_MODULE_P

$sym33$SBHL_CHECK_CUTOFF

public static final SubLSymbol $sym33$SBHL_CHECK_CUTOFF

$const34$genlPreds

public static final SubLObject $const34$genlPreds

$sym35$SBHL_SIMPLE_TRUE_WHAT_MTS_SEARCH

public static final SubLSymbol $sym35$SBHL_SIMPLE_TRUE_WHAT_MTS_SEARCH

$sym36$SBHL_SIMPLE_FALSE_WHAT_MTS_SEARCH

public static final SubLSymbol $sym36$SBHL_SIMPLE_FALSE_WHAT_MTS_SEARCH

$sym37$SBHL_TT_WHAT_MTS_SEARCH

public static final SubLSymbol $sym37$SBHL_TT_WHAT_MTS_SEARCH

$sym38$SBHL_WHAT_MTS_TT_BACKWARD_SEARCH

public static final SubLSymbol $sym38$SBHL_WHAT_MTS_TT_BACKWARD_SEARCH

$sym39$SBHL_WHAT_MTS_TRUE_DISJOINS_SEARCH

public static final SubLSymbol $sym39$SBHL_WHAT_MTS_TRUE_DISJOINS_SEARCH

$sym40$SBHL_WHAT_MTS_FALSE_DISJOINS_SEARCH

public static final SubLSymbol $sym40$SBHL_WHAT_MTS_FALSE_DISJOINS_SEARCH

$str41$Search_behavior_not_recognized__S

public static final SubLString $str41$Search_behavior_not_recognized__S

$list42

public static final SubLList $list42

$str43$Unsupported_what_mts_behavior__a

public static final SubLString $str43$Unsupported_what_mts_behavior__a

$sym44$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym44$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw45$ERROR

public static final SubLSymbol $kw45$ERROR

$str46$_A_is_not_a__A

public static final SubLString $str46$_A_is_not_a__A

$sym47$SBHL_TRUE_TV_P

public static final SubLSymbol $sym47$SBHL_TRUE_TV_P

$kw48$CERROR

public static final SubLSymbol $kw48$CERROR

$str49$continue_anyway

public static final SubLString $str49$continue_anyway

$kw50$WARN

public static final SubLSymbol $kw50$WARN

$str51$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str51$_A_is_not_a_valid__sbhl_type_erro

$const52$True_JustificationTruth

public static final SubLObject $const52$True_JustificationTruth

$kw53$OLD

public static final SubLSymbol $kw53$OLD

$kw54$RESOURCE

public static final SubLSymbol $kw54$RESOURCE

$sym55$SBHL_FALSE_TV_P

public static final SubLSymbol $sym55$SBHL_FALSE_TV_P

$const56$False_JustificationTruth

public static final SubLObject $const56$False_JustificationTruth

$kw57$WHAT_MTS

public static final SubLSymbol $kw57$WHAT_MTS

$sym58$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym58$RELEVANT_MT_IS_EVERYTHING

$const59$EverythingPSC

public static final SubLObject $const59$EverythingPSC

$const60$genlMt

public static final SubLObject $const60$genlMt

$sym61$UNION

public static final SubLSymbol $sym61$UNION

$sym62$SBHL_MAX_FLOOR_MTS

public static final SubLSymbol $sym62$SBHL_MAX_FLOOR_MTS

$str63$Mts_might_not_be_valid_because_in

public static final SubLString $str63$Mts_might_not_be_valid_because_in

$kw64$NONE

public static final SubLSymbol $kw64$NONE

$sym65$SBHL_INVERSE_CARDINALITY_

public static final SubLSymbol $sym65$SBHL_INVERSE_CARDINALITY_

Method Detail

possibly_update_sbhl_path_mts

public static final SubLObject possibly_update_sbhl_path_mts(SubLObject mt,
                                                             SubLObject path_mts)

sbhl_primary_what_mts_spaces

public static final SubLObject sbhl_primary_what_mts_spaces()

Accessor: returns the keyword :primary. used to determine which what-mts-paths to use.

get_sbhl_what_mts_marking_space

public static final SubLObject get_sbhl_what_mts_marking_space()

Accessor: @return hash-table-p; the space for what mts marking. @hack genl-inverse-mode-p.

get_sbhl_what_mts_marking

public static final SubLObject get_sbhl_what_mts_marking(SubLObject node)

Accessor: @return listp; the current what mts marking for NODE. @hack genl-inverse-mode-p.

sbhl_what_mts_mark_mt_paths_to_node

public static final SubLObject sbhl_what_mts_mark_mt_paths_to_node(SubLObject node)

Modifier. changes the mt-path marking for NODE based on @see *sbhl-path-mts*. *sbhl-path-mts* is added to the what-mts-marking for NODE, and every path which is a proper superset of *sbhl-path-mts* is removed from the marking.

sbhl_what_mts_marking_subsumes_marking_p

public static final SubLObject sbhl_what_mts_marking_subsumes_marking_p(SubLObject node)

Accessor. @return booleanp; whether the current *sbhl-path-mts* is a superset of the path-mts markings of NODE.

determine_sbhl_link_mt

public static final SubLObject determine_sbhl_link_mt(SubLObject node,
                                                      SubLObject link_node)

sbhl_verify_naut_mt_relevance_p

public static final SubLObject sbhl_verify_naut_mt_relevance_p()

get_sbhl_what_mts_map_function

public static final SubLObject get_sbhl_what_mts_map_function()

Accessor: returns @see *sbhl-what-mts-map-function*

sbhl_what_mts_not_mapping_p

public static final SubLObject sbhl_what_mts_not_mapping_p()

Accessor: @return booleanp; whether @see *sbhl-what-mts-map-function* is or is not null.

sbhl_apply_what_mts_map_function

public static final SubLObject sbhl_apply_what_mts_map_function(SubLObject node)

get_sbhl_what_mts_goal

public static final SubLObject get_sbhl_what_mts_goal()

Returns:

sbhl-node-object-p; @see *sbhl-what-mts-goal*

sbhl_what_mts_goal_p

public static final SubLObject sbhl_what_mts_goal_p(SubLObject node)

Accessor: @return booleanp; whether the search context allows goal checking and if NODE is the @see *sbhl-what-mts-goal*

sbhl_what_mts_mark_and_sweep

public static final SubLObject sbhl_what_mts_mark_and_sweep(SubLObject node)

Modifier. recursive workhorse that accumulates mt paths from NODE to goal.

sbhl_what_mts_step_across_links

public static final SubLObject sbhl_what_mts_step_across_links(SubLObject node)

Modifier. steps across links, updating the mt path.

sbhl_what_mts_sweep

public static final SubLObject sbhl_what_mts_sweep(SubLObject module,
                                                   SubLObject link_direction,
                                                   SubLObject tv,
                                                   SubLObject spaces,
                                                   SubLObject map_fn,
                                                   SubLObject node)

Binds its arguments in setup for @see sbhl-what-mts-mark-and-sweep

sbhl_what_mts_step

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

Binds its arguments in setup for @see sbhl-what-mts-step-across-links

sbhl_simple_true_what_mts_search

public static final SubLObject sbhl_simple_true_what_mts_search(SubLObject node)

Used for true what mts searches of simple predicates, sweeping nodes accessible to NODE

sbhl_tt_what_mts_search

public static final SubLObject sbhl_tt_what_mts_search(SubLObject node)

Used for forward transfers through what mts searches. Steps across accessible links.

sbhl_what_mts_tt_sweep

public static final SubLObject sbhl_what_mts_tt_sweep(SubLObject node)

Used as second part of forward transfers through what mts searches. Sweeps all nodes accessible to NODE.

determine_sbhl_what_mts_behavior

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

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

get_sbhl_what_mts_behavior

public static final SubLObject get_sbhl_what_mts_behavior()

Accessor. @return function-spec-p. @see *sbhl-what-mts-behavior*

sbhl_apply_what_mts_behavior

public static final SubLObject sbhl_apply_what_mts_behavior(SubLObject node)

sbhl_what_mts_terminating_space

public static final SubLObject sbhl_what_mts_terminating_space()

Accessor. @return keywordp; the tag indicating which set of marking spaces holds the correct marking information for the goal.

sbhl_what_mts_final_mt_paths

public static final SubLObject sbhl_what_mts_final_mt_paths(SubLObject node)

sbhl_what_mts_goal_final_mt_paths

public static final SubLObject sbhl_what_mts_goal_final_mt_paths()

Accessor: @return listp; the list of path mts for @see *sbhl-what-mts-goal*. @see sbhl-what-mts-final-mt-paths

sbhl_predicate_mt_paths

public static final SubLObject sbhl_predicate_mt_paths(SubLObject module,
                                                       SubLObject node,
                                                       SubLObject goal_node,
                                                       SubLObject tv)

Returns:

listp; the mt paths from NODE to GOAL-NODE via MODULE, optionally constrained by TV.

sbhl_what_mt_paths_from_node_to_node

public static final SubLObject sbhl_what_mt_paths_from_node_to_node(SubLObject node1,
                                                                    SubLObject node2)

Returns:

listp; the mt paths from NODE1 to NODE2.

sbhl_min_mt_paths

public static final SubLObject sbhl_min_mt_paths(SubLObject mt_paths)

Returns:

listp; the minimal mts of each of the path mts in MT-PATHS.

sbhl_min_mts_of_predicate_paths

public static final SubLObject sbhl_min_mts_of_predicate_paths(SubLObject module,
                                                               SubLObject node,
                                                               SubLObject goal_node,
                                                               SubLObject tv)

Returns:

listp; the list of independent mts for which there is a true MODULE relation between NODE and GOAL-NODE.

sbhl_max_floor_mts

public static final SubLObject sbhl_max_floor_mts(SubLObject mts)

helper for @see sbhl-max-floor-mts-of-paths

sbhl_max_floor_mts_of_paths

public static final SubLObject sbhl_max_floor_mts_of_paths(SubLObject paths)

Returns:

listp; the most general mt(s) by which all of PATH's mts are visible.

sbhl_max_floor_mts_of_predicate_paths

public static final SubLObject sbhl_max_floor_mts_of_predicate_paths(SubLObject module,
                                                                     SubLObject node,
                                                                     SubLObject goal_node,
                                                                     SubLObject tv)

Returns:

listp; the most general mt(s) by which all true MODULE relations between NODE and GOAL-NODE are visible.

declare_sbhl_search_what_mts_file

public static final SubLObject declare_sbhl_search_what_mts_file()

init_sbhl_search_what_mts_file

public static final SubLObject init_sbhl_search_what_mts_file()

setup_sbhl_search_what_mts_file

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