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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_lookup
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_lookup.$asent_has_indexed_term_arg_p$BinaryFunction
static class	removal_modules_lookup.$asent_has_indexed_term_arg_p$UnaryFunction
static class	removal_modules_lookup.$removal_completely_asserted_asentP$UnaryFunction
static class	removal_modules_lookup.$removal_lookup_pos_cost$BinaryFunction
static class	removal_modules_lookup.$removal_lookup_pos_cost$UnaryFunction
static class	removal_modules_lookup.$removal_lookup_pos_iterator$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const13$EverythingPSC
static SubLSymbol	$kw0$POS
static SubLSymbol	$kw1$GAF_ARG
static SubLSymbol	$kw10$REMOVAL_LOOKUP_NEG
static SubLSymbol	$kw14$REMOVAL_PRED_UNBOUND
static SubLSymbol	$kw16$PRED_UNBOUND_POS
static SubLSymbol	$kw18$GROSSLY_DISPREFERRED
static SubLSymbol	$kw19$DISALLOWED
static SubLSymbol	$kw2$GAF
static SubLSymbol	$kw3$PREDICATE_EXTENT
static SubLSymbol	$kw4$OVERLAP
static SubLSymbol	$kw5$REMOVAL_LOOKUP_POS
static SubLSymbol	$kw7$NEG
static SubLSymbol	$kw8$GROSSLY_INCOMPLETE
static SubLSymbol	$kw9$INCOMPLETE
static SubLList	$list11
static SubLList	$list15
static SubLList	$list17
static SubLList	$list6
static SubLSymbol	$sym12$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym20$INDEXED_TERM_P
static SubLSymbol	$sym21$FORT_P
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	asent_has_indexed_term_arg_p(SubLObject asent, SubLObject seqvar_handling)
static SubLObject	declare_removal_modules_lookup_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	formula_has_indexed_term_arg_p(SubLObject formula, SubLObject seqvar_handling)
static SubLObject	init_removal_modules_lookup_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_completely_asserted_asentP(SubLObject asent)
static SubLObject	removal_lookup_pos_cost(SubLObject asent, SubLObject sense)
static SubLObject	removal_lookup_pos_iterator(SubLObject asent)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_lookup_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

$kw0$POS

public static final SubLSymbol $kw0$POS

$kw1$GAF_ARG

public static final SubLSymbol $kw1$GAF_ARG

$kw2$GAF

public static final SubLSymbol $kw2$GAF

$kw3$PREDICATE_EXTENT

public static final SubLSymbol $kw3$PREDICATE_EXTENT

$kw4$OVERLAP

public static final SubLSymbol $kw4$OVERLAP

$kw5$REMOVAL_LOOKUP_POS

public static final SubLSymbol $kw5$REMOVAL_LOOKUP_POS

$list6

public static final SubLList $list6

$kw7$NEG

public static final SubLSymbol $kw7$NEG

$kw8$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw8$GROSSLY_INCOMPLETE

$kw9$INCOMPLETE

public static final SubLSymbol $kw9$INCOMPLETE

$kw10$REMOVAL_LOOKUP_NEG

public static final SubLSymbol $kw10$REMOVAL_LOOKUP_NEG

$list11

public static final SubLList $list11

$sym12$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym12$RELEVANT_MT_IS_EVERYTHING

$const13$EverythingPSC

public static final SubLObject $const13$EverythingPSC

$kw14$REMOVAL_PRED_UNBOUND

public static final SubLSymbol $kw14$REMOVAL_PRED_UNBOUND

$list15

public static final SubLList $list15

$kw16$PRED_UNBOUND_POS

public static final SubLSymbol $kw16$PRED_UNBOUND_POS

$list17

public static final SubLList $list17

$kw18$GROSSLY_DISPREFERRED

public static final SubLSymbol $kw18$GROSSLY_DISPREFERRED

$kw19$DISALLOWED

public static final SubLSymbol $kw19$DISALLOWED

$sym20$INDEXED_TERM_P

public static final SubLSymbol $sym20$INDEXED_TERM_P

$sym21$FORT_P

public static final SubLSymbol $sym21$FORT_P

Method Detail

removal_lookup_pos_cost

public static final SubLObject removal_lookup_pos_cost(SubLObject asent,
                                                       SubLObject sense)

removal_completely_asserted_asentP

public static final SubLObject removal_completely_asserted_asentP(SubLObject asent)

removal_lookup_pos_iterator

public static final SubLObject removal_lookup_pos_iterator(SubLObject asent)

formula_has_indexed_term_arg_p

public static final SubLObject formula_has_indexed_term_arg_p(SubLObject formula,
                                                              SubLObject seqvar_handling)

asent_has_indexed_term_arg_p

public static final SubLObject asent_has_indexed_term_arg_p(SubLObject asent,
                                                            SubLObject seqvar_handling)

declare_removal_modules_lookup_file

public static final SubLObject declare_removal_modules_lookup_file()

init_removal_modules_lookup_file

public static final SubLObject init_removal_modules_lookup_file()

setup_removal_modules_lookup_file

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