com.cyc.cycjava.cycl
Class sdc

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sdc
extends SubLTranslatedFile

Nested Class Summary

static class	sdc.$any_sdc_wrtP$BinaryFunction
static class	sdc.$sbhl_determine_sd_and_store_candidates$UnaryFunction
static class	sdc.$sbhl_gather_sd_candidates$UnaryFunction
static class	sdc.$sbhl_mark_sd_genls_isas$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const13$genls
static SubLObject	$const16$isa
static SubLObject	$const33$siblingDisjointExceptions
static SubLObject	$const38$SiblingDisjointCollectionType
static SubLSymbol	$ignoring_sdcP$ ignore sdc module while recomputing sbhl links?
static SubLInteger	$int28$512
static SubLSymbol	$kw11$WARN
static SubLSymbol	$kw14$DO_HASH_TABLE
static SubLSymbol	$kw21$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw35$TRUE
static SubLSymbol	$kw36$ASSERTION
static SubLSymbol	$kw37$OPAQUE
static SubLSymbol	$kw6$ERROR
static SubLSymbol	$kw9$CERROR
static SubLList	$list39
static SubLSymbol	$sdc_common_spec_exceptionP$ should sdc module support (expensive) rule (-> (and (genls z x) (genls z y)) (sdcException x y))
static SubLSymbol	$sdc_exception_transfers_thru_specsP$ should sdc module support (expensive) rule (-> (and (sdcException x y) (genls z y)) (sdcException x z))?
static SubLSymbol	$sdw_test_level$ current testing level for sdw modules
static SubLSymbol	$sdw_trace_level$ current tracing level for sdw modules
static SubLString	$str10$continue_anyway
static SubLString	$str12$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str7$_A_is_not_a__A
static SubLSymbol	$sym0$INSTANTIATE_SBHL_MARKING_SPACE_FOR
static SubLSymbol	$sym1$_SD_C1_GENLS_SPACE_
static SubLSymbol	$sym15$SBHL_MARK_SD_GENLS_ISAS
static SubLSymbol	$sym17$SBHL_GATHER_SD_CANDIDATES
static SubLSymbol	$sym18$SBHL_DETERMINE_SD_AND_STORE_CANDIDATES
static SubLSymbol	$sym19$CACHED_SBHL_SD_RELEVANT_C2_GENL_ISA_CANDIDATE_
static SubLSymbol	$sym2$_SD_C2_GENLS_SPACE_
static SubLSymbol	$sym20$_CACHED_SBHL_SD_RELEVANT_C2_GENL_ISA_CANDIDATE__CACHING_STATE_
static SubLSymbol	$sym22$SBHL_SD_GOAL_IN_GENLS_ISAS_P
static SubLSymbol	$sym23$GATHER_SDCT_ISAS
static SubLSymbol	$sym24$GATHER_IF_SDCT_
static SubLSymbol	$sym25$CACHED_ALL_ISA_SDCT
static SubLSymbol	$sym26$SIBLING_DISJOINT_COLLECTION_P
static SubLSymbol	$sym27$_CACHED_ALL_ISA_SDCT_CACHING_STATE_
static SubLSymbol	$sym29$SAFE_SDCT_ELEMENT_
static SubLSymbol	$sym3$_SD_GENLS_ISAS_SPACE_
static SubLSymbol	$sym30$CACHED_SDC_EXCEPTIONS
static SubLSymbol	$sym31$_CACHED_SDC_EXCEPTIONS_CACHING_STATE_
static SubLSymbol	$sym32$GATHER_DIRECT_SDC_EXCEPTIONS
static SubLSymbol	$sym34$GATHER_DIRECT_SDC_EXCEPTION
static SubLSymbol	$sym4$_SD_CANDIDATE_STORE_
static SubLSymbol	$sym40$C1
static SubLSymbol	$sym41$C2
static SubLSymbol	$sym5$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym8$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	any_isa_common_sdct_among(SubLObject c1s, SubLObject c2, SubLObject mt, SubLObject tv)
static SubLObject	any_isa_common_sdct(SubLObject c1, SubLObject c2, SubLObject mt, SubLObject tv)
static SubLObject	any_sdc_wrtP(SubLObject c1s, SubLObject c2, SubLObject mt) is any c1 in sibling-disjoint with within ?
static SubLObject	clear_cached_all_isa_sdct()
static SubLObject	declare_sdc_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	direct_sdc_exceptions(SubLObject collection, SubLObject mt) declared exceptions to the sibling-disjoint cols wrt
static SubLObject	establishing_instance_ofP(SubLObject c1, SubLObject c2, SubLObject mt, SubLObject assertion) don't claim sibling-disjoint when stating that a common spec of c1 and c2 has an instance (e.g., printer-copier)
static SubLObject	establishing_supersetP(SubLObject c1, SubLObject c2, SubLObject mt, SubLObject assertion) don't claim sibling-disjoint when stating that c1 has superset c2
static SubLObject	init_sdc_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	isa_common_sdctP(SubLObject c1, SubLObject c2, SubLObject mt)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sbhl_determine_sd_and_store_candidates(SubLObject c2_genl_isa) Implements second part of @see sbhl-gather-first-sd-or-store-sd-candidates.
static SubLObject	sbhl_determine_sd_path_with_no_exceptions_among(SubLObject c1s) determines if there is any genls along isa path from some c1 to a candidate c1-genl-isa that does not go through a set of relevant exceptions, stored in @see *sd-candidate-store*
static SubLObject	sbhl_determine_sd_path_with_no_exceptions(SubLObject c1) determines if there is any genls along isa path from c1 to a candidate c1-genl-isa that does not go through a set of relevant exceptions, stored in @see *sd-candidate-store*
static SubLObject	sbhl_gather_first_sd_or_store_sd_candidates(SubLObject c2) returns the first node, GOAL, from the isas of the genls of C2 s.t.
static SubLObject	sbhl_gather_sd_candidates(SubLObject c2_genl) Implements first part of @see sbhl-gather-first-sd-or-store-sd-candidates.
static SubLObject	sbhl_mark_sd_c1_genls_and_non_c2_genls_isas(SubLObject c1, SubLObject c2) in *sd-c1-genls-space* mark the genls of C1 in *sd-genls-isas-space* mark the isas of those C1 genls that is not also C2 genls
static SubLObject	sbhl_mark_sd_c1s_genls_and_non_c2_genls_isas(SubLObject c1s, SubLObject c2) in *sd-c1-genls-space* mark the genls of C1S in *sd-genls-isas-space* mark the isas of those C1S genls that is not also C2 genls
static SubLObject	sbhl_mark_sd_genls_isas(SubLObject c1_genl) marks the all-isas of C1-GENL in *sd-genls-isas-space* (unless its also a genl of c2)
static SubLObject	sbhl_sd_relevant_c2_genl_isa_candidateP(SubLObject c2_genl_isa)
static SubLObject	sdc_exceptions_int(SubLObject collection, SubLObject mt)
static SubLObject	sdc_exceptions(SubLObject collection, SubLObject mt)
static SubLObject	sdc_intP(SubLObject c1, SubLObject c2) is sibling-disjoint with within ?
static SubLObject	sdcP(SubLObject c1, SubLObject c2, SubLObject mt) is sibling-disjoint wrt ?
static SubLObject	setup_sdc_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

