com.cyc.cycjava.cycl.inference.modules
Class after_adding_modules

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class after_adding_modules
extends SubLTranslatedFile

Nested Class Summary

static class

after_adding_modules.$clear_isa_dependent_caches$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const22$isa
static SubLObject	$const24$genls
static SubLObject	$const26$disjointWith
static SubLObject	$const28$genlMt
static SubLObject	$const30$genlPreds
static SubLObject	$const32$negationPreds
static SubLObject	$const34$genlInverse
static SubLObject	$const36$negationInverse
static SubLObject	$const48$ist
static SubLObject	$const50$implies
static SubLObject	$const57$CoreCycLMt
static SubLObject	$const58$trueRule
static SubLObject	$const60$ruleTemplateDirection
static SubLObject	$const61$Forward_AssertionDirection
static SubLObject	$const63$Backward_AssertionDirection
static SubLObject	$const87$expansion
static SubLObject	$const89$expansionAxiom
static SubLObject	$const93$True
static SubLObject	$const98$elementOf
static SubLObject	$const99$TheSetOf
static SubLSymbol	$kw44$GENLPREDS
static SubLSymbol	$kw45$MONOTONIC
static SubLSymbol	$kw52$CODE
static SubLSymbol	$kw62$FORWARD
static SubLSymbol	$kw64$BACKWARD
static SubLSymbol	$kw67$GAF
static SubLSymbol	$kw68$TRUE
static SubLSymbol	$kw91$CNF
static SubLList	$list0
static SubLList	$list100
static SubLList	$list43
static SubLList	$list47
static SubLList	$list51
static SubLList	$list55
static SubLList	$list88
static SubLList	$list97
static SubLSymbol	$sym1$ARGUMENT_P
static SubLSymbol	$sym10$CLEAR_GENL_PRED_DEPENDENT_CACHES
static SubLSymbol	$sym101$CYC_ADD_ELEMENT_OF
static SubLSymbol	$sym102$GAF_ASSERTION_
static SubLSymbol	$sym103$RULE_ASSERTION_
static SubLSymbol	$sym104$CYC_ADD_KNOWN_ANTECEDENT_RULE
static SubLSymbol	$sym105$CYC_REMOVE_KNOWN_ANTECEDENT_RULE
static SubLSymbol	$sym106$ADD_MERGED_CONSTANT_GUID
static SubLSymbol	$sym107$REMOVE_MERGED_CONSTANT_GUID
static SubLSymbol	$sym108$CYC_EXCEPT_ADDED
static SubLSymbol	$sym109$CYC_EXCEPT_REMOVED
static SubLSymbol	$sym11$ADD_TRANSITIVE_VIA_ARG
static SubLSymbol	$sym110$ADD_RELATION_INSTANCE_ALL
static SubLSymbol	$sym111$REMOVE_RELATION_INSTANCE_ALL
static SubLSymbol	$sym112$ADD_RELATION_ALL_INSTANCE
static SubLSymbol	$sym113$REMOVE_RELATION_ALL_INSTANCE
static SubLSymbol	$sym12$REMOVE_TRANSITIVE_VIA_ARG
static SubLSymbol	$sym13$ADD_TRANSITIVE_VIA_ARG_INVERSE
static SubLSymbol	$sym14$REMOVE_TRANSITIVE_VIA_ARG_INVERSE
static SubLSymbol	$sym15$CLEAR_CACHED_TVA_CHECKS
static SubLSymbol	$sym16$CLEAR_CACHED_SOME_TVA_CHECKS
static SubLSymbol	$sym17$CLEAR_CACHED_CVA_CHECKS
static SubLSymbol	$sym18$CLEAR_CACHED_SOME_CVA_CHECKS
static SubLSymbol	$sym19$SKOLEM_AFTER_REMOVING
static SubLSymbol	$sym2$DECACHE_AFTER_ADDINGS
static SubLSymbol	$sym20$ADD_OLD_CONSTANT_NAME
static SubLSymbol	$sym21$REMOVE_OLD_CONSTANT_NAME
static SubLSymbol	$sym23$PROPAGATE_TO_ISA
static SubLSymbol	$sym25$PROPAGATE_TO_GENLS
static SubLSymbol	$sym27$PROPAGATE_TO_DISJOINTWITH
static SubLSymbol	$sym29$PROPAGATE_TO_GENLMT
static SubLSymbol	$sym3$DECACHE_AFTER_REMOVINGS
static SubLSymbol	$sym31$PROPAGATE_TO_GENLPREDS
static SubLSymbol	$sym33$PROPAGATE_TO_NEGATIONPREDS
static SubLSymbol	$sym35$PROPAGATE_TO_GENLINVERSE
static SubLSymbol	$sym37$PROPAGATE_TO_NEGATIONINVERSE
static SubLSymbol	$sym38$PROPAGATE_INVERSE_TO_ISA
static SubLSymbol	$sym39$PROPAGATE_INVERSE_TO_GENLS
static SubLSymbol	$sym4$DECACHE_RULE_AFTER_ADDINGS
static SubLSymbol	$sym40$PROPAGATE_INVERSE_TO_GENLMT
static SubLSymbol	$sym41$PROPAGATE_INVERSE_TO_GENLPREDS
static SubLSymbol	$sym42$PROPAGATE_INVERSE_TO_GENLINVERSE
static SubLSymbol	$sym46$ADD_GEN_KEYWORD
static SubLSymbol	$sym49$ADD_IST
static SubLSymbol	$sym5$DECACHE_RULE_AFTER_REMOVINGS
static SubLSymbol	$sym53$QUEUE_P
static SubLSymbol	$sym54$ADD_TRUE_RULE
static SubLSymbol	$sym56$_TRUE_RULE_DEFINING_MT_
static SubLSymbol	$sym59$FORT_P
static SubLSymbol	$sym6$CLEAR_MT_DEPENDENT_CACHES
static SubLSymbol	$sym65$ADD_RULE_TEMPLATE_DIRECTION
static SubLSymbol	$sym66$REMOVE_RULE_TEMPLATE_DIRECTION
static SubLSymbol	$sym69$DEDUCTION_P
static SubLSymbol	$sym7$CLEAR_GENLS_DEPENDENT_CACHES
static SubLSymbol	$sym70$TRUE_RULE_SUPPORT_P
static SubLSymbol	$sym71$REMOVE_DEPENDENT_TERM
static SubLSymbol	$sym72$ADD_ARITY
static SubLSymbol	$sym73$REMOVE_ARITY
static SubLSymbol	$sym74$ADD_ARITY_MIN
static SubLSymbol	$sym75$REMOVE_ARITY_MIN
static SubLSymbol	$sym76$ADD_ARITY_MAX
static SubLSymbol	$sym77$REMOVE_ARITY_MAX
static SubLSymbol	$sym78$INTER_ARG_ISA_AFTER_ADDING
static SubLSymbol	$sym79$INTER_ARG_ISA_AFTER_REMOVING
static SubLSymbol	$sym8$CLEAR_ISA_DEPENDENT_CACHES
static SubLSymbol	$sym80$INTER_ARG_FORMAT_AFTER_ADDING
static SubLSymbol	$sym81$INTER_ARG_FORMAT_AFTER_REMOVING
static SubLSymbol	$sym82$ADD_TO_CONTRACTION_HT
static SubLSymbol	$sym83$REMOVE_FROM_CONTRACTION_HT
static SubLSymbol	$sym84$ADD_GEN_TEMPLATE_EXPANSION
static SubLSymbol	$sym85$REMOVE_GEN_TEMPLATE_EXPANSION
static SubLSymbol	$sym86$NOT_EQ
static SubLSymbol	$sym9$CLEAR_QUOTED_ISA_DEPENDENT_CACHES
static SubLSymbol	$sym90$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym92$NEG_LITS
static SubLSymbol	$sym94$ADD_EXPANSION_AXIOM
static SubLSymbol	$sym95$CYC_ADD_REFORMULATION_ASSERTION
static SubLSymbol	$sym96$CYC_REMOVE_REFORMULATION_ASSERTION
static SubLSymbol	$true_rule_defining_mt$
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	add_arity(SubLObject argument, SubLObject assertion)
static SubLObject	add_old_constant_name(SubLObject argument, SubLObject assertion) Update the cache after an oldConstantName assertion is added.
static SubLObject	clear_genl_pred_dependent_caches(SubLObject argument, SubLObject assertion) clear all genlPreds and genlInverse dependent caches
static SubLObject	clear_genls_dependent_caches(SubLObject argument, SubLObject assertion) clear all genls dependent caches
static SubLObject	clear_isa_dependent_caches_internal() clear all isa dependent caches
static SubLObject	clear_isa_dependent_caches(SubLObject argument, SubLObject assertion) clear all isa dependent caches
static SubLObject	clear_mt_dependent_caches_int(SubLObject argument, SubLObject assertion)
static SubLObject	clear_mt_dependent_caches(SubLObject argument, SubLObject assertion) possibly clear all mt dependent caches
static SubLObject	clear_quoted_isa_dependent_caches_internal() clear all quotedIsa dependent caches
static SubLObject	clear_quoted_isa_dependent_caches(SubLObject argument, SubLObject assertion) clear all quotedIsa dependent caches
static SubLObject	declare_after_adding_modules_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_after_adding_modules_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	possibly_clear_mt_dependent_caches(SubLObject argument, SubLObject assertion)
static SubLObject	remove_arity(SubLObject argument, SubLObject assertion)
static SubLObject	remove_old_constant_name(SubLObject argument, SubLObject assertion) Update the cache after an oldConstantName assertion is removed.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_after_adding_modules_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

