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

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_symmetry

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_symmetry
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$BinaryFunction
static class	removal_modules_symmetry.$removal_symmetric_lookup_pos_cost$UnaryFunction
static class	removal_modules_symmetry.$removal_symmetric_lookup_pos_iterator$UnaryFunction
static class	removal_modules_symmetry.$removal_symmetric_supports$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const20$commutativeInArgs
static SubLObject	$const22$commutativeInArgsAndRest
static SubLObject	$const33$SymmetricBinaryPredicate
static SubLObject	$const38$CommutativePredicate
static SubLObject	$const43$PartiallyCommutativePredicate
static SubLObject	$const48$AsymmetricBinaryPredicate
static SubLSymbol	$kw16$PENETRATE_ARGS_
static SubLSymbol	$kw21$GAF
static SubLSymbol	$kw24$GAF_ARG
static SubLSymbol	$kw25$PREDICATE_EXTENT
static SubLSymbol	$kw26$OVERLAP
static SubLSymbol	$kw27$TRUE
static SubLSymbol	$kw28$FALSE
static SubLSymbol	$kw29$NEG
static SubLSymbol	$kw30$GROSSLY_INCOMPLETE
static SubLSymbol	$kw31$INCOMPLETE
static SubLSymbol	$kw32$POS
static SubLSymbol	$kw34$REMOVAL_SYMMETRIC_LOOKUP_POS
static SubLSymbol	$kw36$REMOVAL_SYMMETRIC_LOOKUP_NEG
static SubLSymbol	$kw39$REMOVAL_COMMUTATIVE_LOOKUP_POS
static SubLSymbol	$kw4$ALLOW_OTHER_KEYS
static SubLSymbol	$kw41$REMOVAL_COMMUTATIVE_LOOKUP_NEG
static SubLSymbol	$kw44$REMOVAL_PARTIALLY_COMMUTATIVE_LOOKUP_POS
static SubLSymbol	$kw46$REMOVAL_PARTIALLY_COMMUTATIVE_LOOKUP_NEG
static SubLSymbol	$kw49$REMOVAL_ASYMMETRIC_LOOKUP
static SubLSymbol	$kw5$DONE
static SubLList	$list1
static SubLList	$list14
static SubLList	$list15
static SubLList	$list19
static SubLList	$list2
static SubLList	$list3
static SubLList	$list35
static SubLList	$list37
static SubLList	$list40
static SubLList	$list42
static SubLList	$list45
static SubLList	$list47
static SubLList	$list50
static SubLSymbol	$sym0$SYMMETRIC_LITERAL
static SubLSymbol	$sym10$SYMMETRIC_ASENT
static SubLSymbol	$sym11$DO_LIST
static SubLSymbol	$sym12$FORMULA_COMMUTATIVE_PERMUTATIONS
static SubLSymbol	$sym13$PUNLESS
static SubLSymbol	$sym17$SOURCE_FORMULA_VAR
static SubLSymbol	$sym18$CANONICAL_COMMUTATIVE_PERMUTATIONS
static SubLSymbol	$sym23$HL_VAR_
static SubLSymbol	$sym6$SOURCE_FORMULA_VAR
static SubLSymbol	$sym7$CLET
static SubLSymbol	$sym8$PIF
static SubLSymbol	$sym9$EL_BINARY_FORMULA_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	declare_removal_modules_symmetry_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_modules_symmetry_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_commutativity_generate_cost(SubLObject asent, SubLObject truth)
static SubLObject	removal_commutativity_lookup_cost(SubLObject asent, SubLObject truth)
static SubLObject	removal_commutativity_lookup_iterator(SubLObject asent, SubLObject sense)
static SubLObject	removal_symmetric_lookup_pos_cost(SubLObject asent, SubLObject sense)
static SubLObject	removal_symmetric_lookup_pos_iterator(SubLObject asent)
static SubLObject	removal_symmetric_supports(SubLObject assertion)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_symmetry_file()
static SubLObject	symmetric_asent(SubLObject asent)

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$SYMMETRIC_LITERAL

public static final SubLSymbol $sym0$SYMMETRIC_LITERAL

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$kw4$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw4$ALLOW_OTHER_KEYS

$kw5$DONE

public static final SubLSymbol $kw5$DONE

$sym6$SOURCE_FORMULA_VAR

public static final SubLSymbol $sym6$SOURCE_FORMULA_VAR

$sym7$CLET

public static final SubLSymbol $sym7$CLET

$sym8$PIF

public static final SubLSymbol $sym8$PIF

$sym9$EL_BINARY_FORMULA_P

public static final SubLSymbol $sym9$EL_BINARY_FORMULA_P

$sym10$SYMMETRIC_ASENT

public static final SubLSymbol $sym10$SYMMETRIC_ASENT

$sym11$DO_LIST

public static final SubLSymbol $sym11$DO_LIST

$sym12$FORMULA_COMMUTATIVE_PERMUTATIONS

