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

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_abduction
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class removal_modules_abduction
extends SubLTranslatedFile


Nested Class Summary
static class removal_modules_abduction.$removal_abduction_allowedP$BinaryFunction
           
static class removal_modules_abduction.$removal_abduction_allowedP$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $abduce_subcollection_denoting_termsP$
           
static SubLSymbol $abduction_term_isg$
          The id uniqueifer for abduced terms.
static SubLObject $const11$Individual
           
static SubLObject $const7$SubcollectionOfWithRelationToFn
           
static SubLObject $const8$SubcollectionOfWithRelationFromFn
           
static SubLObject $const9$AbducedTermFn
           
static SubLSymbol $kw1$NOT
           
static SubLSymbol $kw14$POS
           
static SubLSymbol $kw15$ABDUCTION
           
static SubLSymbol $kw16$TRUE_DEF
           
static SubLSymbol $kw17$REMOVAL_ABDUCTION_POS_CHECK
           
static SubLSymbol $kw2$AND
           
static SubLSymbol $kw20$REMOVAL_ABDUCTION_POS_UNIFY
           
static SubLSymbol $kw22$REMOVAL_EXCLUSIVE_ABDUCTION_POS
           
static SubLSymbol $kw24$REMOVAL_ABDUCTION_NEG_CHECK
           
static SubLList $list0
           
static SubLList $list18
           
static SubLList $list21
           
static SubLList $list23
           
static SubLList $list25
           
static SubLList $list5
           
static SubLString $str12$no_isa_constraints_for_abduced_ty
           
static SubLSymbol $sym10$NON_ABDUCIBLE_COLLECTION_
           
static SubLSymbol $sym13$GENERALITY_ESTIMATE_
           
static SubLSymbol $sym19$ABDUCED_TERM_P
           
static SubLSymbol $sym3$_ABDUCTION_TERM_ISG_
           
static SubLSymbol $sym4$PROBLEM_STORE_P
           
static SubLSymbol $sym6$VARIABLE_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 declare_removal_modules_abduction_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_removal_modules_abduction_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject removal_abduction_allowedP(SubLObject asent, SubLObject sense)
           
static SubLObject removal_abduction_pos_required(SubLObject asent, SubLObject sense)
           
static SubLObject removal_abduction_required(SubLObject asent, SubLObject sense)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_removal_modules_abduction_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

$abduction_term_isg$

public static SubLSymbol $abduction_term_isg$
The id uniqueifer for abduced terms.


$abduce_subcollection_denoting_termsP$

public static SubLSymbol $abduce_subcollection_denoting_termsP$

$list0

public static final SubLList $list0

$kw1$NOT

public static final SubLSymbol $kw1$NOT

$kw2$AND

public static final SubLSymbol $kw2$AND

$sym3$_ABDUCTION_TERM_ISG_

public static final SubLSymbol $sym3$_ABDUCTION_TERM_ISG_

$sym4$PROBLEM_STORE_P

public static final SubLSymbol $sym4$PROBLEM_STORE_P

$list5

public static final SubLList $list5

$sym6$VARIABLE_P

public static final SubLSymbol $sym6$VARIABLE_P

$const7$SubcollectionOfWithRelationToFn

public static final SubLObject $const7$SubcollectionOfWithRelationToFn

$const8$SubcollectionOfWithRelationFromFn

public static final SubLObject $const8$SubcollectionOfWithRelationFromFn

$const9$AbducedTermFn

public static final SubLObject $const9$AbducedTermFn

$sym10$NON_ABDUCIBLE_COLLECTION_

public static final SubLSymbol $sym10$NON_ABDUCIBLE_COLLECTION_

$const11$Individual

public static final SubLObject $const11$Individual

$str12$no_isa_constraints_for_abduced_ty

public static final SubLString $str12$no_isa_constraints_for_abduced_ty

$sym13$GENERALITY_ESTIMATE_

public static final SubLSymbol $sym13$GENERALITY_ESTIMATE_

$kw14$POS

public static final SubLSymbol $kw14$POS

$kw15$ABDUCTION

public static final SubLSymbol $kw15$ABDUCTION

$kw16$TRUE_DEF

public static final SubLSymbol $kw16$TRUE_DEF

$kw17$REMOVAL_ABDUCTION_POS_CHECK

public static final SubLSymbol $kw17$REMOVAL_ABDUCTION_POS_CHECK

$list18

public static final SubLList $list18

$sym19$ABDUCED_TERM_P

public static final SubLSymbol $sym19$ABDUCED_TERM_P

$kw20$REMOVAL_ABDUCTION_POS_UNIFY

public static final SubLSymbol $kw20$REMOVAL_ABDUCTION_POS_UNIFY

$list21

public static final SubLList $list21

$kw22$REMOVAL_EXCLUSIVE_ABDUCTION_POS

public static final SubLSymbol $kw22$REMOVAL_EXCLUSIVE_ABDUCTION_POS

$list23

public static final SubLList $list23

$kw24$REMOVAL_ABDUCTION_NEG_CHECK

public static final SubLSymbol $kw24$REMOVAL_ABDUCTION_NEG_CHECK

$list25

public static final SubLList $list25
Method Detail

removal_abduction_required

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

removal_abduction_allowedP

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

removal_abduction_pos_required

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

declare_removal_modules_abduction_file

public static final SubLObject declare_removal_modules_abduction_file()

init_removal_modules_abduction_file

public static final SubLObject init_removal_modules_abduction_file()

setup_removal_modules_abduction_file

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