$sdc_exception_transfers_thru_specsP$

public static SubLSymbol $sdc_exception_transfers_thru_specsP$

should sdc module support (expensive) rule (-> (and (sdcException x y) (genls z y)) (sdcException x z))?

$sdc_common_spec_exceptionP$

public static SubLSymbol $sdc_common_spec_exceptionP$

should sdc module support (expensive) rule (-> (and (genls z x) (genls z y)) (sdcException x y))

$ignoring_sdcP$

public static SubLSymbol $ignoring_sdcP$

ignore sdc module while recomputing sbhl links?

$sdw_trace_level$

public static SubLSymbol $sdw_trace_level$

current tracing level for sdw modules

$sdw_test_level$

public static SubLSymbol $sdw_test_level$

current testing level for sdw modules

$sym0$INSTANTIATE_SBHL_MARKING_SPACE_FOR

public static final SubLSymbol $sym0$INSTANTIATE_SBHL_MARKING_SPACE_FOR

$sym1$_SD_C1_GENLS_SPACE_

public static final SubLSymbol $sym1$_SD_C1_GENLS_SPACE_

$sym2$_SD_C2_GENLS_SPACE_

public static final SubLSymbol $sym2$_SD_C2_GENLS_SPACE_

$sym3$_SD_GENLS_ISAS_SPACE_

public static final SubLSymbol $sym3$_SD_GENLS_ISAS_SPACE_

$sym4$_SD_CANDIDATE_STORE_

public static final SubLSymbol $sym4$_SD_CANDIDATE_STORE_

$sym5$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym5$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw6$ERROR

public static final SubLSymbol $kw6$ERROR

$str7$_A_is_not_a__A

public static final SubLString $str7$_A_is_not_a__A

$sym8$SBHL_TRUE_TV_P

public static final SubLSymbol $sym8$SBHL_TRUE_TV_P

$kw9$CERROR

public static final SubLSymbol $kw9$CERROR

$str10$continue_anyway

public static final SubLString $str10$continue_anyway

$kw11$WARN

public static final SubLSymbol $kw11$WARN

$str12$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str12$_A_is_not_a_valid__sbhl_type_erro

$const13$genls

public static final SubLObject $const13$genls