$true_rule_defining_mt$

public static SubLSymbol $true_rule_defining_mt$

$list0

public static final SubLList $list0

$sym1$ARGUMENT_P

public static final SubLSymbol $sym1$ARGUMENT_P

$sym2$DECACHE_AFTER_ADDINGS

public static final SubLSymbol $sym2$DECACHE_AFTER_ADDINGS

$sym3$DECACHE_AFTER_REMOVINGS

public static final SubLSymbol $sym3$DECACHE_AFTER_REMOVINGS

$sym4$DECACHE_RULE_AFTER_ADDINGS

public static final SubLSymbol $sym4$DECACHE_RULE_AFTER_ADDINGS

$sym5$DECACHE_RULE_AFTER_REMOVINGS

public static final SubLSymbol $sym5$DECACHE_RULE_AFTER_REMOVINGS

$sym6$CLEAR_MT_DEPENDENT_CACHES

public static final SubLSymbol $sym6$CLEAR_MT_DEPENDENT_CACHES

$sym7$CLEAR_GENLS_DEPENDENT_CACHES

public static final SubLSymbol $sym7$CLEAR_GENLS_DEPENDENT_CACHES

$sym8$CLEAR_ISA_DEPENDENT_CACHES

public static final SubLSymbol $sym8$CLEAR_ISA_DEPENDENT_CACHES

