com.cyc.cycjava.cycl
Class uncanonicalizer

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class uncanonicalizer
extends SubLTranslatedFile

Nested Class Summary

static class	uncanonicalizer.$fast_fi_not_el_termP$UnaryFunction
static class	uncanonicalizer.$potentially_interestingly_uncanonicalizable_tense_termP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$cache_el_formulaP$ should the uncanonicalizer cache the el formula it computes for each assertion?
static SubLObject	$const24$termOfUnit
static SubLObject	$const25$evaluate
static SubLObject	$const26$equals
static SubLObject	$const27$SkolemFunctionFn
static SubLObject	$const28$trueSentence
static SubLObject	$const36$UncanonicalizerAssertionFn
static SubLObject	$const37$SubLQuoteFn
static SubLObject	$const42$meetsPragmaticRequirement
static SubLObject	$const46$and
static SubLObject	$const47$ist
static SubLObject	$const48$pragmaticRequirement
static SubLObject	$const49$abnormal
static SubLObject	$const52$exceptFor
static SubLObject	$const53$exceptWhen
static SubLObject	$const55$implies
static SubLObject	$const65$forAll
static SubLObject	$const67$BaseKB
static SubLObject	$const70$thereExists
static SubLObject	$const71$IntervalMinFn
static SubLObject	$const72$thereExistAtLeast
static SubLObject	$const73$IntervalMaxFn
static SubLObject	$const74$thereExistAtMost
static SubLObject	$const75$Integer
static SubLObject	$const76$thereExistExactly
static SubLObject	$const77$Unity
static SubLObject	$const79$PlusInfinity
static SubLObject	$const80$or
static SubLInteger	$int32$1024
static SubLSymbol	$kw107$UNUNUNIQUIFIABLE
static SubLSymbol	$kw33$FALSE
static SubLSymbol	$kw8$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw87$IGNORE
static SubLList	$list0
static SubLList	$list103
static SubLList	$list13
static SubLList	$list15
static SubLList	$list16
static SubLList	$list19
static SubLList	$list2
static SubLList	$list29
static SubLList	$list34
static SubLList	$list43
static SubLList	$list44
static SubLList	$list50
static SubLList	$list58
static SubLList	$list59
static SubLList	$list6
static SubLList	$list60
static SubLList	$list78
static SubLString	$str14$Return_the_EL_formula_for_ASSERTI
static SubLString	$str18$Return_the_el_formula_in___ist_fo
static SubLString	$str61$unanticipated_formula___s
static SubLString	$str64$_S_is_not_well_formed_
static SubLString	$str83$_s_is_not_well_formed_
static SubLString	$str88$unable_to_simplify___ist_expressi
static SubLSymbol	$sym1$CLET
static SubLSymbol	$sym10$SKOLEM_FUNCTION_P
static SubLSymbol	$sym100$KB_ASSERTION_
static SubLSymbol	$sym101$WRAPPED_ASSERTION_EL_FORMULA_WRT_MT
static SubLSymbol	$sym102$OPAQUE_ARG_WRT_SKOLEM_
static SubLSymbol	$sym104$VARIABLE_BINDING_VARIABLE
static SubLSymbol	$sym105$DIGIT_CHAR_P
static SubLSymbol	$sym106$NOT_DIGIT_CHAR_P
static SubLSymbol	$sym108$NAT_FUNCTOR
static SubLSymbol	$sym109$LITERAL_ARG1
static SubLSymbol	$sym11$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym110$VARIABLE_P
static SubLSymbol	$sym111$DEFAULT_EL_VAR_FOR_HL_VAR
static SubLSymbol	$sym12$ASSERTION_EL_FORMULA
static SubLSymbol	$sym17$ASSERTION_EL_IST_FORMULA
static SubLSymbol	$sym20$FAST_FI_NOT_EL_TERM_
static SubLSymbol	$sym21$FAST_REIFIED_SKOLEM_
static SubLSymbol	$sym22$POTENTIALLY_INTERESTINGLY_UNCANONICALIZABLE_TENSE_TERM_
static SubLSymbol	$sym23$QUOTED_TERM_WITH_HL_VAR_
static SubLSymbol	$sym3$CDOLIST
static SubLSymbol	$sym30$CACHED_ASSERTION_EL_FORMULA_INT
static SubLSymbol	$sym31$_CACHED_ASSERTION_EL_FORMULA_INT_CACHING_STATE_
static SubLSymbol	$sym35$EL_FORMULA
static SubLSymbol	$sym38$INDEX_LITS_TO_REMOVE
static SubLSymbol	$sym39$DNF_LITERALS
static SubLSymbol	$sym4$VAR
static SubLSymbol	$sym40$CLAUSE_FROM_EL_LITERALS
static SubLSymbol	$sym41$CNF_LITERALS
static SubLSymbol	$sym45$NEGATE
static SubLSymbol	$sym5$CLAUSE_VARIABLES
static SubLSymbol	$sym51$CYC_VAR_
static SubLSymbol	$sym54$NEG_LITS
static SubLSymbol	$sym56$NEGATE_ATOMIC
static SubLSymbol	$sym57$REMOVE_TRUESENTENCE_REFS
static SubLSymbol	$sym62$TRUE_SENTENCE_VARS
static SubLSymbol	$sym63$UNDO_VARIABLES
static SubLSymbol	$sym66$UNREMOVE_UNIVERSALS_INT
static SubLSymbol	$sym68$UNREIFIED_SKOLEM_TERM_
static SubLSymbol	$sym69$UNDO_EXISTENTIALS_AND_REFD_UNIVERSALS
static SubLSymbol	$sym7$ASSERTION_EL_FORMULA_MEMOIZED
static SubLSymbol	$sym81$UNDO_IMPLICATIONS
static SubLSymbol	$sym82$UNCANON_DNF_1
static SubLSymbol	$sym84$IST_SENTENCE_P
static SubLSymbol	$sym85$SIMPLIFIABLE_IST_EXPRESSION_
static SubLSymbol	$sym86$SIMPLIFY_IST_EXPRESSION
static SubLSymbol	$sym89$REMOVE_LEADING_UNIVERSALS
static SubLSymbol	$sym9$ASSERTION_P
static SubLSymbol	$sym90$SKOLEM_FUNCTION_VAR
static SubLSymbol	$sym91$EL_VAR_
static SubLSymbol	$sym92$SKOLEM_NUMBER
static SubLSymbol	$sym93$_
static SubLSymbol	$sym94$NUM_ARGS_OF_SKOLEM_FN
static SubLSymbol	$sym95$TERM_OF_UNIT
static SubLSymbol	$sym96$SKOLEM_CONSTANT_
static SubLSymbol	$sym97$NART_P
static SubLSymbol	$sym98$REIFIED_SKOLEM_CONSTANT_TERM_
static SubLSymbol	$sym99$FIND_NART
static SubLSymbol	$uncanonicalizer_dnf_threshold$ max number of conjuncts that will be attempted to put in dnf during uncanonicalization
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_uncanonicalizer_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_uncanonicalizer_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_uncanonicalizer_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

