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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_termofunit
extends SubLTranslatedFile

Nested Class Summary

static class

removal_modules_termofunit.$removal_term_of_unit_unify_impossibleP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$termOfUnit
static SubLSymbol	$kw1$META_REMOVAL_COMPLETELY_ENUMERABLE_POS
static SubLSymbol	$kw10$REMOVAL_NAT_FORMULA
static SubLSymbol	$kw12$REMOVAL_TERM_OF_UNIT_FAIL
static SubLSymbol	$kw14$REMOVAL_SKOLEMIZE_CREATE
static SubLSymbol	$kw16$COMPLETE
static SubLSymbol	$kw17$GROSSLY_INCOMPLETE
static SubLSymbol	$kw18$NART_ARG
static SubLSymbol	$kw19$GAF
static SubLSymbol	$kw2$META_REMOVAL_COMPLETELY_DECIDABLE_POS
static SubLSymbol	$kw20$FUNCTION_EXTENT
static SubLSymbol	$kw21$OVERLAP
static SubLSymbol	$kw22$REMOVAL_NAT_LOOKUP
static SubLSymbol	$kw24$REMOVAL_NAT_UNIFY
static SubLSymbol	$kw3$NAT_LOOKUP_POS
static SubLSymbol	$kw5$DISALLOWED
static SubLSymbol	$kw6$PREFERRED
static SubLSymbol	$kw8$EQUALITY
static SubLSymbol	$kw9$TRUE_MON
static SubLList	$list11
static SubLList	$list13
static SubLList	$list15
static SubLList	$list23
static SubLList	$list25
static SubLList	$list4
static SubLSymbol	$sym7$NAT_LOOKUP_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	declare_removal_modules_termofunit_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_modules_termofunit_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_removal_modules_termofunit_file()
static SubLObject	skolemization_allowed(SubLObject function)

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

public static final SubLObject $const0$termOfUnit

$kw1$META_REMOVAL_COMPLETELY_ENUMERABLE_POS

public static final SubLSymbol $kw1$META_REMOVAL_COMPLETELY_ENUMERABLE_POS

$kw2$META_REMOVAL_COMPLETELY_DECIDABLE_POS

public static final SubLSymbol $kw2$META_REMOVAL_COMPLETELY_DECIDABLE_POS

$kw3$NAT_LOOKUP_POS

public static final SubLSymbol $kw3$NAT_LOOKUP_POS

$list4

public static final SubLList $list4

$kw5$DISALLOWED

public static final SubLSymbol $kw5$DISALLOWED

$kw6$PREFERRED

public static final SubLSymbol $kw6$PREFERRED

$sym7$NAT_LOOKUP_POS_PREFERENCE

public static final SubLSymbol $sym7$NAT_LOOKUP_POS_PREFERENCE

$kw8$EQUALITY

public static final SubLSymbol $kw8$EQUALITY

$kw9$TRUE_MON

public static final SubLSymbol $kw9$TRUE_MON

$kw10$REMOVAL_NAT_FORMULA

public static final SubLSymbol $kw10$REMOVAL_NAT_FORMULA

$list11

public static final SubLList $list11

$kw12$REMOVAL_TERM_OF_UNIT_FAIL

public static final SubLSymbol $kw12$REMOVAL_TERM_OF_UNIT_FAIL

$list13

public static final SubLList $list13

$kw14$REMOVAL_SKOLEMIZE_CREATE

public static final SubLSymbol $kw14$REMOVAL_SKOLEMIZE_CREATE

$list15

public static final SubLList $list15

$kw16$COMPLETE

public static final SubLSymbol $kw16$COMPLETE

$kw17$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw17$GROSSLY_INCOMPLETE

$kw18$NART_ARG

public static final SubLSymbol $kw18$NART_ARG

$kw19$GAF

public static final SubLSymbol $kw19$GAF

$kw20$FUNCTION_EXTENT

public static final SubLSymbol $kw20$FUNCTION_EXTENT

$kw21$OVERLAP

public static final SubLSymbol $kw21$OVERLAP

$kw22$REMOVAL_NAT_LOOKUP

public static final SubLSymbol $kw22$REMOVAL_NAT_LOOKUP

$list23

public static final SubLList $list23

$kw24$REMOVAL_NAT_UNIFY

public static final SubLSymbol $kw24$REMOVAL_NAT_UNIFY

$list25

public static final SubLList $list25

Method Detail

skolemization_allowed

public static final SubLObject skolemization_allowed(SubLObject function)

declare_removal_modules_termofunit_file

public static final SubLObject declare_removal_modules_termofunit_file()

init_removal_modules_termofunit_file

public static final SubLObject init_removal_modules_termofunit_file()

setup_removal_modules_termofunit_file

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