$sym9$CLEAR_QUOTED_ISA_DEPENDENT_CACHES

public static final SubLSymbol $sym9$CLEAR_QUOTED_ISA_DEPENDENT_CACHES

$sym10$CLEAR_GENL_PRED_DEPENDENT_CACHES

public static final SubLSymbol $sym10$CLEAR_GENL_PRED_DEPENDENT_CACHES

$sym11$ADD_TRANSITIVE_VIA_ARG

public static final SubLSymbol $sym11$ADD_TRANSITIVE_VIA_ARG

$sym12$REMOVE_TRANSITIVE_VIA_ARG

public static final SubLSymbol $sym12$REMOVE_TRANSITIVE_VIA_ARG

$sym13$ADD_TRANSITIVE_VIA_ARG_INVERSE

public static final SubLSymbol $sym13$ADD_TRANSITIVE_VIA_ARG_INVERSE

$sym14$REMOVE_TRANSITIVE_VIA_ARG_INVERSE

public static final SubLSymbol $sym14$REMOVE_TRANSITIVE_VIA_ARG_INVERSE

$sym15$CLEAR_CACHED_TVA_CHECKS

public static final SubLSymbol $sym15$CLEAR_CACHED_TVA_CHECKS

$sym16$CLEAR_CACHED_SOME_TVA_CHECKS

public static final SubLSymbol $sym16$CLEAR_CACHED_SOME_TVA_CHECKS

$sym17$CLEAR_CACHED_CVA_CHECKS

public static final SubLSymbol $sym17$CLEAR_CACHED_CVA_CHECKS

$sym18$CLEAR_CACHED_SOME_CVA_CHECKS

public static final SubLSymbol $sym18$CLEAR_CACHED_SOME_CVA_CHECKS

$sym19$SKOLEM_AFTER_REMOVING

public static final SubLSymbol $sym19$SKOLEM_AFTER_REMOVING