$cache_el_formulaP$

public static SubLSymbol $cache_el_formulaP$

should the uncanonicalizer cache the el formula it computes for each assertion?

$uncanonicalizer_dnf_threshold$

public static SubLSymbol $uncanonicalizer_dnf_threshold$

max number of conjuncts that will be attempted to put in dnf during uncanonicalization

$list0

public static final SubLList $list0

$sym1$CLET

public static final SubLSymbol $sym1$CLET

$list2

public static final SubLList $list2

$sym3$CDOLIST

public static final SubLSymbol $sym3$CDOLIST

$sym4$VAR

public static final SubLSymbol $sym4$VAR

$sym5$CLAUSE_VARIABLES

public static final SubLSymbol $sym5$CLAUSE_VARIABLES

$list6

public static final SubLList $list6

$sym7$ASSERTION_EL_FORMULA_MEMOIZED

public static final SubLSymbol $sym7$ASSERTION_EL_FORMULA_MEMOIZED

$kw8$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw8$_MEMOIZED_ITEM_NOT_FOUND_

$sym9$ASSERTION_P

public static final SubLSymbol $sym9$ASSERTION_P

$sym10$SKOLEM_FUNCTION_P

public static final SubLSymbol $sym10$SKOLEM_FUNCTION_P

$sym11$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym11$CATCH_ERROR_MESSAGE_HANDLER

$sym12$ASSERTION_EL_FORMULA

public static final SubLSymbol $sym12$ASSERTION_EL_FORMULA

$list13

public static final SubLList $list13

$str14$Return_the_EL_formula_for_ASSERTI

public static final SubLString $str14$Return_the_EL_formula_for_ASSERTI

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$sym17$ASSERTION_EL_IST_FORMULA

public static final SubLSymbol $sym17$ASSERTION_EL_IST_FORMULA

$str18$Return_the_el_formula_in___ist_fo

public static final SubLString $str18$Return_the_el_formula_in___ist_fo

$list19

public static final SubLList $list19

$sym20$FAST_FI_NOT_EL_TERM_

public static final SubLSymbol $sym20$FAST_FI_NOT_EL_TERM_

$sym21$FAST_REIFIED_SKOLEM_

public static final SubLSymbol $sym21$FAST_REIFIED_SKOLEM_

