com.cyc.cycjava.cycl.sbhl
Class sbhl_marking_utilities

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_marking_utilities
extends SubLTranslatedFile

Nested Class Summary

static class	sbhl_marking_utilities.$sbhl_marked_in_target_space_p$UnaryFunction
static class	sbhl_marking_utilities.$sbhl_predicate_unmarking_fn$BinaryFunction
static class	sbhl_marking_utilities.$sbhl_predicate_unmarking_fn$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$weak_HL_TimePrecedence
static SubLObject	$const3$strict_HL_TimePrecedence
static SubLObject	$const5$weakSuccessor_HL_TimePrecedence
static SubLObject	$const7$successorStrict_HL_TimePrecedence
static SubLSymbol	$kw0$WEAK
static SubLSymbol	$kw2$STRICT
static SubLSymbol	$kw25$ERROR
static SubLSymbol	$kw28$CERROR
static SubLSymbol	$kw30$WARN
static SubLSymbol	$kw4$WEAK_SUCCESSOR
static SubLSymbol	$kw6$SUCCESSOR_STRICT
static SubLString	$str10$Node__a_has_current_marking__a_wi
static SubLString	$str23$Node__a_has_current_marking__a_wi
static SubLString	$str24$Node__a_has_current_marking__a_wi
static SubLString	$str26$_A_is_not_a__A
static SubLString	$str29$continue_anyway
static SubLString	$str31$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str9$Node__a_has_current_marking__a_wi
static SubLSymbol	$sym11$SBHL_MARKED_P
static SubLSymbol	$sym12$SBHL_PREDICATE_PATH_TERMINATION_P
static SubLSymbol	$sym13$SBHL_NODES_MARK_EXCEEDS_TEMPORAL_THRESHOLD_P
static SubLSymbol	$sym14$SET_SBHL_MARKING_STATE_TO_MARKED
static SubLSymbol	$sym15$SBHL_PREDICATE_MARKING_FN
static SubLSymbol	$sym16$INCREMENT_SBHL_MARKING_STATE_BY_ZERO
static SubLSymbol	$sym17$INCREMENT_SBHL_MARKING_STATE_BY_ONE
static SubLSymbol	$sym18$INCREMENT_SBHL_MARKING_STATE_BY_TWO
static SubLSymbol	$sym19$INCREMENT_SBHL_MARKING_STATE_BY_MINUS_ONE
static SubLSymbol	$sym20$SET_SBHL_MARKING_STATE_TO_UNMARKED
static SubLSymbol	$sym21$GENL_PREDS_UNMARKING_FN
static SubLSymbol	$sym22$GENL_INVERSE_UNMARKING_FN
static SubLSymbol	$sym27$SBHL_SPACE_P
static SubLSymbol	$sym8$NUMBERP
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	clear_sbhl_space(SubLObject space) Modifier: clears space
static SubLObject	declare_sbhl_marking_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	genl_inverse_marking_fn(SubLObject node, SubLObject space) Modifier: adds #$genlInverse to NODE's marking.
static SubLObject	genl_preds_marking_fn(SubLObject node, SubLObject space) Modifier: adds #$genlPreds to NODE's marking.
static SubLObject	get_sbhl_marking_state(SubLObject node, SubLObject space) Accessor: returns the marking state of NODE within SPACE / *sbhl-space*
static SubLObject	init_sbhl_marking_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_mark_node_marked(SubLObject node, SubLObject space) Modifier: applies *sbhl-module* defined marking fn, @see get-sbhl-marking-fn.
static SubLObject	sbhl_mark_node_unmarked(SubLObject node, SubLObject space) Modifier: applies *sbhl-module* defined unmarking fn, @see get-sbhl-unmarking-fn.
static SubLObject	sbhl_mark_nodes_in_target_space_gp(SubLObject nodes) Modifier: marks each of NODES in @see *sbhl-target-space*
static SubLObject	sbhl_mark_nodes_in_target_space(SubLObject nodes) Modifier: marks each of NODES in @see *sbhl-target-space*
static SubLObject	sbhl_marked_in_target_space_p(SubLObject node) Accessor: applies *sbhl-module* defined path-termination-function to NODE's marking within target space, @see *sbhl-target-space*
static SubLObject	sbhl_marked_in_terminating_space_p(SubLObject node) Accessor: applies *sbhl-module* defined path-termination-function to NODE's marking within terminating space, @see get-sbhl-termingating-marking-space.
static SubLObject	sbhl_marked_p(SubLObject marking) Accessor: @return booleanp; whether MARKING has a non-NIL marking state.
static SubLObject	sbhl_marked_with(SubLObject node, SubLObject space) Accessor: returns NODE's current marking state (usually boolean).
static SubLObject	sbhl_path_terminating_mark_p(SubLObject node, SubLObject space) Accessor: applies *sbhl-module* defined path termination determining fn, @see get-sbhl-path-terminating-mark?-fn.
static SubLObject	sbhl_predicate_marking_fn(SubLObject node, SubLObject space) Modifier: adds either #$genlPreds or #$genlInverse to NODE's marking, depending on @see genl-inverse-mode-p
static SubLObject	sbhl_predicate_path_termination_p(SubLObject marking) Accessor: @return booleanp; whether MARKING indicates path termination for predicate search
static SubLObject	sbhl_search_path_termination_p(SubLObject node, SubLObject space) Accessor: applies *sbhl-module* defined path termination determining fn, @see get-sbhl-path-terminating-mark?-fn.
static SubLObject	set_sbhl_marking_state_to_marked(SubLObject node, SubLObject space) Modifier: sets the hash slot for NODE in *sbhl-space* / SPACE to t.
static SubLObject	set_sbhl_marking_state_to_unmarked(SubLObject node, SubLObject space) Modifier: sets the hash slot for NODE in *sbhl-space* to nil @see set-sbhl-marking-state
static SubLObject	set_sbhl_marking_state(SubLObject node, SubLObject value, SubLObject space) Modifier: sets the hash slot for NODE in SPACE / *sbhl-space* to VALUE
static SubLObject	setup_sbhl_marking_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