public static final SubLSymbol $sym12$FORMULA_COMMUTATIVE_PERMUTATIONS

$sym13$PUNLESS

public static final SubLSymbol $sym13$PUNLESS

$list14

public static final SubLList $list14

$list15

public static final SubLList $list15

$kw16$PENETRATE_ARGS_

public static final SubLSymbol $kw16$PENETRATE_ARGS_

$sym17$SOURCE_FORMULA_VAR

public static final SubLSymbol $sym17$SOURCE_FORMULA_VAR

$sym18$CANONICAL_COMMUTATIVE_PERMUTATIONS

public static final SubLSymbol $sym18$CANONICAL_COMMUTATIVE_PERMUTATIONS

$list19

public static final SubLList $list19

$const20$commutativeInArgs

public static final SubLObject $const20$commutativeInArgs

$kw21$GAF

public static final SubLSymbol $kw21$GAF

$const22$commutativeInArgsAndRest

public static final SubLObject $const22$commutativeInArgsAndRest

$sym23$HL_VAR_

public static final SubLSymbol $sym23$HL_VAR_

$kw24$GAF_ARG

public static final SubLSymbol $kw24$GAF_ARG

$kw25$PREDICATE_EXTENT

public static final SubLSymbol $kw25$PREDICATE_EXTENT

$kw26$OVERLAP

public static final SubLSymbol $kw26$OVERLAP

$kw27$TRUE

public static final SubLSymbol $kw27$TRUE

$kw28$FALSE

public static final SubLSymbol $kw28$FALSE

$kw29$NEG

public static final SubLSymbol $kw29$NEG

$kw30$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw30$GROSSLY_INCOMPLETE

$kw31$INCOMPLETE

public static final SubLSymbol $kw31$INCOMPLETE

$kw32$POS

public static final SubLSymbol $kw32$POS

$const33$SymmetricBinaryPredicate

public static final SubLObject $const33$SymmetricBinaryPredicate

$kw34$REMOVAL_SYMMETRIC_LOOKUP_POS

public static final SubLSymbol $kw34$REMOVAL_SYMMETRIC_LOOKUP_POS

$list35

public static final SubLList $list35

$kw36$REMOVAL_SYMMETRIC_LOOKUP_NEG

public static final SubLSymbol $kw36$REMOVAL_SYMMETRIC_LOOKUP_NEG

$list37

public static final SubLList $list37

$const38$CommutativePredicate

public static final SubLObject $const38$CommutativePredicate

$kw39$REMOVAL_COMMUTATIVE_LOOKUP_POS

public static final SubLSymbol $kw39$REMOVAL_COMMUTATIVE_LOOKUP_POS

$list40

public static final SubLList $list40

$kw41$REMOVAL_COMMUTATIVE_LOOKUP_NEG

public static final SubLSymbol $kw41$REMOVAL_COMMUTATIVE_LOOKUP_NEG

$list42

public static final SubLList $list42

$const43$PartiallyCommutativePredicate

public static final SubLObject $const43$PartiallyCommutativePredicate

$kw44$REMOVAL_PARTIALLY_COMMUTATIVE_LOOKUP_POS

public static final SubLSymbol $kw44$REMOVAL_PARTIALLY_COMMUTATIVE_LOOKUP_POS

$list45

public static final SubLList $list45

$kw46$REMOVAL_PARTIALLY_COMMUTATIVE_LOOKUP_NEG

public static final SubLSymbol $kw46$REMOVAL_PARTIALLY_COMMUTATIVE_LOOKUP_NEG

$list47

public static final SubLList $list47

$const48$AsymmetricBinaryPredicate

public static final SubLObject $const48$AsymmetricBinaryPredicate

$kw49$REMOVAL_ASYMMETRIC_LOOKUP

public static final SubLSymbol $kw49$REMOVAL_ASYMMETRIC_LOOKUP

$list50

public static final SubLList $list50

Method Detail

symmetric_asent

public static final SubLObject symmetric_asent(SubLObject asent)

removal_commutativity_lookup_cost

public static final SubLObject removal_commutativity_lookup_cost(SubLObject asent,
                                                                 SubLObject truth)

removal_commutativity_generate_cost

public static final SubLObject removal_commutativity_generate_cost(SubLObject asent,
                                                                   SubLObject truth)

removal_commutativity_lookup_iterator

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

removal_symmetric_lookup_pos_cost

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

removal_symmetric_lookup_pos_iterator

public static final SubLObject removal_symmetric_lookup_pos_iterator(SubLObject asent)

removal_symmetric_supports

public static final SubLObject removal_symmetric_supports(SubLObject assertion)

declare_removal_modules_symmetry_file

public static final SubLObject declare_removal_modules_symmetry_file()

init_removal_modules_symmetry_file

public static final SubLObject init_removal_modules_symmetry_file()

setup_removal_modules_symmetry_file

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