$kw14$DO_HASH_TABLE

public static final SubLSymbol $kw14$DO_HASH_TABLE

$sym15$SBHL_MARK_SD_GENLS_ISAS

public static final SubLSymbol $sym15$SBHL_MARK_SD_GENLS_ISAS

$const16$isa

public static final SubLObject $const16$isa

$sym17$SBHL_GATHER_SD_CANDIDATES

public static final SubLSymbol $sym17$SBHL_GATHER_SD_CANDIDATES

$sym18$SBHL_DETERMINE_SD_AND_STORE_CANDIDATES

public static final SubLSymbol $sym18$SBHL_DETERMINE_SD_AND_STORE_CANDIDATES

$sym19$CACHED_SBHL_SD_RELEVANT_C2_GENL_ISA_CANDIDATE_

public static final SubLSymbol $sym19$CACHED_SBHL_SD_RELEVANT_C2_GENL_ISA_CANDIDATE_

$sym20$_CACHED_SBHL_SD_RELEVANT_C2_GENL_ISA_CANDIDATE__CACHING_STATE_

public static final SubLSymbol $sym20$_CACHED_SBHL_SD_RELEVANT_C2_GENL_ISA_CANDIDATE__CACHING_STATE_

$kw21$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw21$_MEMOIZED_ITEM_NOT_FOUND_

$sym22$SBHL_SD_GOAL_IN_GENLS_ISAS_P

public static final SubLSymbol $sym22$SBHL_SD_GOAL_IN_GENLS_ISAS_P

$sym23$GATHER_SDCT_ISAS

public static final SubLSymbol $sym23$GATHER_SDCT_ISAS

$sym24$GATHER_IF_SDCT_

public static final SubLSymbol $sym24$GATHER_IF_SDCT_

$sym25$CACHED_ALL_ISA_SDCT

public static final SubLSymbol $sym25$CACHED_ALL_ISA_SDCT

$sym26$SIBLING_DISJOINT_COLLECTION_P

public static final SubLSymbol $sym26$SIBLING_DISJOINT_COLLECTION_P

$sym27$_CACHED_ALL_ISA_SDCT_CACHING_STATE_

public static final SubLSymbol $sym27$_CACHED_ALL_ISA_SDCT_CACHING_STATE_

$int28$512

public static final SubLInteger $int28$512

$sym29$SAFE_SDCT_ELEMENT_

public static final SubLSymbol $sym29$SAFE_SDCT_ELEMENT_

$sym30$CACHED_SDC_EXCEPTIONS

public static final SubLSymbol $sym30$CACHED_SDC_EXCEPTIONS

$sym31$_CACHED_SDC_EXCEPTIONS_CACHING_STATE_

public static final SubLSymbol $sym31$_CACHED_SDC_EXCEPTIONS_CACHING_STATE_

$sym32$GATHER_DIRECT_SDC_EXCEPTIONS

public static final SubLSymbol $sym32$GATHER_DIRECT_SDC_EXCEPTIONS

$const33$siblingDisjointExceptions

public static final SubLObject $const33$siblingDisjointExceptions

$sym34$GATHER_DIRECT_SDC_EXCEPTION

public static final SubLSymbol $sym34$GATHER_DIRECT_SDC_EXCEPTION

$kw35$TRUE

public static final SubLSymbol $kw35$TRUE

$kw36$ASSERTION

public static final SubLSymbol $kw36$ASSERTION

$kw37$OPAQUE

public static final SubLSymbol $kw37$OPAQUE

$const38$SiblingDisjointCollectionType

public static final SubLObject $const38$SiblingDisjointCollectionType

$list39

public static final SubLList $list39

$sym40$C1

public static final SubLSymbol $sym40$C1

$sym41$C2

public static final SubLSymbol $sym41$C2

Method Detail

any_isa_common_sdct

public static final SubLObject any_isa_common_sdct(SubLObject c1,
                                                   SubLObject c2,
                                                   SubLObject mt,
                                                   SubLObject tv)

any_isa_common_sdct_among

public static final SubLObject any_isa_common_sdct_among(SubLObject c1s,
                                                         SubLObject c2,
                                                         SubLObject mt,
                                                         SubLObject tv)

sbhl_mark_sd_c1_genls_and_non_c2_genls_isas

public static final SubLObject sbhl_mark_sd_c1_genls_and_non_c2_genls_isas(SubLObject c1,
                                                                           SubLObject c2)

in *sd-c1-genls-space* mark the genls of C1 in *sd-genls-isas-space* mark the isas of those C1 genls that is not also C2 genls

sbhl_mark_sd_c1s_genls_and_non_c2_genls_isas

public static final SubLObject sbhl_mark_sd_c1s_genls_and_non_c2_genls_isas(SubLObject c1s,
                                                                            SubLObject c2)

