com.cyc.cycjava.cycl
Class negation_predicate

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class negation_predicate
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$negationPreds
static SubLObject	$const1$negationInverse
static SubLSymbol	$kw4$ALLOW_OTHER_KEYS
static SubLSymbol	$kw5$MT
static SubLSymbol	$kw6$TV
static SubLSymbol	$kw7$DONE
static SubLList	$list2
static SubLList	$list3
static SubLSymbol	$sym10$NEGATION_PREDICATE_AFTER_ADDING
static SubLSymbol	$sym11$NEGATION_INVERSE_AFTER_ADDING
static SubLSymbol	$sym12$ADD_NEGATION_INVERSE
static SubLSymbol	$sym13$NEGATION_PREDICATE_AFTER_REMOVING
static SubLSymbol	$sym14$NEGATION_INVERSE_AFTER_REMOVING
static SubLSymbol	$sym15$REMOVE_NEGATION_INVERSE
static SubLSymbol	$sym8$DO_LIST
static SubLSymbol	$sym9$ALL_NEGATION_PREDICATES
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_negation_inverse(SubLObject source, SubLObject assertion) Modifier.
static SubLObject	all_negation_predicates(SubLObject pred, SubLObject mt, SubLObject tv) all of the negation-predicates of PRED
static SubLObject	declare_negation_predicate_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_negation_predicate_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	max_all_negation_inverses(SubLObject pred, SubLObject mt, SubLObject tv) most-general negation inverses of
static SubLObject	max_all_negation_predicates(SubLObject pred, SubLObject mt, SubLObject tv) most-general negation predicates of
static SubLObject	max_negation_inverses(SubLObject pred, SubLObject mt)
static SubLObject	max_negation_preds(SubLObject pred, SubLObject mt)
static SubLObject	negation_inverse_after_adding(SubLObject source, SubLObject assertion) Modifier.
static SubLObject	negation_inverse_after_removing(SubLObject source, SubLObject assertion) Modifier.
static SubLObject	remove_negation_inverse(SubLObject source, SubLObject assertion) Modifier.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_negation_predicate_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

$const0$negationPreds

public static final SubLObject $const0$negationPreds

$const1$negationInverse

public static final SubLObject $const1$negationInverse

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$kw4$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw4$ALLOW_OTHER_KEYS

$kw5$MT

public static final SubLSymbol $kw5$MT

$kw6$TV

public static final SubLSymbol $kw6$TV

$kw7$DONE

public static final SubLSymbol $kw7$DONE

$sym8$DO_LIST

public static final SubLSymbol $sym8$DO_LIST

$sym9$ALL_NEGATION_PREDICATES

public static final SubLSymbol $sym9$ALL_NEGATION_PREDICATES

$sym10$NEGATION_PREDICATE_AFTER_ADDING

public static final SubLSymbol $sym10$NEGATION_PREDICATE_AFTER_ADDING

$sym11$NEGATION_INVERSE_AFTER_ADDING

public static final SubLSymbol $sym11$NEGATION_INVERSE_AFTER_ADDING

$sym12$ADD_NEGATION_INVERSE

public static final SubLSymbol $sym12$ADD_NEGATION_INVERSE

$sym13$NEGATION_PREDICATE_AFTER_REMOVING

public static final SubLSymbol $sym13$NEGATION_PREDICATE_AFTER_REMOVING

$sym14$NEGATION_INVERSE_AFTER_REMOVING

public static final SubLSymbol $sym14$NEGATION_INVERSE_AFTER_REMOVING

$sym15$REMOVE_NEGATION_INVERSE

public static final SubLSymbol $sym15$REMOVE_NEGATION_INVERSE

Method Detail

all_negation_predicates

public static final SubLObject all_negation_predicates(SubLObject pred,
                                                       SubLObject mt,
                                                       SubLObject tv)

all of the negation-predicates of PRED

max_all_negation_predicates

public static final SubLObject max_all_negation_predicates(SubLObject pred,
                                                           SubLObject mt,
                                                           SubLObject tv)

most-general negation predicates of

max_negation_preds

public static final SubLObject max_negation_preds(SubLObject pred,
                                                  SubLObject mt)

max_all_negation_inverses

public static final SubLObject max_all_negation_inverses(SubLObject pred,
                                                         SubLObject mt,
                                                         SubLObject tv)

most-general negation inverses of

max_negation_inverses

public static final SubLObject max_negation_inverses(SubLObject pred,
                                                     SubLObject mt)

negation_inverse_after_adding

public static final SubLObject negation_inverse_after_adding(SubLObject source,
                                                             SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

add_negation_inverse

public static final SubLObject add_negation_inverse(SubLObject source,
                                                    SubLObject assertion)

Modifier. Adds sbhl links with @see negation-inverse-after-adding.

negation_inverse_after_removing

public static final SubLObject negation_inverse_after_removing(SubLObject source,
                                                               SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

remove_negation_inverse

public static final SubLObject remove_negation_inverse(SubLObject source,
                                                       SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

declare_negation_predicate_file

public static final SubLObject declare_negation_predicate_file()

init_negation_predicate_file

public static final SubLObject init_negation_predicate_file()

setup_negation_predicate_file

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