$sym20$ADD_OLD_CONSTANT_NAME

public static final SubLSymbol $sym20$ADD_OLD_CONSTANT_NAME

$sym21$REMOVE_OLD_CONSTANT_NAME

public static final SubLSymbol $sym21$REMOVE_OLD_CONSTANT_NAME

$const22$isa

public static final SubLObject $const22$isa

$sym23$PROPAGATE_TO_ISA

public static final SubLSymbol $sym23$PROPAGATE_TO_ISA

$const24$genls

public static final SubLObject $const24$genls

$sym25$PROPAGATE_TO_GENLS

public static final SubLSymbol $sym25$PROPAGATE_TO_GENLS

$const26$disjointWith

public static final SubLObject $const26$disjointWith

$sym27$PROPAGATE_TO_DISJOINTWITH

public static final SubLSymbol $sym27$PROPAGATE_TO_DISJOINTWITH

$const28$genlMt

public static final SubLObject $const28$genlMt

$sym29$PROPAGATE_TO_GENLMT

public static final SubLSymbol $sym29$PROPAGATE_TO_GENLMT

$const30$genlPreds

public static final SubLObject $const30$genlPreds

$sym31$PROPAGATE_TO_GENLPREDS

public static final SubLSymbol $sym31$PROPAGATE_TO_GENLPREDS

$const32$negationPreds

public static final SubLObject $const32$negationPreds

$sym33$PROPAGATE_TO_NEGATIONPREDS

public static final SubLSymbol $sym33$PROPAGATE_TO_NEGATIONPREDS

$const34$genlInverse

public static final SubLObject $const34$genlInverse

$sym35$PROPAGATE_TO_GENLINVERSE

public static final SubLSymbol $sym35$PROPAGATE_TO_GENLINVERSE

$const36$negationInverse

public static final SubLObject $const36$negationInverse

$sym37$PROPAGATE_TO_NEGATIONINVERSE

public static final SubLSymbol $sym37$PROPAGATE_TO_NEGATIONINVERSE

$sym38$PROPAGATE_INVERSE_TO_ISA

public static final SubLSymbol $sym38$PROPAGATE_INVERSE_TO_ISA

$sym39$PROPAGATE_INVERSE_TO_GENLS

public static final SubLSymbol $sym39$PROPAGATE_INVERSE_TO_GENLS

$sym40$PROPAGATE_INVERSE_TO_GENLMT

public static final SubLSymbol $sym40$PROPAGATE_INVERSE_TO_GENLMT

$sym41$PROPAGATE_INVERSE_TO_GENLPREDS

public static final SubLSymbol $sym41$PROPAGATE_INVERSE_TO_GENLPREDS

$sym42$PROPAGATE_INVERSE_TO_GENLINVERSE

public static final SubLSymbol $sym42$PROPAGATE_INVERSE_TO_GENLINVERSE

$list43

public static final SubLList $list43

$kw44$GENLPREDS

public static final SubLSymbol $kw44$GENLPREDS

$kw45$MONOTONIC

public static final SubLSymbol $kw45$MONOTONIC

$sym46$ADD_GEN_KEYWORD

public static final SubLSymbol $sym46$ADD_GEN_KEYWORD

$list47

public static final SubLList $list47

$const48$ist

public static final SubLObject $const48$ist

$sym49$ADD_IST

public static final SubLSymbol $sym49$ADD_IST

$const50$implies

public static final SubLObject $const50$implies

$list51

public static final SubLList $list51

$kw52$CODE

public static final SubLSymbol $kw52$CODE

$sym53$QUEUE_P

public static final SubLSymbol $sym53$QUEUE_P

$sym54$ADD_TRUE_RULE

public static final SubLSymbol $sym54$ADD_TRUE_RULE

$list55

public static final SubLList $list55

$sym56$_TRUE_RULE_DEFINING_MT_

public static final SubLSymbol $sym56$_TRUE_RULE_DEFINING_MT_

$const57$CoreCycLMt

public static final SubLObject $const57$CoreCycLMt

$const58$trueRule

public static final SubLObject $const58$trueRule

$sym59$FORT_P

public static final SubLSymbol $sym59$FORT_P

$const60$ruleTemplateDirection

public static final SubLObject $const60$ruleTemplateDirection

$const61$Forward_AssertionDirection

public static final SubLObject $const61$Forward_AssertionDirection

