com.cyc.cycjava.cycl
Class kb_compare

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class kb_compare
extends SubLTranslatedFile

Nested Class Summary

static class	kb_compare.$kb_difference_native
static class	kb_compare.$kb_difference_p$UnaryFunction
static class	kb_compare.$kb_intersection_native
static class	kb_compare.$kb_intersection_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_kb_difference$
static SubLSymbol	$dtp_kb_intersection$
static SubLSymbol	$kw103$DONE
static SubLSymbol	$kw11$CFASL
static SubLSymbol	$kw118$SKIP
static SubLSymbol	$kw12$IGNORE_ERRORS_TARGET
static SubLSymbol	$kw36$REMOTE_IMAGE
static SubLSymbol	$kw37$CONSTANT_INDEX
static SubLSymbol	$kw38$NART_INDEX
static SubLSymbol	$kw39$ASSERTION_INDEX
static SubLSymbol	$kw40$DEDUCTION_INDEX
static SubLSymbol	$kw43$FREE
static SubLSymbol	$kw53$ALLOW_OTHER_KEYS
static SubLSymbol	$kw54$PROGRESS_MESSAGE
static SubLSymbol	$kw60$IMPOSSIBLE
static SubLSymbol	$kw84$COMMON_INTERSECTION
static SubLSymbol	$kw85$RENAMED_CONSTANTS
static SubLSymbol	$kw86$CONSTANTS
static SubLSymbol	$kw87$NARTS
static SubLSymbol	$kw88$ASSERTIONS
static SubLSymbol	$kw89$DEDUCTIONS
static SubLList	$list0
static SubLList	$list1
static SubLList	$list101
static SubLList	$list102
static SubLList	$list105
static SubLList	$list107
static SubLList	$list108
static SubLList	$list109
static SubLList	$list144
static SubLList	$list145
static SubLList	$list148
static SubLList	$list149
static SubLList	$list151
static SubLList	$list152
static SubLList	$list154
static SubLList	$list155
static SubLList	$list17
static SubLList	$list2
static SubLList	$list20
static SubLList	$list21
static SubLList	$list22
static SubLList	$list23
static SubLList	$list5
static SubLList	$list51
static SubLList	$list52
static SubLList	$list6
static SubLList	$list66
static SubLList	$list67
static SubLList	$list68
static SubLList	$list69
static SubLString	$str116$KB_Intersection___Examining_new_c
static SubLString	$str117$KB_Intersection___Examining_const
static SubLString	$str119$KB_Intersection___Examining_old_c
static SubLString	$str120$KB_Intersection___Examining_new_n
static SubLString	$str121$KB_Intersection___Examining_narts
static SubLString	$str122$KB_Intersection___Examining_old_n
static SubLString	$str123$KB_Intersection___Examining_new_a
static SubLString	$str124$KB_Intersection___Examining_asser
static SubLString	$str125$KB_Intersection___Examining_old_a
static SubLString	$str126$KB_Intersection___Examining_new_d
static SubLString	$str127$KB_Intersection___Examining_deduc
static SubLString	$str128$KB_Intersection___Examining_old_d
static SubLString	$str129$KB_DIFFERENCE___Examining_constan
static SubLString	$str130$KB_DIFFERENCE___Examining_constan
static SubLString	$str131$KB_DIFFERENCE___Examining_narts
static SubLString	$str132$KB_DIFFERENCE___Examining_asserti
static SubLString	$str133$KB_DIFFERENCE___Examining_deducti
static SubLString	$str134$___No_Difference___
static SubLString	$str135$___Renamed_Constants____
static SubLString	$str136$_S_renamed_to__S__
static SubLString	$str137$___Constants____
static SubLString	$str138$_S__
static SubLString	$str139$___Narts____
static SubLString	$str140$___Assertions____
static SubLString	$str141$___Deductions____
static SubLString	$str142$_S__supports___
static SubLString	$str41$Invalid_slot__S_for_construction_
static SubLString	$str42$_KB_INTERSECTION_to__a_
static SubLString	$str90$_KB_DIFFERENCE_using__a_
static SubLSymbol	$sym10$WITH_NEW_KB_COMPARE_CONNECTION
static SubLSymbol	$sym100$DO_KB_DIFFERENCE_DEDUCTIONS
static SubLSymbol	$sym104$DO_DICTIONARY
static SubLSymbol	$sym106$DO_SET
static SubLSymbol	$sym110$STRINGP
static SubLSymbol	$sym111$_
static SubLSymbol	$sym112$CONSTANT_INTERNAL_ID
static SubLSymbol	$sym113$NART_ID
static SubLSymbol	$sym114$ASSERTION_ID
static SubLSymbol	$sym115$DEDUCTION_ID
static SubLSymbol	$sym13$IGNORE_ERRORS_HANDLER
static SubLSymbol	$sym14$PROGN
static SubLSymbol	$sym143$_
static SubLSymbol	$sym146$CONSTANT_INTERNAL_ID_FROM_EXTERNAL_ID
static SubLSymbol	$sym147$CONSTANT_NAME_FROM_INTERNAL_ID
static SubLSymbol	$sym15$CFASL_SET_COMMON_SYMBOLS
static SubLSymbol	$sym150$NART_ID_FROM_RECIPE
static SubLSymbol	$sym153$ASSERTION_ID_FROM_RECIPE
static SubLSymbol	$sym156$DEDUCTION_ID_FROM_RECIPE
static SubLSymbol	$sym16$QUOTE
static SubLSymbol	$sym18$KB_INTERSECTION
static SubLSymbol	$sym19$KB_INTERSECTION_P
static SubLSymbol	$sym24$PRINT_KB_INTERSECTION
static SubLSymbol	$sym25$KB_INTERSECTION_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym26$KB_INTRSCT_REMOTE_IMAGE
static SubLSymbol	$sym27$_CSETF_KB_INTRSCT_REMOTE_IMAGE
static SubLSymbol	$sym28$KB_INTRSCT_CONSTANT_INDEX
static SubLSymbol	$sym29$_CSETF_KB_INTRSCT_CONSTANT_INDEX
static SubLSymbol	$sym3$WITH_NEW_REMOTE_IMAGE_CONNECTION
static SubLSymbol	$sym30$KB_INTRSCT_NART_INDEX
static SubLSymbol	$sym31$_CSETF_KB_INTRSCT_NART_INDEX
static SubLSymbol	$sym32$KB_INTRSCT_ASSERTION_INDEX
static SubLSymbol	$sym33$_CSETF_KB_INTRSCT_ASSERTION_INDEX
static SubLSymbol	$sym34$KB_INTRSCT_DEDUCTION_INDEX
static SubLSymbol	$sym35$_CSETF_KB_INTRSCT_DEDUCTION_INDEX
static SubLSymbol	$sym4$CLET
static SubLSymbol	$sym44$KB_INTERSECTION_CONSTANT_INDEX
static SubLSymbol	$sym45$DO_KB_INTERSECTION_CONSTANTS
static SubLSymbol	$sym46$CONSTANT_P
static SubLSymbol	$sym47$NON_NEGATIVE_INTEGER_P
static SubLSymbol	$sym48$NART_P
static SubLSymbol	$sym49$ASSERTION_P
static SubLSymbol	$sym50$DEDUCTION_P
static SubLSymbol	$sym55$INTERNAL_ID
static SubLSymbol	$sym56$REMOTE_ID
static SubLSymbol	$sym57$DO_ID_INDEX
static SubLSymbol	$sym58$IGNORE
static SubLSymbol	$sym59$FIND_CONSTANT_BY_INTERNAL_ID
static SubLSymbol	$sym61$KB_INTERSECTION_NART_IMPOSSIBLE_INT
static SubLSymbol	$sym62$KB_INTERSECTION_ASSERTION_IMPOSSIBLE_INT
static SubLSymbol	$sym63$KB_INTERSECTION_DEDUCTION_IMPOSSIBLE_INT
static SubLSymbol	$sym64$KB_DIFFERENCE
static SubLSymbol	$sym65$KB_DIFFERENCE_P
static SubLSymbol	$sym7$WITH_CFASL_COMMON_SYMBOLS
static SubLSymbol	$sym70$PRINT_KB_DIFFERENCE
static SubLSymbol	$sym71$KB_DIFFERENCE_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym72$KB_DIFF_COMMON_INTERSECTION
static SubLSymbol	$sym73$_CSETF_KB_DIFF_COMMON_INTERSECTION
static SubLSymbol	$sym74$KB_DIFF_RENAMED_CONSTANTS
static SubLSymbol	$sym75$_CSETF_KB_DIFF_RENAMED_CONSTANTS
static SubLSymbol	$sym76$KB_DIFF_CONSTANTS
static SubLSymbol	$sym77$_CSETF_KB_DIFF_CONSTANTS
static SubLSymbol	$sym78$KB_DIFF_NARTS
static SubLSymbol	$sym79$_CSETF_KB_DIFF_NARTS
static SubLSymbol	$sym8$_KB_COMPARE_COMMON_SYMBOLS_
static SubLSymbol	$sym80$KB_DIFF_ASSERTIONS
static SubLSymbol	$sym81$_CSETF_KB_DIFF_ASSERTIONS
static SubLSymbol	$sym82$KB_DIFF_DEDUCTIONS
static SubLSymbol	$sym83$_CSETF_KB_DIFF_DEDUCTIONS
static SubLSymbol	$sym9$SET_KB_COMPARE_CONNECTION_COMMON_SYMBOLS
static SubLSymbol	$sym91$KB_DIFFERENCE_RENAMED_CONSTANTS
static SubLSymbol	$sym92$DO_KB_DIFFERENCE_RENAMED_CONSTANTS
static SubLSymbol	$sym93$KB_DIFFERENCE_CONSTANTS
static SubLSymbol	$sym94$DO_KB_DIFFERENCE_CONSTANTS
static SubLSymbol	$sym95$KB_DIFFERENCE_NARTS
static SubLSymbol	$sym96$DO_KB_DIFFERENCE_NARTS
static SubLSymbol	$sym97$KB_DIFFERENCE_ASSERTIONS
static SubLSymbol	$sym98$DO_KB_DIFFERENCE_ASSERTIONS
static SubLSymbol	$sym99$KB_DIFFERENCE_DEDUCTIONS
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_kb_compare_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_kb_compare_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kb_difference_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	kb_intersection_print_function_trampoline(SubLObject object, SubLObject stream)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_kb_compare_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