$sym22$POTENTIALLY_INTERESTINGLY_UNCANONICALIZABLE_TENSE_TERM_

public static final SubLSymbol $sym22$POTENTIALLY_INTERESTINGLY_UNCANONICALIZABLE_TENSE_TERM_

$sym23$QUOTED_TERM_WITH_HL_VAR_

public static final SubLSymbol $sym23$QUOTED_TERM_WITH_HL_VAR_

$const24$termOfUnit

public static final SubLObject $const24$termOfUnit

$const25$evaluate

public static final SubLObject $const25$evaluate

$const26$equals

public static final SubLObject $const26$equals

$const27$SkolemFunctionFn

public static final SubLObject $const27$SkolemFunctionFn

$const28$trueSentence

public static final SubLObject $const28$trueSentence

$list29

public static final SubLList $list29

$sym30$CACHED_ASSERTION_EL_FORMULA_INT

public static final SubLSymbol $sym30$CACHED_ASSERTION_EL_FORMULA_INT

$sym31$_CACHED_ASSERTION_EL_FORMULA_INT_CACHING_STATE_

public static final SubLSymbol $sym31$_CACHED_ASSERTION_EL_FORMULA_INT_CACHING_STATE_

$int32$1024

public static final SubLInteger $int32$1024

$kw33$FALSE

public static final SubLSymbol $kw33$FALSE

$list34

public static final SubLList $list34

$sym35$EL_FORMULA

public static final SubLSymbol $sym35$EL_FORMULA

$const36$UncanonicalizerAssertionFn

public static final SubLObject $const36$UncanonicalizerAssertionFn

$const37$SubLQuoteFn

public static final SubLObject $const37$SubLQuoteFn

$sym38$INDEX_LITS_TO_REMOVE

public static final SubLSymbol $sym38$INDEX_LITS_TO_REMOVE

$sym39$DNF_LITERALS

public static final SubLSymbol $sym39$DNF_LITERALS

$sym40$CLAUSE_FROM_EL_LITERALS

public static final SubLSymbol $sym40$CLAUSE_FROM_EL_LITERALS

$sym41$CNF_LITERALS

public static final SubLSymbol $sym41$CNF_LITERALS

$const42$meetsPragmaticRequirement

public static final SubLObject $const42$meetsPragmaticRequirement

$list43

public static final SubLList $list43

$list44

public static final SubLList $list44

$sym45$NEGATE

public static final SubLSymbol $sym45$NEGATE

$const46$and

public static final SubLObject $const46$and

$const47$ist

public static final SubLObject $const47$ist

$const48$pragmaticRequirement

public static final SubLObject $const48$pragmaticRequirement

$const49$abnormal

public static final SubLObject $const49$abnormal

$list50

public static final SubLList $list50

$sym51$CYC_VAR_

public static final SubLSymbol $sym51$CYC_VAR_

$const52$exceptFor

public static final SubLObject $const52$exceptFor

$const53$exceptWhen

public static final SubLObject $const53$exceptWhen

$sym54$NEG_LITS

public static final SubLSymbol $sym54$NEG_LITS

$const55$implies

public static final SubLObject $const55$implies

$sym56$NEGATE_ATOMIC

public static final SubLSymbol $sym56$NEGATE_ATOMIC

$sym57$REMOVE_TRUESENTENCE_REFS

public static final SubLSymbol $sym57$REMOVE_TRUESENTENCE_REFS

$list58

public static final SubLList $list58

$list59

public static final SubLList $list59

$list60

public static final SubLList $list60

$str61$unanticipated_formula___s

public static final SubLString $str61$unanticipated_formula___s

$sym62$TRUE_SENTENCE_VARS

public static final SubLSymbol $sym62$TRUE_SENTENCE_VARS

$sym63$UNDO_VARIABLES

public static final SubLSymbol $sym63$UNDO_VARIABLES

$str64$_S_is_not_well_formed_

public static final SubLString $str64$_S_is_not_well_formed_

$const65$forAll

public static final SubLObject $const65$forAll

$sym66$UNREMOVE_UNIVERSALS_INT

public static final SubLSymbol $sym66$UNREMOVE_UNIVERSALS_INT

$const67$BaseKB

public static final SubLObject $const67$BaseKB

$sym68$UNREIFIED_SKOLEM_TERM_

public static final SubLSymbol $sym68$UNREIFIED_SKOLEM_TERM_

$sym69$UNDO_EXISTENTIALS_AND_REFD_UNIVERSALS

public static final SubLSymbol $sym69$UNDO_EXISTENTIALS_AND_REFD_UNIVERSALS

$const70$thereExists

public static final SubLObject $const70$thereExists

$const71$IntervalMinFn