$kw62$FORWARD

public static final SubLSymbol $kw62$FORWARD

$const63$Backward_AssertionDirection

public static final SubLObject $const63$Backward_AssertionDirection

$kw64$BACKWARD

public static final SubLSymbol $kw64$BACKWARD

$sym65$ADD_RULE_TEMPLATE_DIRECTION

public static final SubLSymbol $sym65$ADD_RULE_TEMPLATE_DIRECTION

$sym66$REMOVE_RULE_TEMPLATE_DIRECTION

public static final SubLSymbol $sym66$REMOVE_RULE_TEMPLATE_DIRECTION

$kw67$GAF

public static final SubLSymbol $kw67$GAF

$kw68$TRUE

public static final SubLSymbol $kw68$TRUE

$sym69$DEDUCTION_P

public static final SubLSymbol $sym69$DEDUCTION_P

$sym70$TRUE_RULE_SUPPORT_P

public static final SubLSymbol $sym70$TRUE_RULE_SUPPORT_P

$sym71$REMOVE_DEPENDENT_TERM

public static final SubLSymbol $sym71$REMOVE_DEPENDENT_TERM

$sym72$ADD_ARITY

public static final SubLSymbol $sym72$ADD_ARITY

$sym73$REMOVE_ARITY

public static final SubLSymbol $sym73$REMOVE_ARITY

$sym74$ADD_ARITY_MIN

public static final SubLSymbol $sym74$ADD_ARITY_MIN

$sym75$REMOVE_ARITY_MIN

public static final SubLSymbol $sym75$REMOVE_ARITY_MIN

$sym76$ADD_ARITY_MAX

public static final SubLSymbol $sym76$ADD_ARITY_MAX

$sym77$REMOVE_ARITY_MAX

public static final SubLSymbol $sym77$REMOVE_ARITY_MAX

$sym78$INTER_ARG_ISA_AFTER_ADDING

public static final SubLSymbol $sym78$INTER_ARG_ISA_AFTER_ADDING

$sym79$INTER_ARG_ISA_AFTER_REMOVING

public static final SubLSymbol $sym79$INTER_ARG_ISA_AFTER_REMOVING

$sym80$INTER_ARG_FORMAT_AFTER_ADDING

public static final SubLSymbol $sym80$INTER_ARG_FORMAT_AFTER_ADDING

$sym81$INTER_ARG_FORMAT_AFTER_REMOVING

public static final SubLSymbol $sym81$INTER_ARG_FORMAT_AFTER_REMOVING

$sym82$ADD_TO_CONTRACTION_HT

public static final SubLSymbol $sym82$ADD_TO_CONTRACTION_HT

$sym83$REMOVE_FROM_CONTRACTION_HT

public static final SubLSymbol $sym83$REMOVE_FROM_CONTRACTION_HT

$sym84$ADD_GEN_TEMPLATE_EXPANSION

public static final SubLSymbol $sym84$ADD_GEN_TEMPLATE_EXPANSION

$sym85$REMOVE_GEN_TEMPLATE_EXPANSION

public static final SubLSymbol $sym85$REMOVE_GEN_TEMPLATE_EXPANSION

$sym86$NOT_EQ

public static final SubLSymbol $sym86$NOT_EQ

$const87$expansion

public static final SubLObject $const87$expansion

$list88

public static final SubLList $list88

$const89$expansionAxiom

public static final SubLObject $const89$expansionAxiom

$sym90$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym90$RELEVANT_MT_IS_GENL_MT

$kw91$CNF

public static final SubLSymbol $kw91$CNF

$sym92$NEG_LITS

public static final SubLSymbol $sym92$NEG_LITS

$const93$True

public static final SubLObject $const93$True

$sym94$ADD_EXPANSION_AXIOM

public static final SubLSymbol $sym94$ADD_EXPANSION_AXIOM

$sym95$CYC_ADD_REFORMULATION_ASSERTION

public static final SubLSymbol $sym95$CYC_ADD_REFORMULATION_ASSERTION

$sym96$CYC_REMOVE_REFORMULATION_ASSERTION

public static final SubLSymbol $sym96$CYC_REMOVE_REFORMULATION_ASSERTION

$list97

public static final SubLList $list97

$const98$elementOf

public static final SubLObject $const98$elementOf

$const99$TheSetOf

public static final SubLObject $const99$TheSetOf

