com.cyc.cycjava.cycl.inference
Class collection_intersection

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class collection_intersection
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$CollectionIntersectionFn
static SubLObject	$const15$CollectionIntersection2Fn
static SubLObject	$const18$EverythingPSC
static SubLObject	$const2$InferencePSC
static SubLObject	$const21$UniversalVocabularyMt
static SubLObject	$const24$termOfUnit
static SubLObject	$const32$genls
static SubLObject	$const5$collectionIntersection
static SubLSymbol	$kw22$GAF
static SubLSymbol	$kw23$TRUE
static SubLSymbol	$kw31$TRUE_MON
static SubLSymbol	$kw4$CODE
static SubLSymbol	$kw7$GENLS
static SubLSymbol	$kw8$FORWARD
static SubLList	$list19
static SubLList	$list29
static SubLList	$list3
static SubLList	$list30
static SubLList	$list6
static SubLString	$str12$_A
static SubLString	$str17$_s_did_not_contain_a_variable_nam
static SubLString	$str20$Found__a_narts_for_a_total_of__a_
static SubLString	$str27$Unexpected_collection_intersectio
static SubLString	$str9$Computing___genls_between_collect
static SubLSymbol	$sym0$CYC_COLLECTION_INTERSECTION_AFTER_ADDING
static SubLSymbol	$sym1$CYC_COLLECTION_INTERSECTION_2_AFTER_ADDING
static SubLSymbol	$sym11$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym13$VALID_NART_
static SubLSymbol	$sym14$GAF_ARG1
static SubLSymbol	$sym16$_NART
static SubLSymbol	$sym25$FULLY_BOUND_COLLECTION_INTERSECTION_NAT_P
static SubLSymbol	$sym26$COLLECTION_INTERSECTION_NART_P
static SubLSymbol	$sym28$RELEVANT_MT_IS_ANY_MT
static SubLSymbol	$sym33$JUSTIFY_COLLECTION_INTERSECTION_GENLS_ASENT
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_collection_intersection_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	genls_collection_intersection_after_adding_int(SubLObject gaf)
static SubLObject	init_collection_intersection_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_collection_intersection_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$CYC_COLLECTION_INTERSECTION_AFTER_ADDING

public static final SubLSymbol $sym0$CYC_COLLECTION_INTERSECTION_AFTER_ADDING

$sym1$CYC_COLLECTION_INTERSECTION_2_AFTER_ADDING

public static final SubLSymbol $sym1$CYC_COLLECTION_INTERSECTION_2_AFTER_ADDING

$const2$InferencePSC

public static final SubLObject $const2$InferencePSC

$list3

public static final SubLList $list3

$kw4$CODE

public static final SubLSymbol $kw4$CODE

$const5$collectionIntersection

public static final SubLObject $const5$collectionIntersection

$list6

public static final SubLList $list6

$kw7$GENLS

public static final SubLSymbol $kw7$GENLS

$kw8$FORWARD

public static final SubLSymbol $kw8$FORWARD

$str9$Computing___genls_between_collect

public static final SubLString $str9$Computing___genls_between_collect

$const10$CollectionIntersectionFn

public static final SubLObject $const10$CollectionIntersectionFn

$sym11$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym11$CATCH_ERROR_MESSAGE_HANDLER

$str12$_A

public static final SubLString $str12$_A

$sym13$VALID_NART_

public static final SubLSymbol $sym13$VALID_NART_

$sym14$GAF_ARG1

public static final SubLSymbol $sym14$GAF_ARG1

$const15$CollectionIntersection2Fn

public static final SubLObject $const15$CollectionIntersection2Fn

$sym16$_NART

public static final SubLSymbol $sym16$_NART

$str17$_s_did_not_contain_a_variable_nam

public static final SubLString $str17$_s_did_not_contain_a_variable_nam

$const18$EverythingPSC

public static final SubLObject $const18$EverythingPSC

$list19

public static final SubLList $list19

$str20$Found__a_narts_for_a_total_of__a_

public static final SubLString $str20$Found__a_narts_for_a_total_of__a_

$const21$UniversalVocabularyMt

public static final SubLObject $const21$UniversalVocabularyMt

$kw22$GAF

public static final SubLSymbol $kw22$GAF

$kw23$TRUE

public static final SubLSymbol $kw23$TRUE

$const24$termOfUnit

public static final SubLObject $const24$termOfUnit

$sym25$FULLY_BOUND_COLLECTION_INTERSECTION_NAT_P

public static final SubLSymbol $sym25$FULLY_BOUND_COLLECTION_INTERSECTION_NAT_P

$sym26$COLLECTION_INTERSECTION_NART_P

public static final SubLSymbol $sym26$COLLECTION_INTERSECTION_NART_P

$str27$Unexpected_collection_intersectio

public static final SubLString $str27$Unexpected_collection_intersectio

$sym28$RELEVANT_MT_IS_ANY_MT

public static final SubLSymbol $sym28$RELEVANT_MT_IS_ANY_MT

$list29

public static final SubLList $list29

$list30

public static final SubLList $list30

$kw31$TRUE_MON

public static final SubLSymbol $kw31$TRUE_MON

$const32$genls

public static final SubLObject $const32$genls

$sym33$JUSTIFY_COLLECTION_INTERSECTION_GENLS_ASENT

public static final SubLSymbol $sym33$JUSTIFY_COLLECTION_INTERSECTION_GENLS_ASENT

Method Detail

genls_collection_intersection_after_adding_int

public static final SubLObject genls_collection_intersection_after_adding_int(SubLObject gaf)

declare_collection_intersection_file

public static final SubLObject declare_collection_intersection_file()

init_collection_intersection_file

public static final SubLObject init_collection_intersection_file()

setup_collection_intersection_file

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