public static final SubLObject $const71$IntervalMinFn

$const72$thereExistAtLeast

public static final SubLObject $const72$thereExistAtLeast

$const73$IntervalMaxFn

public static final SubLObject $const73$IntervalMaxFn

$const74$thereExistAtMost

public static final SubLObject $const74$thereExistAtMost

$const75$Integer

public static final SubLObject $const75$Integer

$const76$thereExistExactly

public static final SubLObject $const76$thereExistExactly

$const77$Unity

public static final SubLObject $const77$Unity

$list78

public static final SubLList $list78

$const79$PlusInfinity

public static final SubLObject $const79$PlusInfinity

$const80$or

public static final SubLObject $const80$or

$sym81$UNDO_IMPLICATIONS

public static final SubLSymbol $sym81$UNDO_IMPLICATIONS

$sym82$UNCANON_DNF_1

public static final SubLSymbol $sym82$UNCANON_DNF_1

$str83$_s_is_not_well_formed_

public static final SubLString $str83$_s_is_not_well_formed_

$sym84$IST_SENTENCE_P

public static final SubLSymbol $sym84$IST_SENTENCE_P

$sym85$SIMPLIFIABLE_IST_EXPRESSION_

public static final SubLSymbol $sym85$SIMPLIFIABLE_IST_EXPRESSION_

$sym86$SIMPLIFY_IST_EXPRESSION

public static final SubLSymbol $sym86$SIMPLIFY_IST_EXPRESSION

$kw87$IGNORE

public static final SubLSymbol $kw87$IGNORE

$str88$unable_to_simplify___ist_expressi

public static final SubLString $str88$unable_to_simplify___ist_expressi

$sym89$REMOVE_LEADING_UNIVERSALS

public static final SubLSymbol $sym89$REMOVE_LEADING_UNIVERSALS

$sym90$SKOLEM_FUNCTION_VAR

public static final SubLSymbol $sym90$SKOLEM_FUNCTION_VAR

$sym91$EL_VAR_

public static final SubLSymbol $sym91$EL_VAR_

$sym92$SKOLEM_NUMBER

public static final SubLSymbol $sym92$SKOLEM_NUMBER

$sym93$_

public static final SubLSymbol $sym93$_

$sym94$NUM_ARGS_OF_SKOLEM_FN

public static final SubLSymbol $sym94$NUM_ARGS_OF_SKOLEM_FN

$sym95$TERM_OF_UNIT

public static final SubLSymbol $sym95$TERM_OF_UNIT

$sym96$SKOLEM_CONSTANT_

public static final SubLSymbol $sym96$SKOLEM_CONSTANT_

$sym97$NART_P

public static final SubLSymbol $sym97$NART_P

$sym98$REIFIED_SKOLEM_CONSTANT_TERM_

public static final SubLSymbol $sym98$REIFIED_SKOLEM_CONSTANT_TERM_

$sym99$FIND_NART

public static final SubLSymbol $sym99$FIND_NART

$sym100$KB_ASSERTION_

public static final SubLSymbol $sym100$KB_ASSERTION_

$sym101$WRAPPED_ASSERTION_EL_FORMULA_WRT_MT

public static final SubLSymbol $sym101$WRAPPED_ASSERTION_EL_FORMULA_WRT_MT

$sym102$OPAQUE_ARG_WRT_SKOLEM_

public static final SubLSymbol $sym102$OPAQUE_ARG_WRT_SKOLEM_

$list103

public static final SubLList $list103

$sym104$VARIABLE_BINDING_VARIABLE

public static final SubLSymbol $sym104$VARIABLE_BINDING_VARIABLE

$sym105$DIGIT_CHAR_P

public static final SubLSymbol $sym105$DIGIT_CHAR_P

$sym106$NOT_DIGIT_CHAR_P

public static final SubLSymbol $sym106$NOT_DIGIT_CHAR_P

$kw107$UNUNUNIQUIFIABLE

public static final SubLSymbol $kw107$UNUNUNIQUIFIABLE

$sym108$NAT_FUNCTOR

public static final SubLSymbol $sym108$NAT_FUNCTOR

$sym109$LITERAL_ARG1

public static final SubLSymbol $sym109$LITERAL_ARG1

$sym110$VARIABLE_P

public static final SubLSymbol $sym110$VARIABLE_P

$sym111$DEFAULT_EL_VAR_FOR_HL_VAR

public static final SubLSymbol $sym111$DEFAULT_EL_VAR_FOR_HL_VAR

Method Detail

declare_uncanonicalizer_file

public static final SubLObject declare_uncanonicalizer_file()

init_uncanonicalizer_file

public static final SubLObject init_uncanonicalizer_file()

setup_uncanonicalizer_file

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