$dtp_kb_intersection$

public static SubLSymbol $dtp_kb_intersection$

$dtp_kb_difference$

public static SubLSymbol $dtp_kb_difference$

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$sym3$WITH_NEW_REMOTE_IMAGE_CONNECTION

public static final SubLSymbol $sym3$WITH_NEW_REMOTE_IMAGE_CONNECTION

$sym4$CLET

public static final SubLSymbol $sym4$CLET

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$WITH_CFASL_COMMON_SYMBOLS

public static final SubLSymbol $sym7$WITH_CFASL_COMMON_SYMBOLS

$sym8$_KB_COMPARE_COMMON_SYMBOLS_

public static final SubLSymbol $sym8$_KB_COMPARE_COMMON_SYMBOLS_

$sym9$SET_KB_COMPARE_CONNECTION_COMMON_SYMBOLS

public static final SubLSymbol $sym9$SET_KB_COMPARE_CONNECTION_COMMON_SYMBOLS

$sym10$WITH_NEW_KB_COMPARE_CONNECTION

public static final SubLSymbol $sym10$WITH_NEW_KB_COMPARE_CONNECTION

$kw11$CFASL

public static final SubLSymbol $kw11$CFASL

$kw12$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw12$IGNORE_ERRORS_TARGET

$sym13$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym13$IGNORE_ERRORS_HANDLER

