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

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_reflexivity
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class removal_modules_reflexivity
extends SubLTranslatedFile


Nested Class Summary
static class removal_modules_reflexivity.$removal_reflexive_one_arg_expand$BinaryFunction
           
static class removal_modules_reflexivity.$removal_reflexive_one_arg_expand$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLObject $const7$Thing
           
static SubLSymbol $kw0$REFLEXIVE
           
static SubLSymbol $kw1$REMOVAL_REFLEXIVE_BOTH
           
static SubLSymbol $kw10$NEG
           
static SubLSymbol $kw11$GROSSLY_INCOMPLETE
           
static SubLSymbol $kw12$INCOMPLETE
           
static SubLSymbol $kw13$REMOVAL_IRREFLEXIVE_ONE_ARG
           
static SubLSymbol $kw15$REMOVAL_IRREFLEXIVE_MAP
           
static SubLSymbol $kw17$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE
           
static SubLSymbol $kw20$TACTICAL
           
static SubLSymbol $kw3$REMOVAL_REFLEXIVE_ONE_ARG
           
static SubLSymbol $kw5$REMOVAL_REFLEXIVE_MAP
           
static SubLSymbol $kw8$REMOVAL_IRREFLEXIVE_BOTH
           
static SubLList $list14
           
static SubLList $list16
           
static SubLList $list18
           
static SubLList $list2
           
static SubLList $list4
           
static SubLList $list6
           
static SubLList $list9
           
static SubLSymbol $sym19$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE_REQUIRED
           
static SubLSymbol $sym21$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE_EXPAND
           
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_removal_modules_reflexivity_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_removal_modules_reflexivity_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject prune_reflexive_use_of_irreflexive_predicate_required(SubLObject asent, SubLObject sense)
           
static SubLObject removal_reflexive_one_arg_expand(SubLObject asent, SubLObject sense)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_removal_modules_reflexivity_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

$kw0$REFLEXIVE

public static final SubLSymbol $kw0$REFLEXIVE

$kw1$REMOVAL_REFLEXIVE_BOTH

public static final SubLSymbol $kw1$REMOVAL_REFLEXIVE_BOTH

$list2

public static final SubLList $list2

$kw3$REMOVAL_REFLEXIVE_ONE_ARG

public static final SubLSymbol $kw3$REMOVAL_REFLEXIVE_ONE_ARG

$list4

public static final SubLList $list4

$kw5$REMOVAL_REFLEXIVE_MAP

public static final SubLSymbol $kw5$REMOVAL_REFLEXIVE_MAP

$list6

public static final SubLList $list6

$const7$Thing

public static final SubLObject $const7$Thing

$kw8$REMOVAL_IRREFLEXIVE_BOTH

public static final SubLSymbol $kw8$REMOVAL_IRREFLEXIVE_BOTH

$list9

public static final SubLList $list9

$kw10$NEG

public static final SubLSymbol $kw10$NEG

$kw11$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw11$GROSSLY_INCOMPLETE

$kw12$INCOMPLETE

public static final SubLSymbol $kw12$INCOMPLETE

$kw13$REMOVAL_IRREFLEXIVE_ONE_ARG

public static final SubLSymbol $kw13$REMOVAL_IRREFLEXIVE_ONE_ARG

$list14

public static final SubLList $list14

$kw15$REMOVAL_IRREFLEXIVE_MAP

public static final SubLSymbol $kw15$REMOVAL_IRREFLEXIVE_MAP

$list16

public static final SubLList $list16

$kw17$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE

public static final SubLSymbol $kw17$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE

$list18

public static final SubLList $list18

$sym19$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE_REQUIRED

public static final SubLSymbol $sym19$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE_REQUIRED

$kw20$TACTICAL

public static final SubLSymbol $kw20$TACTICAL

$sym21$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE_EXPAND

public static final SubLSymbol $sym21$PRUNE_REFLEXIVE_USE_OF_IRREFLEXIVE_PREDICATE_EXPAND
Method Detail

removal_reflexive_one_arg_expand

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

prune_reflexive_use_of_irreflexive_predicate_required

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

declare_removal_modules_reflexivity_file

public static final SubLObject declare_removal_modules_reflexivity_file()

init_removal_modules_reflexivity_file

public static final SubLObject init_removal_modules_reflexivity_file()

setup_removal_modules_reflexivity_file

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