com.cyc.cycjava.cycl.sbhl
Class sbhl_marking_methods

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_marking_methods
extends SubLTranslatedFile

Nested Class Summary

static class

sbhl_marking_methods.$sbhl_mark_closure_as_marked$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$genlInverse
static SubLObject	$const14$True_JustificationTruth
static SubLSymbol	$kw10$CERROR
static SubLSymbol	$kw12$WARN
static SubLSymbol	$kw15$OLD
static SubLSymbol	$kw16$RESOURCE
static SubLSymbol	$kw7$ERROR
static SubLString	$str11$continue_anyway
static SubLString	$str13$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str17$Node__a_does_not_pass_sbhl_type_t
static SubLString	$str18$marking_space____S__
static SubLString	$str28$invalid_module_type__a
static SubLString	$str31$Error_in_direction__a
static SubLString	$str8$_A_is_not_a__A
static SubLSymbol	$sym0$SBHL_CHECK_CUTOFF
static SubLSymbol	$sym19$SBHL_MARK_CLOSURE_AS_MARKED
static SubLSymbol	$sym2$SBHL_NODE_IS_A_GOAL_NODE
static SubLSymbol	$sym20$SBHL_UNMARK_INITIALIZED_MARKED_CLOSURE
static SubLSymbol	$sym21$SBHL_APPLY_COMPOSE_FN
static SubLSymbol	$sym22$SBHL_PUSH_ONTO_RESULT
static SubLSymbol	$sym23$SBHL_PUSH_ONTO_RESULT_IF
static SubLSymbol	$sym24$SBHL_APPLY_MARK_IN_SPACE
static SubLSymbol	$sym25$SBHL_APPLY_UNMARK_IN_SPACE
static SubLSymbol	$sym26$SBHL_MARK_IN_TARGET_SPACE
static SubLSymbol	$sym27$SBHL_MARK_IN_TARGET_GATHER_SPACE
static SubLSymbol	$sym29$SBHL_MARK_CLOSURE_IN_TARGET_SPACE
static SubLSymbol	$sym3$SBHL_NODE_IS_GOAL_NODE
static SubLSymbol	$sym30$SBHL_MARK_NODE_AND_INSTANCES_IN_TARGET_SPACE
static SubLSymbol	$sym32$SBHL_PREDICATE_OBJECT_P
static SubLSymbol	$sym4$SBHL_CONSIDER_NODE
static SubLSymbol	$sym5$SBHL_MODULE_P
static SubLSymbol	$sym6$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym9$SBHL_TRUE_TV_P
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_marking_methods_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_sbhl_marking_methods_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_all_forward_true_nodes(SubLObject module, SubLObject node, SubLObject mt, SubLObject tv) Modifier.
static SubLObject	sbhl_mark_closure_as_marked(SubLObject node) Modifier: marks all nodes accessible to NODE as marked, in the current search space.
static SubLObject	sbhl_mark_forward_true_nodes_in_space(SubLObject module, SubLObject node, SubLObject space, SubLObject gather_space) Modifier: Binds *sbhl-space* to SPACE and *sbhl-gather-space* to GATHER-SPACE and performs @see sbhl-mark-all-forward-true-nodes.
static SubLObject	sbhl_mark_proper_closure_as_marked(SubLObject node) Modifier: marks all nodes properly accessible to NODE as marked, thereby only marking NODE if it is part of a cycle.
static SubLObject	sbhl_premark_direction(SubLObject module)
static SubLObject	sbhl_premark_gather_nodes(SubLObject node) Used for initial marking for boolean disjoins searches.
static SubLObject	sbhl_unmark_marked_closure_and_gather_if(SubLObject node, SubLObject function) Modifier: unmarks all marked nodes accessible to NODE and pushes them onto the result if they pass the test FUNCTION.
static SubLObject	setup_sbhl_marking_methods_file()

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

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$sym0$SBHL_CHECK_CUTOFF

public static final SubLSymbol $sym0$SBHL_CHECK_CUTOFF

$const1$genlInverse

public static final SubLObject $const1$genlInverse

$sym2$SBHL_NODE_IS_A_GOAL_NODE

public static final SubLSymbol $sym2$SBHL_NODE_IS_A_GOAL_NODE

$sym3$SBHL_NODE_IS_GOAL_NODE

public static final SubLSymbol $sym3$SBHL_NODE_IS_GOAL_NODE

$sym4$SBHL_CONSIDER_NODE

public static final SubLSymbol $sym4$SBHL_CONSIDER_NODE

$sym5$SBHL_MODULE_P

public static final SubLSymbol $sym5$SBHL_MODULE_P

$sym6$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym6$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw7$ERROR

public static final SubLSymbol $kw7$ERROR

$str8$_A_is_not_a__A

public static final SubLString $str8$_A_is_not_a__A

$sym9$SBHL_TRUE_TV_P

public static final SubLSymbol $sym9$SBHL_TRUE_TV_P

$kw10$CERROR

public static final SubLSymbol $kw10$CERROR

$str11$continue_anyway

public static final SubLString $str11$continue_anyway

$kw12$WARN

public static final SubLSymbol $kw12$WARN

