com.cyc.cycjava.cycl.inference.harness
Class removal_module_utilities

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.harness.removal_module_utilities

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_module_utilities
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$isa
static SubLObject	$const2$genlInverse
static SubLObject	$const4$genlPreds
static SubLSymbol	$kw1$ISA
static SubLSymbol	$kw23$POS
static SubLSymbol	$kw25$NEG
static SubLSymbol	$kw27$NEW_TERMS_ALLOWED_
static SubLSymbol	$kw3$GENLPREDS
static SubLSymbol	$kw5$CODE
static SubLSymbol	$kw7$TRUE_MON
static SubLList	$list21
static SubLList	$list28
static SubLList	$list29
static SubLList	$list30
static SubLList	$list31
static SubLList	$list32
static SubLList	$list6
static SubLString	$str10$___Removal_Modules_______________
static SubLString	$str11$___Meta_Removal_Modules__________
static SubLString	$str12$___Conjunctive_Removal_Modules___
static SubLString	$str13$___Transformation_Modules________
static SubLString	$str14$___Meta_Transformation_Modules___
static SubLString	$str15$___Structural_Modules____________
static SubLString	$str16$___Meta_Structural_Modules_______
static SubLString	$str17$___Forward_Modules_______________
static SubLString	$str18$___Storage_Modules_______________
static SubLString	$str19$___Evaluatable_Predicates________
static SubLString	$str20$___Evaluatable_Functions_________
static SubLString	$str24$pos
static SubLString	$str26$neg
static SubLString	$str8$______System__a_HL_module_statist
static SubLString	$str9$__HL_Modules_____________________
static SubLSymbol	$sym22$EMPTY_STRING_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	additional_isa_support(SubLObject object, SubLObject collection)
static SubLObject	additional_isa_supports(SubLObject object, SubLObject collection)
static SubLObject	answer_to_singleton(SubLObject answer) Return a singleton answer list with ANSWER as the sole item.
static SubLObject	current_query_allows_new_termsP()
static SubLObject	declare_removal_module_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_module_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	make_genl_preds_support(SubLObject spec_pred, SubLObject genl_pred)
static SubLObject	non_null_answer_to_singleton(SubLObject answer) If ANSWER is non-nil, return a singleton answer list with ANSWER as the sole item.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_module_utilities_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$isa

public static final SubLObject $const0$isa

$kw1$ISA

public static final SubLSymbol $kw1$ISA

$const2$genlInverse

public static final SubLObject $const2$genlInverse

$kw3$GENLPREDS

public static final SubLSymbol $kw3$GENLPREDS

$const4$genlPreds

public static final SubLObject $const4$genlPreds

$kw5$CODE

public static final SubLSymbol $kw5$CODE

$list6

public static final SubLList $list6

$kw7$TRUE_MON

public static final SubLSymbol $kw7$TRUE_MON

$str8$______System__a_HL_module_statist

public static final SubLString $str8$______System__a_HL_module_statist

$str9$__HL_Modules_____________________

public static final SubLString $str9$__HL_Modules_____________________

$str10$___Removal_Modules_______________

public static final SubLString $str10$___Removal_Modules_______________

$str11$___Meta_Removal_Modules__________

public static final SubLString $str11$___Meta_Removal_Modules__________

$str12$___Conjunctive_Removal_Modules___

public static final SubLString $str12$___Conjunctive_Removal_Modules___

$str13$___Transformation_Modules________

public static final SubLString $str13$___Transformation_Modules________

$str14$___Meta_Transformation_Modules___

public static final SubLString $str14$___Meta_Transformation_Modules___

$str15$___Structural_Modules____________

public static final SubLString $str15$___Structural_Modules____________

$str16$___Meta_Structural_Modules_______

public static final SubLString $str16$___Meta_Structural_Modules_______

$str17$___Forward_Modules_______________

public static final SubLString $str17$___Forward_Modules_______________

$str18$___Storage_Modules_______________

public static final SubLString $str18$___Storage_Modules_______________

$str19$___Evaluatable_Predicates________

public static final SubLString $str19$___Evaluatable_Predicates________

$str20$___Evaluatable_Functions_________

public static final SubLString $str20$___Evaluatable_Functions_________

$list21

public static final SubLList $list21

$sym22$EMPTY_STRING_P

public static final SubLSymbol $sym22$EMPTY_STRING_P

$kw23$POS

public static final SubLSymbol $kw23$POS

$str24$pos

public static final SubLString $str24$pos

$kw25$NEG

public static final SubLSymbol $kw25$NEG

$str26$neg

public static final SubLString $str26$neg

$kw27$NEW_TERMS_ALLOWED_

public static final SubLSymbol $kw27$NEW_TERMS_ALLOWED_

$list28

public static final SubLList $list28

$list29

public static final SubLList $list29

$list30

public static final SubLList $list30

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

Method Detail

answer_to_singleton

public static final SubLObject answer_to_singleton(SubLObject answer)

Return a singleton answer list with ANSWER as the sole item.

non_null_answer_to_singleton

public static final SubLObject non_null_answer_to_singleton(SubLObject answer)

If ANSWER is non-nil, return a singleton answer list with ANSWER as the sole item. Otherwise, return an empty answer list.

additional_isa_support

public static final SubLObject additional_isa_support(SubLObject object,
                                                      SubLObject collection)

additional_isa_supports

public static final SubLObject additional_isa_supports(SubLObject object,
                                                       SubLObject collection)

make_genl_preds_support

public static final SubLObject make_genl_preds_support(SubLObject spec_pred,
                                                       SubLObject genl_pred)

current_query_allows_new_termsP

public static final SubLObject current_query_allows_new_termsP()

declare_removal_module_utilities_file

public static final SubLObject declare_removal_module_utilities_file()

init_removal_module_utilities_file

public static final SubLObject init_removal_module_utilities_file()

setup_removal_module_utilities_file

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