in *sd-c1-genls-space* mark the genls of C1S in *sd-genls-isas-space* mark the isas of those C1S genls that is not also C2 genls

Returns:

a list of the c1s used to mark the space.

sbhl_mark_sd_genls_isas

public static final SubLObject sbhl_mark_sd_genls_isas(SubLObject c1_genl)

marks the all-isas of C1-GENL in *sd-genls-isas-space* (unless its also a genl of c2)

sbhl_gather_first_sd_or_store_sd_candidates

public static final SubLObject sbhl_gather_first_sd_or_store_sd_candidates(SubLObject c2)

returns the first node, GOAL, from the isas of the genls of C2 s.t. (genls C2 C2-GENL) and (isa C2-GENL GOAL) and (isa GOAL SiblingDisjointCollectionType) s.t. C2-GENL is not in *sd-c1-genls-space* and GOAL is in *sd-genls-isas-space* and s.t. there are not sdw-exceptions relevant to GOAL defined as follows: if there are any X in *sd-c1-genls-space* s.t. (siblingDisjointExceptions C2-GENL X), we store these relevant exceptions as values keyed on GOAL instead of returning GOAL.

sbhl_gather_sd_candidates

public static final SubLObject sbhl_gather_sd_candidates(SubLObject c2_genl)

Implements first part of @see sbhl-gather-first-sd-or-store-sd-candidates. Gathers first sufficient isa of C2-GENL, or passes along information sufficient to determine relevant exceptions for candidate SD nodes.

sbhl_determine_sd_and_store_candidates

public static final SubLObject sbhl_determine_sd_and_store_candidates(SubLObject c2_genl_isa)

Implements second part of @see sbhl-gather-first-sd-or-store-sd-candidates. Determines sufficiency of C2-GENL-ISA, returns it if is in *sd-genls-isas-space*, isa #$SiblingDisjointCollectionType, and has no relevant exceptions. If C2-GENL-ISA only fails due to exceptions, saves C2-GENL-ISA as candidate along with relevant exceptions: saves this information as key, (list of values) in *sd-candidate-store*.

sbhl_sd_relevant_c2_genl_isa_candidateP

public static final SubLObject sbhl_sd_relevant_c2_genl_isa_candidateP(SubLObject c2_genl_isa)

sbhl_determine_sd_path_with_no_exceptions

public static final SubLObject sbhl_determine_sd_path_with_no_exceptions(SubLObject c1)

determines if there is any genls along isa path from c1 to a candidate c1-genl-isa that does not go through a set of relevant exceptions, stored in @see *sd-candidate-store*

sbhl_determine_sd_path_with_no_exceptions_among

public static final SubLObject sbhl_determine_sd_path_with_no_exceptions_among(SubLObject c1s)

determines if there is any genls along isa path from some c1 to a candidate c1-genl-isa that does not go through a set of relevant exceptions, stored in @see *sd-candidate-store*

clear_cached_all_isa_sdct

public static final SubLObject clear_cached_all_isa_sdct()

sdcP

public static final SubLObject sdcP(SubLObject c1,
                                    SubLObject c2,
                                    SubLObject mt)

is sibling-disjoint wrt ?

sdc_intP

public static final SubLObject sdc_intP(SubLObject c1,
                                        SubLObject c2)

is sibling-disjoint with within ?

any_sdc_wrtP

public static final SubLObject any_sdc_wrtP(SubLObject c1s,
                                            SubLObject c2,
                                            SubLObject mt)

is any c1 in sibling-disjoint with within ?

sdc_exceptions

public static final SubLObject sdc_exceptions(SubLObject collection,
                                              SubLObject mt)

sdc_exceptions_int

public static final SubLObject sdc_exceptions_int(SubLObject collection,
                                                  SubLObject mt)

direct_sdc_exceptions

public static final SubLObject direct_sdc_exceptions(SubLObject collection,
                                                     SubLObject mt)

declared exceptions to the sibling-disjoint cols wrt

establishing_supersetP

public static final SubLObject establishing_supersetP(SubLObject c1,
                                                      SubLObject c2,
                                                      SubLObject mt,
                                                      SubLObject assertion)

don't claim sibling-disjoint when stating that c1 has superset c2

establishing_instance_ofP

public static final SubLObject establishing_instance_ofP(SubLObject c1,
                                                         SubLObject c2,
                                                         SubLObject mt,
                                                         SubLObject assertion)

don't claim sibling-disjoint when stating that a common spec of c1 and c2 has an instance (e.g., printer-copier)

isa_common_sdctP

public static final SubLObject isa_common_sdctP(SubLObject c1,
                                                SubLObject c2,
                                                SubLObject mt)

declare_sdc_file

public static final SubLObject declare_sdc_file()

init_sdc_file

public static final SubLObject init_sdc_file()

setup_sdc_file

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