$sym14$PROGN

public static final SubLSymbol $sym14$PROGN

$sym15$CFASL_SET_COMMON_SYMBOLS

public static final SubLSymbol $sym15$CFASL_SET_COMMON_SYMBOLS

$sym16$QUOTE

public static final SubLSymbol $sym16$QUOTE

$list17

public static final SubLList $list17

$sym18$KB_INTERSECTION

public static final SubLSymbol $sym18$KB_INTERSECTION

$sym19$KB_INTERSECTION_P

public static final SubLSymbol $sym19$KB_INTERSECTION_P

$list20

public static final SubLList $list20

$list21

public static final SubLList $list21

$list22

public static final SubLList $list22

$list23

public static final SubLList $list23

$sym24$PRINT_KB_INTERSECTION

public static final SubLSymbol $sym24$PRINT_KB_INTERSECTION

$sym25$KB_INTERSECTION_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym25$KB_INTERSECTION_PRINT_FUNCTION_TRAMPOLINE

$sym26$KB_INTRSCT_REMOTE_IMAGE

public static final SubLSymbol $sym26$KB_INTRSCT_REMOTE_IMAGE

$sym27$_CSETF_KB_INTRSCT_REMOTE_IMAGE

public static final SubLSymbol $sym27$_CSETF_KB_INTRSCT_REMOTE_IMAGE

