com.cyc.cycjava.cycl
Class equals

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class equals
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$equals
static SubLObject	$const11$isa
static SubLObject	$const13$disjointWith
static SubLObject	$const14$TermExemptFromUniqueNamesAssumpti
static SubLObject	$const2$InferencePSC
static SubLObject	$const3$rewriteOf
static SubLObject	$const6$different
static SubLSymbol	$kw1$REFLEXIVE
static SubLSymbol	$kw10$ISA
static SubLSymbol	$kw12$DISJOINTWITH
static SubLSymbol	$kw15$IGNORE
static SubLSymbol	$kw7$TRUE
static SubLSymbol	$kw8$FALSE
static SubLSymbol	$kw9$OPAQUE
static SubLSymbol	$sym4$NON_DOTTED_LIST_P
static SubLSymbol	$sym5$FORT_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_equals_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	differentP_binary(SubLObject obj1, SubLObject obj2, SubLObject unknown_value)
static SubLObject	differentP(SubLObject objects, SubLObject unknown_value)
static SubLObject	equal_fortP(SubLObject fort, SubLObject non_fort, SubLObject mt, SubLObject tv) Check if FORT is equal to NON-FORT.
static SubLObject	equal_fortsP(SubLObject fort1, SubLObject fort2, SubLObject mt, SubLObject tv) Check if FORT1 is equal to FORT2.
static SubLObject	equalsP(SubLObject obj1, SubLObject obj2, SubLObject mt, SubLObject tv)
static SubLObject	init_equals_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_equals_file()
static SubLObject	unique_names_assumption_applicable_to_all_args_exceptP(SubLObject formula, SubLObject argnum)
static SubLObject	unique_names_assumption_applicable_to_all_argsP(SubLObject formula)
static SubLObject	unique_names_assumption_applicable_to_termP(SubLObject v_term)
static SubLObject	why_different_binary(SubLObject obj1, SubLObject obj2)
static SubLObject	why_different(SubLObject objects)

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

public static final SubLObject $const0$equals

$kw1$REFLEXIVE

public static final SubLSymbol $kw1$REFLEXIVE

$const2$InferencePSC

public static final SubLObject $const2$InferencePSC

$const3$rewriteOf

public static final SubLObject $const3$rewriteOf

$sym4$NON_DOTTED_LIST_P

public static final SubLSymbol $sym4$NON_DOTTED_LIST_P

$sym5$FORT_P

public static final SubLSymbol $sym5$FORT_P

$const6$different

public static final SubLObject $const6$different

$kw7$TRUE

public static final SubLSymbol $kw7$TRUE

$kw8$FALSE

public static final SubLSymbol $kw8$FALSE

$kw9$OPAQUE

public static final SubLSymbol $kw9$OPAQUE

$kw10$ISA

public static final SubLSymbol $kw10$ISA

$const11$isa

public static final SubLObject $const11$isa

$kw12$DISJOINTWITH

public static final SubLSymbol $kw12$DISJOINTWITH

$const13$disjointWith

public static final SubLObject $const13$disjointWith

$const14$TermExemptFromUniqueNamesAssumpti

public static final SubLObject $const14$TermExemptFromUniqueNamesAssumpti

$kw15$IGNORE

public static final SubLSymbol $kw15$IGNORE

Method Detail

equalsP

public static final SubLObject equalsP(SubLObject obj1,
                                       SubLObject obj2,
                                       SubLObject mt,
                                       SubLObject tv)

equal_fortP

public static final SubLObject equal_fortP(SubLObject fort,
                                           SubLObject non_fort,
                                           SubLObject mt,
                                           SubLObject tv)

Check if FORT is equal to NON-FORT.

equal_fortsP

public static final SubLObject equal_fortsP(SubLObject fort1,
                                            SubLObject fort2,
                                            SubLObject mt,
                                            SubLObject tv)

Check if FORT1 is equal to FORT2.

differentP

public static final SubLObject differentP(SubLObject objects,
                                          SubLObject unknown_value)

differentP_binary

public static final SubLObject differentP_binary(SubLObject obj1,
                                                 SubLObject obj2,
                                                 SubLObject unknown_value)

why_different

public static final SubLObject why_different(SubLObject objects)

why_different_binary

public static final SubLObject why_different_binary(SubLObject obj1,
                                                    SubLObject obj2)

unique_names_assumption_applicable_to_termP

public static final SubLObject unique_names_assumption_applicable_to_termP(SubLObject v_term)

Returns:

booleanp; whether the Unique Names Assumption applies to TERM

unique_names_assumption_applicable_to_all_argsP

public static final SubLObject unique_names_assumption_applicable_to_all_argsP(SubLObject formula)

Returns:

booleanp; t iff the UNA is applicable to all arguments of FORMULA.

unique_names_assumption_applicable_to_all_args_exceptP

public static final SubLObject unique_names_assumption_applicable_to_all_args_exceptP(SubLObject formula,
                                                                                      SubLObject argnum)

Returns:

booleanp; t iff the UNA is applicable to all arguments of FORMULA except the ARGNUMth argument. The UNA may or may not be applicable to the ARGNUMth argument; this function is agnostic.

declare_equals_file

public static final SubLObject declare_equals_file()

init_equals_file

public static final SubLObject init_equals_file()

setup_equals_file

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