$str13$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str13$_A_is_not_a_valid__sbhl_type_erro

$const14$True_JustificationTruth

public static final SubLObject $const14$True_JustificationTruth

$kw15$OLD

public static final SubLSymbol $kw15$OLD

$kw16$RESOURCE

public static final SubLSymbol $kw16$RESOURCE

$str17$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str17$Node__a_does_not_pass_sbhl_type_t

$str18$marking_space____S__

public static final SubLString $str18$marking_space____S__

$sym19$SBHL_MARK_CLOSURE_AS_MARKED

public static final SubLSymbol $sym19$SBHL_MARK_CLOSURE_AS_MARKED

$sym20$SBHL_UNMARK_INITIALIZED_MARKED_CLOSURE

public static final SubLSymbol $sym20$SBHL_UNMARK_INITIALIZED_MARKED_CLOSURE

$sym21$SBHL_APPLY_COMPOSE_FN

public static final SubLSymbol $sym21$SBHL_APPLY_COMPOSE_FN

$sym22$SBHL_PUSH_ONTO_RESULT

public static final SubLSymbol $sym22$SBHL_PUSH_ONTO_RESULT

$sym23$SBHL_PUSH_ONTO_RESULT_IF

public static final SubLSymbol $sym23$SBHL_PUSH_ONTO_RESULT_IF

$sym24$SBHL_APPLY_MARK_IN_SPACE

public static final SubLSymbol $sym24$SBHL_APPLY_MARK_IN_SPACE

$sym25$SBHL_APPLY_UNMARK_IN_SPACE

public static final SubLSymbol $sym25$SBHL_APPLY_UNMARK_IN_SPACE

$sym26$SBHL_MARK_IN_TARGET_SPACE

public static final SubLSymbol $sym26$SBHL_MARK_IN_TARGET_SPACE

$sym27$SBHL_MARK_IN_TARGET_GATHER_SPACE

public static final SubLSymbol $sym27$SBHL_MARK_IN_TARGET_GATHER_SPACE

$str28$invalid_module_type__a

public static final SubLString $str28$invalid_module_type__a

$sym29$SBHL_MARK_CLOSURE_IN_TARGET_SPACE

public static final SubLSymbol $sym29$SBHL_MARK_CLOSURE_IN_TARGET_SPACE

$sym30$SBHL_MARK_NODE_AND_INSTANCES_IN_TARGET_SPACE

public static final SubLSymbol $sym30$SBHL_MARK_NODE_AND_INSTANCES_IN_TARGET_SPACE

$str31$Error_in_direction__a

public static final SubLString $str31$Error_in_direction__a

$sym32$SBHL_PREDICATE_OBJECT_P

public static final SubLSymbol $sym32$SBHL_PREDICATE_OBJECT_P

Method Detail

sbhl_premark_direction

public static final SubLObject sbhl_premark_direction(SubLObject module)

sbhl_premark_gather_nodes

public static final SubLObject sbhl_premark_gather_nodes(SubLObject node)

Used for initial marking for boolean disjoins searches. Applies @see sbhl-sweep, upon NODE, with current *sbhl-module*, forward direction, true search tv, in @see *sbhl-gather-space*, with map-fn sbhl-check-cutoff.

sbhl_mark_all_forward_true_nodes

public static final SubLObject sbhl_mark_all_forward_true_nodes(SubLObject module,
                                                                SubLObject node,
                                                                SubLObject mt,
                                                                SubLObject tv)

Modifier. Marks the forward true closure of NODE in MODULE with relevance determined by MT and TV. performs this marking in current *sbhl-space* and possibly *sbhl-gather-space*, depending on the search behavior that it binds (as determined by @see determine-sbhl-search-behavior).

sbhl_mark_closure_as_marked

public static final SubLObject sbhl_mark_closure_as_marked(SubLObject node)

Modifier: marks all nodes accessible to NODE as marked, in the current search space.

sbhl_mark_forward_true_nodes_in_space

public static final SubLObject sbhl_mark_forward_true_nodes_in_space(SubLObject module,
                                                                     SubLObject node,
                                                                     SubLObject space,
                                                                     SubLObject gather_space)

Modifier: Binds *sbhl-space* to SPACE and *sbhl-gather-space* to GATHER-SPACE and performs @see sbhl-mark-all-forward-true-nodes.

sbhl_mark_proper_closure_as_marked

public static final SubLObject sbhl_mark_proper_closure_as_marked(SubLObject node)

Modifier: marks all nodes properly accessible to NODE as marked, thereby only marking NODE if it is part of a cycle.

sbhl_unmark_marked_closure_and_gather_if

public static final SubLObject sbhl_unmark_marked_closure_and_gather_if(SubLObject node,
                                                                        SubLObject function)

Modifier: unmarks all marked nodes accessible to NODE and pushes them onto the result if they pass the test FUNCTION.

declare_sbhl_marking_methods_file

public static final SubLObject declare_sbhl_marking_methods_file()

init_sbhl_marking_methods_file

public static final SubLObject init_sbhl_marking_methods_file()

setup_sbhl_marking_methods_file

public static final SubLObject setup_sbhl_marking_methods_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.