$sym28$KB_INTRSCT_CONSTANT_INDEX

public static final SubLSymbol $sym28$KB_INTRSCT_CONSTANT_INDEX

$sym29$_CSETF_KB_INTRSCT_CONSTANT_INDEX

public static final SubLSymbol $sym29$_CSETF_KB_INTRSCT_CONSTANT_INDEX

$sym30$KB_INTRSCT_NART_INDEX

public static final SubLSymbol $sym30$KB_INTRSCT_NART_INDEX

$sym31$_CSETF_KB_INTRSCT_NART_INDEX

public static final SubLSymbol $sym31$_CSETF_KB_INTRSCT_NART_INDEX

$sym32$KB_INTRSCT_ASSERTION_INDEX

public static final SubLSymbol $sym32$KB_INTRSCT_ASSERTION_INDEX

$sym33$_CSETF_KB_INTRSCT_ASSERTION_INDEX

public static final SubLSymbol $sym33$_CSETF_KB_INTRSCT_ASSERTION_INDEX

$sym34$KB_INTRSCT_DEDUCTION_INDEX

public static final SubLSymbol $sym34$KB_INTRSCT_DEDUCTION_INDEX

$sym35$_CSETF_KB_INTRSCT_DEDUCTION_INDEX

public static final SubLSymbol $sym35$_CSETF_KB_INTRSCT_DEDUCTION_INDEX

$kw36$REMOTE_IMAGE

public static final SubLSymbol $kw36$REMOTE_IMAGE

$kw37$CONSTANT_INDEX

public static final SubLSymbol $kw37$CONSTANT_INDEX

$kw38$NART_INDEX

public static final SubLSymbol $kw38$NART_INDEX

$kw39$ASSERTION_INDEX

public static final SubLSymbol $kw39$ASSERTION_INDEX

$kw40$DEDUCTION_INDEX

public static final SubLSymbol $kw40$DEDUCTION_INDEX

$str41$Invalid_slot__S_for_construction_

public static final SubLString $str41$Invalid_slot__S_for_construction_

$str42$_KB_INTERSECTION_to__a_

public static final SubLString $str42$_KB_INTERSECTION_to__a_

$kw43$FREE

public static final SubLSymbol $kw43$FREE

$sym44$KB_INTERSECTION_CONSTANT_INDEX

public static final SubLSymbol $sym44$KB_INTERSECTION_CONSTANT_INDEX

$sym45$DO_KB_INTERSECTION_CONSTANTS

public static final SubLSymbol $sym45$DO_KB_INTERSECTION_CONSTANTS

$sym46$CONSTANT_P

public static final SubLSymbol $sym46$CONSTANT_P

$sym47$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym47$NON_NEGATIVE_INTEGER_P

$sym48$NART_P

public static final SubLSymbol $sym48$NART_P

$sym49$ASSERTION_P

public static final SubLSymbol $sym49$ASSERTION_P