$kw0$WEAK

public static final SubLSymbol $kw0$WEAK

$const1$weak_HL_TimePrecedence

public static final SubLObject $const1$weak_HL_TimePrecedence

$kw2$STRICT

public static final SubLSymbol $kw2$STRICT

$const3$strict_HL_TimePrecedence

public static final SubLObject $const3$strict_HL_TimePrecedence

$kw4$WEAK_SUCCESSOR

public static final SubLSymbol $kw4$WEAK_SUCCESSOR

$const5$weakSuccessor_HL_TimePrecedence

public static final SubLObject $const5$weakSuccessor_HL_TimePrecedence

$kw6$SUCCESSOR_STRICT

public static final SubLSymbol $kw6$SUCCESSOR_STRICT

$const7$successorStrict_HL_TimePrecedence

public static final SubLObject $const7$successorStrict_HL_TimePrecedence

$sym8$NUMBERP

public static final SubLSymbol $sym8$NUMBERP

$str9$Node__a_has_current_marking__a_wi

public static final SubLString $str9$Node__a_has_current_marking__a_wi

$str10$Node__a_has_current_marking__a_wi

public static final SubLString $str10$Node__a_has_current_marking__a_wi

$sym11$SBHL_MARKED_P

public static final SubLSymbol $sym11$SBHL_MARKED_P

$sym12$SBHL_PREDICATE_PATH_TERMINATION_P

public static final SubLSymbol $sym12$SBHL_PREDICATE_PATH_TERMINATION_P

$sym13$SBHL_NODES_MARK_EXCEEDS_TEMPORAL_THRESHOLD_P

public static final SubLSymbol $sym13$SBHL_NODES_MARK_EXCEEDS_TEMPORAL_THRESHOLD_P

$sym14$SET_SBHL_MARKING_STATE_TO_MARKED

public static final SubLSymbol $sym14$SET_SBHL_MARKING_STATE_TO_MARKED

$sym15$SBHL_PREDICATE_MARKING_FN

public static final SubLSymbol $sym15$SBHL_PREDICATE_MARKING_FN

$sym16$INCREMENT_SBHL_MARKING_STATE_BY_ZERO

public static final SubLSymbol $sym16$INCREMENT_SBHL_MARKING_STATE_BY_ZERO

$sym17$INCREMENT_SBHL_MARKING_STATE_BY_ONE

public static final SubLSymbol $sym17$INCREMENT_SBHL_MARKING_STATE_BY_ONE

$sym18$INCREMENT_SBHL_MARKING_STATE_BY_TWO

public static final SubLSymbol $sym18$INCREMENT_SBHL_MARKING_STATE_BY_TWO

$sym19$INCREMENT_SBHL_MARKING_STATE_BY_MINUS_ONE

public static final SubLSymbol $sym19$INCREMENT_SBHL_MARKING_STATE_BY_MINUS_ONE

$sym20$SET_SBHL_MARKING_STATE_TO_UNMARKED

public static final SubLSymbol $sym20$SET_SBHL_MARKING_STATE_TO_UNMARKED

$sym21$GENL_PREDS_UNMARKING_FN

public static final SubLSymbol $sym21$GENL_PREDS_UNMARKING_FN

$sym22$GENL_INVERSE_UNMARKING_FN

public static final SubLSymbol $sym22$GENL_INVERSE_UNMARKING_FN

$str23$Node__a_has_current_marking__a_wi

public static final SubLString $str23$Node__a_has_current_marking__a_wi

$str24$Node__a_has_current_marking__a_wi

public static final SubLString $str24$Node__a_has_current_marking__a_wi

$kw25$ERROR

public static final SubLSymbol $kw25$ERROR

$str26$_A_is_not_a__A

public static final SubLString $str26$_A_is_not_a__A

$sym27$SBHL_SPACE_P

public static final SubLSymbol $sym27$SBHL_SPACE_P

$kw28$CERROR

public static final SubLSymbol $kw28$CERROR

$str29$continue_anyway

public static final SubLString $str29$continue_anyway

$kw30$WARN

public static final SubLSymbol $kw30$WARN

