com.cyc.cycjava.cycl
Class disjoint_with

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class disjoint_with
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$disjointWith
static SubLObject	$const7$genls
static SubLObject	$const9$isa
static SubLSymbol	$kw10$DISJOINTWITH
static SubLSymbol	$kw8$ISA
static SubLList	$list13
static SubLList	$list16
static SubLList	$list17
static SubLList	$list19
static SubLList	$list21
static SubLList	$list22
static SubLList	$list24
static SubLList	$list25
static SubLList	$list3
static SubLList	$list5
static SubLList	$list6
static SubLString	$str12$Are_any_two_collections_in_COLS_d
static SubLString	$str18$_see_disjoint_with_
static SubLString	$str23$_see_why_disjoint_with_
static SubLString	$str4$Returns_a_pair_of_disjoint_elemen
static SubLSymbol	$sym1$LISTP
static SubLSymbol	$sym11$ANY_DISJOINT_COLLECTION_PAIR_
static SubLSymbol	$sym14$EL_FORT_P
static SubLSymbol	$sym15$COLLECTIONS_DISJOINT_
static SubLSymbol	$sym2$ANY_DISJOINT_COLLECTION_PAIR
static SubLSymbol	$sym20$WHY_COLLECTIONS_DISJOINT_
static SubLSymbol	$sym26$MDW_AFTER_ADDING
static SubLSymbol	$sym27$MDW_AFTER_REMOVING
static SubLSymbol	$sym28$SUPERSETP
static SubLSymbol	$sym29$SUBSETP
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_disjoint_collection_pair(SubLObject cols, SubLObject mt) Returns a pair of disjoint elements of COLS (if any exist)
static SubLObject	any_disjoint_withP(SubLObject c1s, SubLObject c2, SubLObject mt, SubLObject tv) is any c1 in disjoint with c2?
static SubLObject	declare_disjoint_with_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	disjoint_withP(SubLObject c1, SubLObject c2, SubLObject mt, SubLObject tv) are collections and disjoint?
static SubLObject	init_disjoint_with_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	setup_disjoint_with_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

$const0$disjointWith

public static final SubLObject $const0$disjointWith

$sym1$LISTP

public static final SubLSymbol $sym1$LISTP

$sym2$ANY_DISJOINT_COLLECTION_PAIR

public static final SubLSymbol $sym2$ANY_DISJOINT_COLLECTION_PAIR

$list3

public static final SubLList $list3

$str4$Returns_a_pair_of_disjoint_elemen

public static final SubLString $str4$Returns_a_pair_of_disjoint_elemen

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$const7$genls

public static final SubLObject $const7$genls

$kw8$ISA

public static final SubLSymbol $kw8$ISA

$const9$isa

public static final SubLObject $const9$isa

$kw10$DISJOINTWITH

public static final SubLSymbol $kw10$DISJOINTWITH

$sym11$ANY_DISJOINT_COLLECTION_PAIR_

public static final SubLSymbol $sym11$ANY_DISJOINT_COLLECTION_PAIR_

$str12$Are_any_two_collections_in_COLS_d

public static final SubLString $str12$Are_any_two_collections_in_COLS_d

$list13

public static final SubLList $list13

$sym14$EL_FORT_P

public static final SubLSymbol $sym14$EL_FORT_P

$sym15$COLLECTIONS_DISJOINT_

public static final SubLSymbol $sym15$COLLECTIONS_DISJOINT_

$list16

public static final SubLList $list16

$list17

public static final SubLList $list17

$str18$_see_disjoint_with_

public static final SubLString $str18$_see_disjoint_with_

$list19

public static final SubLList $list19

$sym20$WHY_COLLECTIONS_DISJOINT_

public static final SubLSymbol $sym20$WHY_COLLECTIONS_DISJOINT_

$list21

public static final SubLList $list21

$list22

public static final SubLList $list22

$str23$_see_why_disjoint_with_

public static final SubLString $str23$_see_why_disjoint_with_

$list24

public static final SubLList $list24

$list25

public static final SubLList $list25

$sym26$MDW_AFTER_ADDING

public static final SubLSymbol $sym26$MDW_AFTER_ADDING

$sym27$MDW_AFTER_REMOVING

public static final SubLSymbol $sym27$MDW_AFTER_REMOVING

$sym28$SUPERSETP

public static final SubLSymbol $sym28$SUPERSETP

$sym29$SUBSETP

public static final SubLSymbol $sym29$SUBSETP

Method Detail

any_disjoint_collection_pair

public static final SubLObject any_disjoint_collection_pair(SubLObject cols,
                                                            SubLObject mt)

Returns a pair of disjoint elements of COLS (if any exist)

disjoint_withP

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

are collections and disjoint?

any_disjoint_withP

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

is any c1 in disjoint with c2?

declare_disjoint_with_file

public static final SubLObject declare_disjoint_with_file()

init_disjoint_with_file

public static final SubLObject init_disjoint_with_file()

setup_disjoint_with_file

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