$sym50$DEDUCTION_P

public static final SubLSymbol $sym50$DEDUCTION_P

$list51

public static final SubLList $list51

$list52

public static final SubLList $list52

$kw53$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw53$ALLOW_OTHER_KEYS

$kw54$PROGRESS_MESSAGE

public static final SubLSymbol $kw54$PROGRESS_MESSAGE

$sym55$INTERNAL_ID

public static final SubLSymbol $sym55$INTERNAL_ID

$sym56$REMOTE_ID

public static final SubLSymbol $sym56$REMOTE_ID

$sym57$DO_ID_INDEX

public static final SubLSymbol $sym57$DO_ID_INDEX

$sym58$IGNORE

public static final SubLSymbol $sym58$IGNORE

$sym59$FIND_CONSTANT_BY_INTERNAL_ID

public static final SubLSymbol $sym59$FIND_CONSTANT_BY_INTERNAL_ID

$kw60$IMPOSSIBLE

public static final SubLSymbol $kw60$IMPOSSIBLE

$sym61$KB_INTERSECTION_NART_IMPOSSIBLE_INT

public static final SubLSymbol $sym61$KB_INTERSECTION_NART_IMPOSSIBLE_INT

$sym62$KB_INTERSECTION_ASSERTION_IMPOSSIBLE_INT

public static final SubLSymbol $sym62$KB_INTERSECTION_ASSERTION_IMPOSSIBLE_INT

$sym63$KB_INTERSECTION_DEDUCTION_IMPOSSIBLE_INT

public static final SubLSymbol $sym63$KB_INTERSECTION_DEDUCTION_IMPOSSIBLE_INT

$sym64$KB_DIFFERENCE

public static final SubLSymbol $sym64$KB_DIFFERENCE

$sym65$KB_DIFFERENCE_P

public static final SubLSymbol $sym65$KB_DIFFERENCE_P

$list66

public static final SubLList $list66

$list67

public static final SubLList $list67

$list68

public static final SubLList $list68

$list69

public static final SubLList $list69

$sym70$PRINT_KB_DIFFERENCE

public static final SubLSymbol $sym70$PRINT_KB_DIFFERENCE

$sym71$KB_DIFFERENCE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym71$KB_DIFFERENCE_PRINT_FUNCTION_TRAMPOLINE

$sym72$KB_DIFF_COMMON_INTERSECTION

public static final SubLSymbol $sym72$KB_DIFF_COMMON_INTERSECTION

$sym73$_CSETF_KB_DIFF_COMMON_INTERSECTION

public static final SubLSymbol $sym73$_CSETF_KB_DIFF_COMMON_INTERSECTION

$sym74$KB_DIFF_RENAMED_CONSTANTS

public static final SubLSymbol $sym74$KB_DIFF_RENAMED_CONSTANTS

$sym75$_CSETF_KB_DIFF_RENAMED_CONSTANTS

public static final SubLSymbol $sym75$_CSETF_KB_DIFF_RENAMED_CONSTANTS

$sym76$KB_DIFF_CONSTANTS

public static final SubLSymbol $sym76$KB_DIFF_CONSTANTS

$sym77$_CSETF_KB_DIFF_CONSTANTS

public static final SubLSymbol $sym77$_CSETF_KB_DIFF_CONSTANTS

$sym78$KB_DIFF_NARTS

public static final SubLSymbol $sym78$KB_DIFF_NARTS

$sym79$_CSETF_KB_DIFF_NARTS

public static final SubLSymbol $sym79$_CSETF_KB_DIFF_NARTS

$sym80$KB_DIFF_ASSERTIONS

public static final SubLSymbol $sym80$KB_DIFF_ASSERTIONS

$sym81$_CSETF_KB_DIFF_ASSERTIONS

public static final SubLSymbol $sym81$_CSETF_KB_DIFF_ASSERTIONS

$sym82$KB_DIFF_DEDUCTIONS

public static final SubLSymbol $sym82$KB_DIFF_DEDUCTIONS

