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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_genls
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_genls.$removal_genls_between_applicability$UnaryFunction
static class	removal_modules_genls.$removal_superset_expand$BinaryFunction
static class	removal_modules_genls.$removal_superset_expand$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$genls
static SubLObject	$const42$unknownSentence
static SubLObject	$const43$and
static SubLObject	$const44$subsetOf
static SubLObject	$const45$genlsDown
static SubLInteger	$int19$550
static SubLSymbol	$kw1$REMOVAL_BACKCHAIN_REQUIRED_PRUNE
static SubLSymbol	$kw10$GENLS
static SubLSymbol	$kw11$REMOVAL_SUPERSET
static SubLSymbol	$kw13$REMOVAL_NAT_GENLS
static SubLSymbol	$kw15$REMOVAL_ALL_GENLS
static SubLSymbol	$kw17$REMOVAL_NAT_ALL_GENLS
static SubLSymbol	$kw2$GENLS_X_Y_POS
static SubLSymbol	$kw20$REMOVAL_ALL_SPECS
static SubLSymbol	$kw22$MINIMIZE
static SubLSymbol	$kw23$REMOVAL_NOT_SUPERSET
static SubLSymbol	$kw25$REMOVAL_GENLS_BETWEEN
static SubLSymbol	$kw30$COMPLETE
static SubLSymbol	$kw31$INCOMPLETE
static SubLSymbol	$kw37$REMOVAL_GENLS_COLLECTION_SUBSET_FN_POS_CHECK
static SubLSymbol	$kw39$REMOVAL_GENLS_COLLECTION_SUBSET_FN_NEG_CHECK
static SubLSymbol	$kw4$ALL_SPECS_OF_FORT_POS
static SubLSymbol	$kw41$QUERY
static SubLSymbol	$kw46$REMOVAL_GENLS_DOWN_ARG2_BOUND
static SubLSymbol	$kw48$POS
static SubLSymbol	$kw51$TRUE_DEF
static SubLSymbol	$kw54$REMOVAL_GENLS_DOWN_ARG2_UNIFY
static SubLSymbol	$kw6$ALL_SPECS_OF_NON_FORT_POS
static SubLSymbol	$kw8$ALL_GENLS_POS
static SubLList	$list12
static SubLList	$list14
static SubLList	$list16
static SubLList	$list18
static SubLList	$list21
static SubLList	$list24
static SubLList	$list26
static SubLList	$list28
static SubLList	$list3
static SubLList	$list33
static SubLList	$list34
static SubLList	$list35
static SubLList	$list36
static SubLList	$list38
static SubLList	$list40
static SubLList	$list47
static SubLList	$list5
static SubLList	$list53
static SubLList	$list55
static SubLList	$list7
static SubLList	$list9
static SubLSymbol	$sym27$BINARY_CLAUSE_P
static SubLSymbol	$sym29$FORT_P
static SubLSymbol	$sym32$REMOVAL_GENLS_BETWEEN_COMPLETENESS
static SubLSymbol	$sym49$REMOVAL_GENLS_DOWN_ARG2_BOUND_COST
static SubLSymbol	$sym50$REMOVAL_GENLS_DOWN_ARG2_BOUND_COMPLETENESS
static SubLSymbol	$sym52$REMOVAL_GENLS_DOWN_ARG2_BOUND_EXPAND
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_removal_modules_genls_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	find_pos_pred_indices_for_pred_between(SubLObject contextualized_dnf_clause, SubLObject predicate)
static SubLObject	inference_all_genls(SubLObject spec, SubLObject mt, SubLObject tv)
static SubLObject	inference_all_specs(SubLObject genl, SubLObject mt, SubLObject tv)
static SubLObject	inference_genlP(SubLObject spec, SubLObject genl, SubLObject mt, SubLObject tv)
static SubLObject	init_removal_modules_genls_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_all_genls_cost(SubLObject asent, SubLObject sense)
static SubLObject	removal_all_genls_expand(SubLObject asent, SubLObject sense)
static SubLObject	removal_all_specs_cost(SubLObject asent, SubLObject sense)
static SubLObject	removal_all_specs_iterator(SubLObject collection)
static SubLObject	removal_genls_between_applicability(SubLObject contextualized_dnf_clause)
static SubLObject	removal_sbhl_between_applicability(SubLObject contextualized_dnf_clause, SubLObject predicate)
static SubLObject	removal_superset_expand(SubLObject asent, SubLObject sense)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_genls_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$genls

public static final SubLObject $const0$genls

$kw1$REMOVAL_BACKCHAIN_REQUIRED_PRUNE

public static final SubLSymbol $kw1$REMOVAL_BACKCHAIN_REQUIRED_PRUNE

$kw2$GENLS_X_Y_POS

public static final SubLSymbol $kw2$GENLS_X_Y_POS

$list3

public static final SubLList $list3

$kw4$ALL_SPECS_OF_FORT_POS

public static final SubLSymbol $kw4$ALL_SPECS_OF_FORT_POS

$list5

public static final SubLList $list5

$kw6$ALL_SPECS_OF_NON_FORT_POS

public static final SubLSymbol $kw6$ALL_SPECS_OF_NON_FORT_POS

$list7

public static final SubLList $list7

$kw8$ALL_GENLS_POS

public static final SubLSymbol $kw8$ALL_GENLS_POS

$list9

public static final SubLList $list9

$kw10$GENLS

public static final SubLSymbol $kw10$GENLS

$kw11$REMOVAL_SUPERSET

public static final SubLSymbol $kw11$REMOVAL_SUPERSET

$list12