$str31$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str31$_A_is_not_a_valid__sbhl_type_erro

Method Detail

get_sbhl_marking_state

public static final SubLObject get_sbhl_marking_state(SubLObject node,
                                                      SubLObject space)

Accessor: returns the marking state of NODE within SPACE / *sbhl-space*

sbhl_marked_with

public static final SubLObject sbhl_marked_with(SubLObject node,
                                                SubLObject space)

Accessor: returns NODE's current marking state (usually boolean). @see get-sbhl-marking-state.

sbhl_marked_p

public static final SubLObject sbhl_marked_p(SubLObject marking)

Accessor: @return booleanp; whether MARKING has a non-NIL marking state.

sbhl_predicate_path_termination_p

public static final SubLObject sbhl_predicate_path_termination_p(SubLObject marking)

Accessor: @return booleanp; whether MARKING indicates path termination for predicate search

set_sbhl_marking_state

public static final SubLObject set_sbhl_marking_state(SubLObject node,
                                                      SubLObject value,
                                                      SubLObject space)

Modifier: sets the hash slot for NODE in SPACE / *sbhl-space* to VALUE

set_sbhl_marking_state_to_marked

public static final SubLObject set_sbhl_marking_state_to_marked(SubLObject node,
                                                                SubLObject space)

Modifier: sets the hash slot for NODE in *sbhl-space* / SPACE to t. @see set-sbhl-marking-state

set_sbhl_marking_state_to_unmarked

public static final SubLObject set_sbhl_marking_state_to_unmarked(SubLObject node,
                                                                  SubLObject space)

Modifier: sets the hash slot for NODE in *sbhl-space* to nil @see set-sbhl-marking-state

sbhl_predicate_marking_fn

public static final SubLObject sbhl_predicate_marking_fn(SubLObject node,
                                                         SubLObject space)

Modifier: adds either #$genlPreds or #$genlInverse to NODE's marking, depending on @see genl-inverse-mode-p

genl_preds_marking_fn

public static final SubLObject genl_preds_marking_fn(SubLObject node,
                                                     SubLObject space)

Modifier: adds #$genlPreds to NODE's marking.

genl_inverse_marking_fn

public static final SubLObject genl_inverse_marking_fn(SubLObject node,
                                                       SubLObject space)

Modifier: adds #$genlInverse to NODE's marking.

sbhl_search_path_termination_p

public static final SubLObject sbhl_search_path_termination_p(SubLObject node,
                                                              SubLObject space)

Accessor: applies *sbhl-module* defined path termination determining fn, @see get-sbhl-path-terminating-mark?-fn. Relies on current context of SPACE / *sbhl-space*. @see sbhl-marked-p

sbhl_path_terminating_mark_p

public static final SubLObject sbhl_path_terminating_mark_p(SubLObject node,
                                                            SubLObject space)

Accessor: applies *sbhl-module* defined path termination determining fn, @see get-sbhl-path-terminating-mark?-fn. Relies on current context of SPACE / *sbhl-space*. @see sbhl-marked-p

sbhl_marked_in_terminating_space_p

public static final SubLObject sbhl_marked_in_terminating_space_p(SubLObject node)

Accessor: applies *sbhl-module* defined path-termination-function to NODE's marking within terminating space, @see get-sbhl-termingating-marking-space.

sbhl_marked_in_target_space_p

public static final SubLObject sbhl_marked_in_target_space_p(SubLObject node)

Accessor: applies *sbhl-module* defined path-termination-function to NODE's marking within target space, @see *sbhl-target-space*

sbhl_mark_node_marked

public static final SubLObject sbhl_mark_node_marked(SubLObject node,
                                                     SubLObject space)

Modifier: applies *sbhl-module* defined marking fn, @see get-sbhl-marking-fn. Relies on current context of *sbhl-space*, and gets search node from SEARCH-STATE as necessary (@see set-sbhl-marking-state-to-marked).

sbhl_mark_node_unmarked

public static final SubLObject sbhl_mark_node_unmarked(SubLObject node,
                                                       SubLObject space)

Modifier: applies *sbhl-module* defined unmarking fn, @see get-sbhl-unmarking-fn. Relies on current context of *sbhl-space*, and gets search node from SEARCH-STATE as necessary (@see set-sbhl-marking-state-to-unmarked).

sbhl_mark_nodes_in_target_space

public static final SubLObject sbhl_mark_nodes_in_target_space(SubLObject nodes)

Modifier: marks each of NODES in @see *sbhl-target-space*

sbhl_mark_nodes_in_target_space_gp

public static final SubLObject sbhl_mark_nodes_in_target_space_gp(SubLObject nodes)

Modifier: marks each of NODES in @see *sbhl-target-space*

clear_sbhl_space

public static final SubLObject clear_sbhl_space(SubLObject space)

Modifier: clears space

declare_sbhl_marking_utilities_file

public static final SubLObject declare_sbhl_marking_utilities_file()

init_sbhl_marking_utilities_file

public static final SubLObject init_sbhl_marking_utilities_file()

setup_sbhl_marking_utilities_file

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