$sym83$_CSETF_KB_DIFF_DEDUCTIONS

public static final SubLSymbol $sym83$_CSETF_KB_DIFF_DEDUCTIONS

$kw84$COMMON_INTERSECTION

public static final SubLSymbol $kw84$COMMON_INTERSECTION

$kw85$RENAMED_CONSTANTS

public static final SubLSymbol $kw85$RENAMED_CONSTANTS

$kw86$CONSTANTS

public static final SubLSymbol $kw86$CONSTANTS

$kw87$NARTS

public static final SubLSymbol $kw87$NARTS

$kw88$ASSERTIONS

public static final SubLSymbol $kw88$ASSERTIONS

$kw89$DEDUCTIONS

public static final SubLSymbol $kw89$DEDUCTIONS

$str90$_KB_DIFFERENCE_using__a_

public static final SubLString $str90$_KB_DIFFERENCE_using__a_

$sym91$KB_DIFFERENCE_RENAMED_CONSTANTS

public static final SubLSymbol $sym91$KB_DIFFERENCE_RENAMED_CONSTANTS

$sym92$DO_KB_DIFFERENCE_RENAMED_CONSTANTS

public static final SubLSymbol $sym92$DO_KB_DIFFERENCE_RENAMED_CONSTANTS

$sym93$KB_DIFFERENCE_CONSTANTS

public static final SubLSymbol $sym93$KB_DIFFERENCE_CONSTANTS

$sym94$DO_KB_DIFFERENCE_CONSTANTS

public static final SubLSymbol $sym94$DO_KB_DIFFERENCE_CONSTANTS

$sym95$KB_DIFFERENCE_NARTS

public static final SubLSymbol $sym95$KB_DIFFERENCE_NARTS

$sym96$DO_KB_DIFFERENCE_NARTS

public static final SubLSymbol $sym96$DO_KB_DIFFERENCE_NARTS

$sym97$KB_DIFFERENCE_ASSERTIONS

public static final SubLSymbol $sym97$KB_DIFFERENCE_ASSERTIONS

$sym98$DO_KB_DIFFERENCE_ASSERTIONS

public static final SubLSymbol $sym98$DO_KB_DIFFERENCE_ASSERTIONS

$sym99$KB_DIFFERENCE_DEDUCTIONS

public static final SubLSymbol $sym99$KB_DIFFERENCE_DEDUCTIONS

$sym100$DO_KB_DIFFERENCE_DEDUCTIONS

public static final SubLSymbol $sym100$DO_KB_DIFFERENCE_DEDUCTIONS

$list101

public static final SubLList $list101

$list102

public static final SubLList $list102

$kw103$DONE

public static final SubLSymbol $kw103$DONE

$sym104$DO_DICTIONARY

public static final SubLSymbol $sym104$DO_DICTIONARY

$list105

public static final SubLList $list105

$sym106$DO_SET

public static final SubLSymbol $sym106$DO_SET

$list107

public static final SubLList $list107

$list108

public static final SubLList $list108

$list109

public static final SubLList $list109

$sym110$STRINGP

public static final SubLSymbol $sym110$STRINGP

$sym111$_

public static final SubLSymbol $sym111$_

$sym112$CONSTANT_INTERNAL_ID

public static final SubLSymbol $sym112$CONSTANT_INTERNAL_ID

$sym113$NART_ID

public static final SubLSymbol $sym113$NART_ID

$sym114$ASSERTION_ID

public static final SubLSymbol $sym114$ASSERTION_ID

$sym115$DEDUCTION_ID

public static final SubLSymbol $sym115$DEDUCTION_ID

$str116$KB_Intersection___Examining_new_c

public static final SubLString $str116$KB_Intersection___Examining_new_c

$str117$KB_Intersection___Examining_const

public static final SubLString $str117$KB_Intersection___Examining_const

$kw118$SKIP

public static final SubLSymbol $kw118$SKIP

$str119$KB_Intersection___Examining_old_c

public static final SubLString $str119$KB_Intersection___Examining_old_c

$str120$KB_Intersection___Examining_new_n