public static final SubLList $list12

$kw13$REMOVAL_NAT_GENLS

public static final SubLSymbol $kw13$REMOVAL_NAT_GENLS

$list14

public static final SubLList $list14

$kw15$REMOVAL_ALL_GENLS

public static final SubLSymbol $kw15$REMOVAL_ALL_GENLS

$list16

public static final SubLList $list16

$kw17$REMOVAL_NAT_ALL_GENLS

public static final SubLSymbol $kw17$REMOVAL_NAT_ALL_GENLS

$list18

public static final SubLList $list18

$int19$550

public static final SubLInteger $int19$550

$kw20$REMOVAL_ALL_SPECS

public static final SubLSymbol $kw20$REMOVAL_ALL_SPECS

$list21

public static final SubLList $list21

$kw22$MINIMIZE

public static final SubLSymbol $kw22$MINIMIZE

$kw23$REMOVAL_NOT_SUPERSET

public static final SubLSymbol $kw23$REMOVAL_NOT_SUPERSET

$list24

public static final SubLList $list24

$kw25$REMOVAL_GENLS_BETWEEN

public static final SubLSymbol $kw25$REMOVAL_GENLS_BETWEEN

$list26

public static final SubLList $list26

$sym27$BINARY_CLAUSE_P

public static final SubLSymbol $sym27$BINARY_CLAUSE_P

$list28

public static final SubLList $list28

$sym29$FORT_P

public static final SubLSymbol $sym29$FORT_P

$kw30$COMPLETE

public static final SubLSymbol $kw30$COMPLETE

$kw31$INCOMPLETE

public static final SubLSymbol $kw31$INCOMPLETE

$sym32$REMOVAL_GENLS_BETWEEN_COMPLETENESS

public static final SubLSymbol $sym32$REMOVAL_GENLS_BETWEEN_COMPLETENESS

$list33

public static final SubLList $list33

$list34

public static final SubLList $list34

$list35

public static final SubLList $list35

$list36

public static final SubLList $list36

$kw37$REMOVAL_GENLS_COLLECTION_SUBSET_FN_POS_CHECK

public static final SubLSymbol $kw37$REMOVAL_GENLS_COLLECTION_SUBSET_FN_POS_CHECK

$list38

public static final SubLList $list38

$kw39$REMOVAL_GENLS_COLLECTION_SUBSET_FN_NEG_CHECK

public static final SubLSymbol $kw39$REMOVAL_GENLS_COLLECTION_SUBSET_FN_NEG_CHECK

$list40

public static final SubLList $list40

$kw41$QUERY

public static final SubLSymbol $kw41$QUERY

$const42$unknownSentence

public static final SubLObject $const42$unknownSentence

$const43$and

public static final SubLObject $const43$and

$const44$subsetOf

public static final SubLObject $const44$subsetOf

$const45$genlsDown

public static final SubLObject $const45$genlsDown

$kw46$REMOVAL_GENLS_DOWN_ARG2_BOUND

public static final SubLSymbol $kw46$REMOVAL_GENLS_DOWN_ARG2_BOUND

$list47

public static final SubLList $list47

$kw48$POS

public static final SubLSymbol $kw48$POS

$sym49$REMOVAL_GENLS_DOWN_ARG2_BOUND_COST

public static final SubLSymbol $sym49$REMOVAL_GENLS_DOWN_ARG2_BOUND_COST

$sym50$REMOVAL_GENLS_DOWN_ARG2_BOUND_COMPLETENESS

public static final SubLSymbol $sym50$REMOVAL_GENLS_DOWN_ARG2_BOUND_COMPLETENESS

$kw51$TRUE_DEF

public static final SubLSymbol $kw51$TRUE_DEF

$sym52$REMOVAL_GENLS_DOWN_ARG2_BOUND_EXPAND

public static final SubLSymbol $sym52$REMOVAL_GENLS_DOWN_ARG2_BOUND_EXPAND

$list53

public static final SubLList $list53

$kw54$REMOVAL_GENLS_DOWN_ARG2_UNIFY

public static final SubLSymbol $kw54$REMOVAL_GENLS_DOWN_ARG2_UNIFY

$list55

public static final SubLList $list55

Method Detail

inference_genlP

public static final SubLObject inference_genlP(SubLObject spec,
                                               SubLObject genl,
                                               SubLObject mt,
                                               SubLObject tv)

inference_all_genls

public static final SubLObject inference_all_genls(SubLObject spec,
                                                   SubLObject mt,
                                                   SubLObject tv)

inference_all_specs

public static final SubLObject inference_all_specs(SubLObject genl,
                                                   SubLObject mt,
                                                   SubLObject tv)

removal_superset_expand

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

removal_all_genls_cost

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

removal_all_genls_expand

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

removal_all_specs_cost

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

removal_all_specs_iterator

public static final SubLObject removal_all_specs_iterator(SubLObject collection)

removal_genls_between_applicability

public static final SubLObject removal_genls_between_applicability(SubLObject contextualized_dnf_clause)

removal_sbhl_between_applicability

public static final SubLObject removal_sbhl_between_applicability(SubLObject contextualized_dnf_clause,
                                                                  SubLObject predicate)

find_pos_pred_indices_for_pred_between

public static final SubLObject find_pos_pred_indices_for_pred_between(SubLObject contextualized_dnf_clause,
                                                                      SubLObject predicate)

declare_removal_modules_genls_file

public static final SubLObject declare_removal_modules_genls_file()

init_removal_modules_genls_file

public static final SubLObject init_removal_modules_genls_file()

setup_removal_modules_genls_file

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