$list100

public static final SubLList $list100

$sym101$CYC_ADD_ELEMENT_OF

public static final SubLSymbol $sym101$CYC_ADD_ELEMENT_OF

$sym102$GAF_ASSERTION_

public static final SubLSymbol $sym102$GAF_ASSERTION_

$sym103$RULE_ASSERTION_

public static final SubLSymbol $sym103$RULE_ASSERTION_

$sym104$CYC_ADD_KNOWN_ANTECEDENT_RULE

public static final SubLSymbol $sym104$CYC_ADD_KNOWN_ANTECEDENT_RULE

$sym105$CYC_REMOVE_KNOWN_ANTECEDENT_RULE

public static final SubLSymbol $sym105$CYC_REMOVE_KNOWN_ANTECEDENT_RULE

$sym106$ADD_MERGED_CONSTANT_GUID

public static final SubLSymbol $sym106$ADD_MERGED_CONSTANT_GUID

$sym107$REMOVE_MERGED_CONSTANT_GUID

public static final SubLSymbol $sym107$REMOVE_MERGED_CONSTANT_GUID

$sym108$CYC_EXCEPT_ADDED

public static final SubLSymbol $sym108$CYC_EXCEPT_ADDED

$sym109$CYC_EXCEPT_REMOVED

public static final SubLSymbol $sym109$CYC_EXCEPT_REMOVED

$sym110$ADD_RELATION_INSTANCE_ALL

public static final SubLSymbol $sym110$ADD_RELATION_INSTANCE_ALL

$sym111$REMOVE_RELATION_INSTANCE_ALL

public static final SubLSymbol $sym111$REMOVE_RELATION_INSTANCE_ALL

$sym112$ADD_RELATION_ALL_INSTANCE

public static final SubLSymbol $sym112$ADD_RELATION_ALL_INSTANCE

$sym113$REMOVE_RELATION_ALL_INSTANCE

public static final SubLSymbol $sym113$REMOVE_RELATION_ALL_INSTANCE

Method Detail

clear_mt_dependent_caches

public static final SubLObject clear_mt_dependent_caches(SubLObject argument,
                                                         SubLObject assertion)

possibly clear all mt dependent caches

possibly_clear_mt_dependent_caches

public static final SubLObject possibly_clear_mt_dependent_caches(SubLObject argument,
                                                                  SubLObject assertion)

clear_mt_dependent_caches_int

public static final SubLObject clear_mt_dependent_caches_int(SubLObject argument,
                                                             SubLObject assertion)

clear_genls_dependent_caches

public static final SubLObject clear_genls_dependent_caches(SubLObject argument,
                                                            SubLObject assertion)

clear all genls dependent caches

clear_isa_dependent_caches

public static final SubLObject clear_isa_dependent_caches(SubLObject argument,
                                                          SubLObject assertion)

clear all isa dependent caches

clear_isa_dependent_caches_internal

public static final SubLObject clear_isa_dependent_caches_internal()

clear all isa dependent caches

clear_quoted_isa_dependent_caches

public static final SubLObject clear_quoted_isa_dependent_caches(SubLObject argument,
                                                                 SubLObject assertion)

clear all quotedIsa dependent caches

clear_quoted_isa_dependent_caches_internal

public static final SubLObject clear_quoted_isa_dependent_caches_internal()

clear all quotedIsa dependent caches

clear_genl_pred_dependent_caches

public static final SubLObject clear_genl_pred_dependent_caches(SubLObject argument,
                                                                SubLObject assertion)

clear all genlPreds and genlInverse dependent caches

add_old_constant_name

public static final SubLObject add_old_constant_name(SubLObject argument,
                                                     SubLObject assertion)

Update the cache after an oldConstantName assertion is added.

remove_old_constant_name

public static final SubLObject remove_old_constant_name(SubLObject argument,
                                                        SubLObject assertion)

Update the cache after an oldConstantName assertion is removed.

add_arity

public static final SubLObject add_arity(SubLObject argument,
                                         SubLObject assertion)

remove_arity

public static final SubLObject remove_arity(SubLObject argument,
                                            SubLObject assertion)

declare_after_adding_modules_file

public static final SubLObject declare_after_adding_modules_file()

init_after_adding_modules_file

public static final SubLObject init_after_adding_modules_file()

setup_after_adding_modules_file

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