public static final SubLString $str120$KB_Intersection___Examining_new_n

$str121$KB_Intersection___Examining_narts

public static final SubLString $str121$KB_Intersection___Examining_narts

$str122$KB_Intersection___Examining_old_n

public static final SubLString $str122$KB_Intersection___Examining_old_n

$str123$KB_Intersection___Examining_new_a

public static final SubLString $str123$KB_Intersection___Examining_new_a

$str124$KB_Intersection___Examining_asser

public static final SubLString $str124$KB_Intersection___Examining_asser

$str125$KB_Intersection___Examining_old_a

public static final SubLString $str125$KB_Intersection___Examining_old_a

$str126$KB_Intersection___Examining_new_d

public static final SubLString $str126$KB_Intersection___Examining_new_d

$str127$KB_Intersection___Examining_deduc

public static final SubLString $str127$KB_Intersection___Examining_deduc

$str128$KB_Intersection___Examining_old_d

public static final SubLString $str128$KB_Intersection___Examining_old_d

$str129$KB_DIFFERENCE___Examining_constan

public static final SubLString $str129$KB_DIFFERENCE___Examining_constan

$str130$KB_DIFFERENCE___Examining_constan

public static final SubLString $str130$KB_DIFFERENCE___Examining_constan

$str131$KB_DIFFERENCE___Examining_narts

public static final SubLString $str131$KB_DIFFERENCE___Examining_narts

$str132$KB_DIFFERENCE___Examining_asserti

public static final SubLString $str132$KB_DIFFERENCE___Examining_asserti

$str133$KB_DIFFERENCE___Examining_deducti

public static final SubLString $str133$KB_DIFFERENCE___Examining_deducti

$str134$___No_Difference___

public static final SubLString $str134$___No_Difference___

$str135$___Renamed_Constants____

public static final SubLString $str135$___Renamed_Constants____

$str136$_S_renamed_to__S__

public static final SubLString $str136$_S_renamed_to__S__

$str137$___Constants____

public static final SubLString $str137$___Constants____

$str138$_S__

public static final SubLString $str138$_S__

$str139$___Narts____

public static final SubLString $str139$___Narts____

$str140$___Assertions____

public static final SubLString $str140$___Assertions____

$str141$___Deductions____

public static final SubLString $str141$___Deductions____

$str142$_S__supports___

public static final SubLString $str142$_S__supports___

$sym143$_

public static final SubLSymbol $sym143$_

$list144

public static final SubLList $list144

$list145

public static final SubLList $list145

$sym146$CONSTANT_INTERNAL_ID_FROM_EXTERNAL_ID

public static final SubLSymbol $sym146$CONSTANT_INTERNAL_ID_FROM_EXTERNAL_ID

$sym147$CONSTANT_NAME_FROM_INTERNAL_ID

public static final SubLSymbol $sym147$CONSTANT_NAME_FROM_INTERNAL_ID

$list148

public static final SubLList $list148

$list149

public static final SubLList $list149

$sym150$NART_ID_FROM_RECIPE

public static final SubLSymbol $sym150$NART_ID_FROM_RECIPE

$list151

public static final SubLList $list151

$list152

public static final SubLList $list152

$sym153$ASSERTION_ID_FROM_RECIPE

public static final SubLSymbol $sym153$ASSERTION_ID_FROM_RECIPE

$list154

public static final SubLList $list154

$list155

public static final SubLList $list155

$sym156$DEDUCTION_ID_FROM_RECIPE

public static final SubLSymbol $sym156$DEDUCTION_ID_FROM_RECIPE

Method Detail

kb_intersection_print_function_trampoline

public static final SubLObject kb_intersection_print_function_trampoline(SubLObject object,
                                                                         SubLObject stream)

kb_difference_print_function_trampoline

public static final SubLObject kb_difference_print_function_trampoline(SubLObject object,
                                                                       SubLObject stream)

declare_kb_compare_file

public static final SubLObject declare_kb_compare_file()

init_kb_compare_file

public static final SubLObject init_kb_compare_file()

setup_kb_compare_file

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