sbhl_marking

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_marking_vars

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class sbhl_marking_vars
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLSymbol`	$debug_sbhl_marking_spacesP$
`static SubLInteger`	`$int0$100`
`static SubLInteger`	`$int1$3000`
`static SubLSymbol`	`$kw24$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw25$NUM`
`static SubLSymbol`	`$kw53$OLD`
`static SubLSymbol`	`$kw54$RESOURCE`
`static SubLSymbol`	`$kw55$NEW`
`static SubLSymbol`	`$kw61$DONE`
`static SubLList`	`$list101`
`static SubLList`	`$list106`
`static SubLList`	`$list107`
`static SubLList`	`$list112`
`static SubLList`	`$list13`
`static SubLList`	`$list15`
`static SubLList`	`$list16`
`static SubLList`	`$list18`
`static SubLList`	`$list19`
`static SubLList`	`$list2`
`static SubLList`	`$list21`
`static SubLList`	`$list22`
`static SubLList`	`$list23`
`static SubLList`	`$list34`
`static SubLList`	`$list4`
`static SubLList`	`$list42`
`static SubLList`	`$list45`
`static SubLList`	`$list47`
`static SubLList`	`$list50`
`static SubLList`	`$list56`
`static SubLList`	`$list57`
`static SubLList`	`$list58`
`static SubLList`	`$list59`
`static SubLList`	`$list6`
`static SubLList`	`$list62`
`static SubLList`	`$list72`
`static SubLList`	`$list73`
`static SubLList`	`$list76`
`static SubLList`	`$list79`
`static SubLList`	`$list8`
`static SubLList`	`$list82`
`static SubLList`	`$list84`
`static SubLList`	`$list86`
`static SubLList`	`$list87`
`static SubLList`	`$list88`
`static SubLList`	`$list89`
`static SubLList`	`$list90`
`static SubLList`	`$list93`
`static SubLList`	`$list94`
`static SubLList`	`$list95`
`static SubLList`	`$list96`
`static SubLList`	`$list99`
`static SubLSymbol`	$resourced_sbhl_marking_space_limit$ The maximal number of spaces to resource.
`static SubLSymbol`	$resourced_sbhl_marking_spaces$ The store of spaces that are being resourced.
`static SubLSymbol`	$resourcing_sbhl_marking_spaces_p$ Flag parameter to determine whether to resource sbhl spaces
`static SubLSymbol`	$sbhl_apply_marking_space$
`static SubLSymbol`	$sbhl_disjoins_space$ a context name used for marking disjoins
`static SubLSymbol`	$sbhl_gather_space$ the context used for gathering valid results in 3 part searches.
`static SubLSymbol`	$sbhl_genl_inverse_and_genl_preds_marking$ The marking for nodes accessed in both predicate argument-flipped modes and during search
`static SubLSymbol`	$sbhl_genl_inverse_marking$ The marking for nodes only accessed in argument-flipped mode during search
`static SubLSymbol`	$sbhl_genl_preds_and_genl_inverse_marking$ The marking for nodes accessed in both predicate argument-flipped modes and during search
`static SubLSymbol`	$sbhl_genl_preds_marking$ The marking for nodes only accessed in predicate mode during search
`static SubLSymbol`	$sbhl_goal_space$ The space var used when goal nodes are premarked.
`static SubLSymbol`	$sbhl_goal_table$ The table var used when goal nodes are premarked.
`static SubLSymbol`	$sbhl_mapping_gather_marking_space$ Space nameholder for marking during mapping
`static SubLSymbol`	$sbhl_mapping_marking_space$ Space nameholder for marking during mapping
`static SubLSymbol`	$sbhl_marking_generation$ The current marking generation.
`static SubLSymbol`	$sbhl_space_0$ a variable to use for sbhl spaces
`static SubLSymbol`	$sbhl_space_1$ a variable to use for sbhl spaces
`static SubLSymbol`	$sbhl_space_2$ a variable to use for sbhl spaces
`static SubLSymbol`	$sbhl_space_3$ a variable to use for sbhl spaces
`static SubLSymbol`	$sbhl_space_4$ a variable to use for sbhl spaces
`static SubLSymbol`	$sbhl_space_5$ a variable to use for sbhl spaces
`static SubLSymbol`	$sbhl_space$ the current context for marking
`static SubLSymbol`	$sbhl_suspend_new_spaces_during_mappingP$ Toggle parameter for whether to suspend the creation of new search spaces during mapping.
`static SubLSymbol`	$sbhl_suspend_new_spacesP$ Toggle variable to suspend creation of new spaces during search.
`static SubLSymbol`	$sbhl_table$
`static SubLSymbol`	$sbhl_target_gather_space$ The space used when we want independent searches to make cross references.
`static SubLSymbol`	$sbhl_target_space$ The space used when we want independent searches to make cross references.
`static SubLSymbol`	$sbhl_temporality_search_checks_nodes_in_target_space_p$ Parameter determining whether a time search checks markings in target space (for searching marked nodes)
`static SubLSymbol`	$sbhl_terminating_marking_space$ The space var used to indicate where the marking of result nodes occurs.
`static SubLString`	`$str110$no_mapping_method_defiend_for_sbh`
`static SubLString`	`$str30$Dirty_resourced_marking_space_bei`
`static SubLString`	`$str31$Need_more_than_the_limit_of__A_ma`
`static SubLString`	`$str71$no_mapping_method_defiend_for_sbh`
`static SubLString`	`$str97$Table_used_for_public_marking_int`
`static SubLSymbol`	`$sym10$DETERMINE_RESOURCE_LIMIT`
`static SubLSymbol`	`$sym100$RESOURCING_P`
`static SubLSymbol`	`$sym102$WITHOUT_SBHL_RESOURCED_MARKING_SPACES`
`static SubLSymbol`	`$sym103$WITH_NEW_SBHL_TABLE`
`static SubLSymbol`	`$sym104$WITH_SBHL_TABLE_VAR`
`static SubLSymbol`	`$sym105$TOGGLE_SBHL_RESOURCED_MARKING_SPACES`
`static SubLSymbol`	`$sym108$NODE`
`static SubLSymbol`	`$sym109$TAG`
`static SubLSymbol`	`$sym11$_RESOURCED_SBHL_MARKING_SPACES_`
`static SubLSymbol`	`$sym111$WITHIN_SBHL_SPACE`
`static SubLSymbol`	`$sym113$_SBHL_GOAL_TABLE_`
`static SubLSymbol`	`$sym12$POSSIBLY_NEW_MARKING_RESOURCE`
`static SubLSymbol`	`$sym14$WITH_SBHL_RESOURCED_MARKING_SPACES`
`static SubLSymbol`	`$sym17$_RESOURCING_SBHL_MARKING_SPACES_P_`
`static SubLSymbol`	`$sym20$CSETQ`
`static SubLSymbol`	`$sym26$SBHL_MS_RESOURCE`
`static SubLSymbol`	`$sym27$NEW_SBHL_MARKING_SPACE_RESOURCE`
`static SubLSymbol`	`$sym28$WITH_SBHL_MARKING_SPACE_RESOURCE`
`static SubLSymbol`	`$sym29$DETERMINE_MARKING_SPACE_LIMIT`
`static SubLSymbol`	`$sym3$CLET`
`static SubLSymbol`	`$sym32$INSTANTIATE_SBHL_MARKING_SPACE_FOR`
`static SubLSymbol`	`$sym33$_SBHL_SPACE_`
`static SubLSymbol`	`$sym35$WITH_NEW_SBHL_SPACE`
`static SubLSymbol`	`$sym36$WITH_SBHL_SPACE_VAR`
`static SubLSymbol`	`$sym37$_SBHL_GATHER_SPACE_`
`static SubLSymbol`	`$sym38$WITH_NEW_SBHL_GATHER_SPACE`
`static SubLSymbol`	`$sym39$WITH_NEW_SBHL_SPACES`
`static SubLSymbol`	`$sym40$WITH_SAME_SBHL_SPACES`
`static SubLSymbol`	`$sym41$SOURCE`
`static SubLSymbol`	`$sym43$POSSIBLY_WITH_NEW_SBHL_SPACE`
`static SubLSymbol`	`$sym44$POSSIBLY_WITH_NEW_SBHL_SPACES`
`static SubLSymbol`	`$sym46$FIF`
`static SubLSymbol`	`$sym48$SBHL_GET_NEW_SPACE`
`static SubLSymbol`	`$sym49$PWHEN`
`static SubLSymbol`	`$sym5$FREE_SBHL_MARKING_SPACE`
`static SubLSymbol`	`$sym51$UPDATE_SBHL_RESOURCED_SPACES`
`static SubLSymbol`	`$sym52$SBHL_NEW_SPACE_SOURCE`
`static SubLSymbol`	`$sym60$DO_HASH_TABLE`
`static SubLSymbol`	`$sym63$NODE`
`static SubLSymbol`	`$sym64$TAG`
`static SubLSymbol`	`$sym65$PCOND`
`static SubLSymbol`	`$sym66$HASH_TABLE_P`
`static SubLSymbol`	`$sym67$CDOHASH`
`static SubLSymbol`	`$sym68$IGNORE`
`static SubLSymbol`	`$sym69$FUNCALL`
`static SubLSymbol`	`$sym7$ALREADY_RESOURCING_P`
`static SubLSymbol`	`$sym70$SBHL_ERROR`
`static SubLSymbol`	`$sym74$_SBHL_GOAL_SPACE_`
`static SubLSymbol`	`$sym75$WITH_NEW_SBHL_TARGET_SPACES`
`static SubLSymbol`	`$sym77$_SBHL_TARGET_SPACE_`
`static SubLSymbol`	`$sym78$_SBHL_TARGET_GATHER_SPACE_`
`static SubLSymbol`	`$sym80$WITH_NEW_SBHL_TARGET_SPACE`
`static SubLSymbol`	`$sym81$WITHIN_SBHL_TARGET_SPACE`
`static SubLSymbol`	`$sym83$_SBHL_TERMINATING_MARKING_SPACE_`
`static SubLSymbol`	`$sym85$_SBHL_APPLY_MARKING_SPACE_`
`static SubLSymbol`	`$sym9$_RESOURCED_SBHL_MARKING_SPACE_LIMIT_`
`static SubLSymbol`	`$sym91$_SBHL_MAPPING_MARKING_SPACE_`
`static SubLSymbol`	`$sym92$_SBHL_MAPPING_GATHER_MARKING_SPACE_`
`static SubLSymbol`	`$sym98$_SBHL_TABLE_`
`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`	`average_genl_cardinality(SubLObject module)`
`static SubLObject`	`average_spec_cardinality(SubLObject module)`
`static SubLObject`	`declare_sbhl_marking_vars_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`determine_marking_space_limit(SubLObject marking_resource)`
`static SubLObject`	`determine_resource_limit(SubLObject resourcing_p, SubLObject num)`
`static SubLObject`	`free_sbhl_marking_space(SubLObject space)`
`static SubLObject`	`genl_inverse_marking_p(SubLObject marking)` Accessor: @return booleanp; whether MARKING indicates access only in argument-flipped mode.
`static SubLObject`	`genl_preds_and_genl_inverse_marking_p(SubLObject marking)` Accessor: @return booleanp; whether MARKING indicates access in both predicate and argument-flipped mode.
`static SubLObject`	`genl_preds_marking_p(SubLObject marking)` Accessor: @return booleanp; whether MARKING indicates access only in predicate mode.
`static SubLObject`	`get_sbhl_goal_space()` Accessor: @return sbhl-space-object-p; @see sbhl-goal-space
`static SubLObject`	`get_sbhl_marking_space()`
`static SubLObject`	`get_sbhl_resourced_marking_space()` Accessor.
`static SubLObject`	`get_sbhl_terminating_marking_space()` Accessor: @return sbhl-space-object-p; @see sbhl-goal-space
`static SubLObject`	`init_sbhl_marking_vars_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`instantiate_sbhl_marking_space()` Creates an sbhl-space-p
`static SubLObject`	`new_sbhl_marking_space_resource(SubLObject num)` Returns a resource of sbhl marking spaces.
`static SubLObject`	`possibly_new_marking_resource(SubLObject resourcing_p)`
`static SubLObject`	`resourcing_sbhl_marking_spaces_p()` Accessor.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`sbhl_get_new_space(SubLObject source)` Get a new SBHL marking space from SOURCE.
`static SubLObject`	`sbhl_new_space_source()` Determine whether and where to get new spaces from.
`static SubLObject`	`sbhl_suspend_new_spaces_during_mappingP()` Accessor: @return booleanp; whether to suspend the creation of new search spaces during mapping.
`static SubLObject`	`sbhl_suspend_new_spacesP()` Accessor.
`static SubLObject`	`setup_sbhl_marking_vars_file()`
`static SubLObject`	`update_sbhl_resourced_spaces(SubLObject space)` Modifier.

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

$debug_sbhl_marking_spacesP$

public static SubLSymbol $debug_sbhl_marking_spacesP$

$resourcing_sbhl_marking_spaces_p$

public static SubLSymbol $resourcing_sbhl_marking_spaces_p$

Flag parameter to determine whether to resource sbhl spaces

$resourced_sbhl_marking_space_limit$

public static SubLSymbol $resourced_sbhl_marking_space_limit$

The maximal number of spaces to resource.

$resourced_sbhl_marking_spaces$

public static SubLSymbol $resourced_sbhl_marking_spaces$

The store of spaces that are being resourced.

$sbhl_space$

public static SubLSymbol $sbhl_space$

the current context for marking

$sbhl_gather_space$

public static SubLSymbol $sbhl_gather_space$

the context used for gathering valid results in 3 part searches.

$sbhl_disjoins_space$

public static SubLSymbol $sbhl_disjoins_space$

a context name used for marking disjoins