com.cyc.cycjava.cycl.inference.modules.removal
Class removal_modules_different

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_different
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class removal_modules_different
extends SubLTranslatedFile


Nested Class Summary
static class removal_modules_different.$removal_different_duplicate_exclusive$BinaryFunction
           
static class removal_modules_different.$removal_different_duplicate_exclusive$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLObject $const0$different
           
static SubLObject $const11$differentSymbols
           
static SubLSymbol $kw1$REMOVAL_EVAL
           
static SubLSymbol $kw12$META_REMOVAL_COMPLETELY_ENUMERABLE_POS
           
static SubLSymbol $kw13$META_REMOVAL_COMPLETELY_DECIDABLE_POS
           
static SubLSymbol $kw14$DIFFERENT_SYMBOLS_DELAY_POS
           
static SubLSymbol $kw17$REMOVAL_DIFFERENT_SYMBOLS_DUPLICATE
           
static SubLSymbol $kw2$REMOVAL_NOT_EVAL
           
static SubLSymbol $kw3$DIFFERENT_DELAY_POS
           
static SubLSymbol $kw6$DISALLOWED
           
static SubLSymbol $kw7$PREFERRED
           
static SubLSymbol $kw9$REMOVAL_DIFFERENT_DUPLICATE
           
static SubLList $list10
           
static SubLList $list15
           
static SubLList $list18
           
static SubLList $list4
           
static SubLSymbol $sym16$DIFFERENT_SYMBOLS_DELAY_POS_PREFERENCE
           
static SubLSymbol $sym5$HL_VARIABLE_P
           
static SubLSymbol $sym8$DIFFERENT_DELAY_POS_PREFERENCE
           
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 asent_duplicate_args_p(SubLObject asent)
           
static SubLObject declare_removal_modules_different_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_removal_modules_different_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject removal_different_duplicate_exclusive(SubLObject asent, SubLObject sense)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_removal_modules_different_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$different

public static final SubLObject $const0$different

$kw1$REMOVAL_EVAL

public static final SubLSymbol $kw1$REMOVAL_EVAL

$kw2$REMOVAL_NOT_EVAL

public static final SubLSymbol $kw2$REMOVAL_NOT_EVAL

$kw3$DIFFERENT_DELAY_POS

public static final SubLSymbol $kw3$DIFFERENT_DELAY_POS

$list4

public static final SubLList $list4

$sym5$HL_VARIABLE_P

public static final SubLSymbol $sym5$HL_VARIABLE_P

$kw6$DISALLOWED

public static final SubLSymbol $kw6$DISALLOWED

$kw7$PREFERRED

public static final SubLSymbol $kw7$PREFERRED

$sym8$DIFFERENT_DELAY_POS_PREFERENCE

public static final SubLSymbol $sym8$DIFFERENT_DELAY_POS_PREFERENCE

$kw9$REMOVAL_DIFFERENT_DUPLICATE

public static final SubLSymbol $kw9$REMOVAL_DIFFERENT_DUPLICATE

$list10

public static final SubLList $list10

$const11$differentSymbols

public static final SubLObject $const11$differentSymbols

$kw12$META_REMOVAL_COMPLETELY_ENUMERABLE_POS

public static final SubLSymbol $kw12$META_REMOVAL_COMPLETELY_ENUMERABLE_POS

$kw13$META_REMOVAL_COMPLETELY_DECIDABLE_POS

public static final SubLSymbol $kw13$META_REMOVAL_COMPLETELY_DECIDABLE_POS

$kw14$DIFFERENT_SYMBOLS_DELAY_POS

public static final SubLSymbol $kw14$DIFFERENT_SYMBOLS_DELAY_POS

$list15

public static final SubLList $list15

$sym16$DIFFERENT_SYMBOLS_DELAY_POS_PREFERENCE

public static final SubLSymbol $sym16$DIFFERENT_SYMBOLS_DELAY_POS_PREFERENCE

$kw17$REMOVAL_DIFFERENT_SYMBOLS_DUPLICATE

public static final SubLSymbol $kw17$REMOVAL_DIFFERENT_SYMBOLS_DUPLICATE

$list18

public static final SubLList $list18
Method Detail

asent_duplicate_args_p

public static final SubLObject asent_duplicate_args_p(SubLObject asent)

removal_different_duplicate_exclusive

public static final SubLObject removal_different_duplicate_exclusive(SubLObject asent,
                                                                     SubLObject sense)

declare_removal_modules_different_file

public static final SubLObject declare_removal_modules_different_file()

init_removal_modules_different_file

public static final SubLObject init_removal_modules_different_file()

setup_removal_modules_different_file

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