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

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_genlpreds_lookup
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class removal_modules_genlpreds_lookup
extends SubLTranslatedFile


Nested Class Summary
static class removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$BinaryFunction
           
static class removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_cost$UnaryFunction
           
static class removal_modules_genlpreds_lookup.$removal_genlinverse_lookup_pos_iterator$UnaryFunction
           
static class removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$BinaryFunction
           
static class removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_cost$UnaryFunction
           
static class removal_modules_genlpreds_lookup.$removal_genlpreds_lookup_pos_iterator$UnaryFunction
           
static class removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$BinaryFunction
           
static class removal_modules_genlpreds_lookup.$removal_genlpreds_pred_index_pos_cost$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLObject $const14$genlPreds
           
static SubLObject $const45$negationPreds
           
static SubLObject $const50$negationInverse
           
static SubLSymbol $kw0$POS
           
static SubLSymbol $kw1$REMOVAL_GENLPREDS_LOOKUP_POS
           
static SubLSymbol $kw10$GAF_ARG
           
static SubLSymbol $kw15$DEPTH
           
static SubLSymbol $kw16$STACK
           
static SubLSymbol $kw17$QUEUE
           
static SubLSymbol $kw19$ERROR
           
static SubLSymbol $kw22$CERROR
           
static SubLSymbol $kw24$WARN
           
static SubLSymbol $kw29$REMOVAL_GENLPREDS_PRED_INDEX_POS
           
static SubLSymbol $kw3$NEG
           
static SubLSymbol $kw31$REMOVAL_GENLPREDS_PRED_INDEX_NEG
           
static SubLSymbol $kw33$REMOVAL_GENLINVERSE_LOOKUP_POS
           
static SubLSymbol $kw35$REMOVAL_GENLINVERSE_LOOKUP_NEG
           
static SubLSymbol $kw37$REMOVAL_GENLINVERSE_PRED_INDEX_POS
           
static SubLSymbol $kw39$REMOVAL_GENLINVERSE_PRED_INDEX_NEG
           
static SubLSymbol $kw4$GROSSLY_INCOMPLETE
           
static SubLSymbol $kw42$TRUE
           
static SubLSymbol $kw43$REMOVAL_NEGATIONPREDS_LOOKUP
           
static SubLSymbol $kw46$NEGATIONPREDS
           
static SubLSymbol $kw48$REMOVAL_NEGATIONINVERSE_LOOKUP
           
static SubLSymbol $kw5$INCOMPLETE
           
static SubLSymbol $kw6$REMOVAL_GENLPREDS_LOOKUP_NEG
           
static SubLSymbol $kw8$PREDICATE_EXTENT
           
static SubLSymbol $kw9$GAF
           
static SubLList $list13
           
static SubLList $list2
           
static SubLList $list30
           
static SubLList $list32
           
static SubLList $list34
           
static SubLList $list36
           
static SubLList $list38
           
static SubLList $list40
           
static SubLList $list44
           
static SubLList $list49
           
static SubLList $list7
           
static SubLString $str20$_A_is_not_a__A
           
static SubLString $str23$continue_anyway
           
static SubLString $str25$_A_is_not_a_valid__sbhl_type_erro
           
static SubLString $str26$attempting_to_bind_direction_link
           
static SubLString $str27$Node__a_does_not_pass_sbhl_type_t
           
static SubLSymbol $sym11$_UNKNOWN_EL_VARIABLE_
           
static SubLSymbol $sym12$_UNKNOWN
           
static SubLSymbol $sym18$RELEVANT_SBHL_TV_IS_GENERAL_TV
           
static SubLSymbol $sym21$SBHL_TRUE_TV_P
           
static SubLSymbol $sym28$INDEXED_TERM_P
           
static SubLSymbol $sym41$INFERENCE_NEGATION_PREDICATE_
           
static SubLSymbol $sym47$INFERENCE_NEGATION_INVERSE_
           
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 best_genlinverse_gaf_lookup_index(SubLObject asent, SubLObject sense)
           
static SubLObject best_genlpreds_gaf_lookup_index(SubLObject asent, SubLObject sense)
           
static SubLObject declare_removal_modules_genlpreds_lookup_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_removal_modules_genlpreds_lookup_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject num_best_genlinverse_gaf_lookup_index(SubLObject asent, SubLObject sense)
           
static SubLObject num_best_genlpreds_gaf_lookup_index(SubLObject asent, SubLObject sense)
           
static SubLObject num_best_genlpreds_or_inverse_gaf_lookup_index(SubLObject asent, SubLObject sense, SubLObject inverse_modeP)
           
static SubLObject obfuscate_predicate(SubLObject asent)
           
static SubLObject removal_genlinverse_lookup_iterator(SubLObject asent, SubLObject sense)
           
static SubLObject removal_genlinverse_lookup_pos_cost(SubLObject asent, SubLObject sense)
           
static SubLObject removal_genlinverse_lookup_pos_iterator(SubLObject asent)
           
static SubLObject removal_genlpreds_gaf_iterator_internal(SubLObject assertion)
           
static SubLObject removal_genlpreds_lookup_iterator(SubLObject asent, SubLObject sense)
           
static SubLObject removal_genlpreds_lookup_pos_cost(SubLObject asent, SubLObject sense)
           
static SubLObject removal_genlpreds_lookup_pos_iterator(SubLObject asent)
           
static SubLObject removal_genlpreds_lookup_supports(SubLObject asent, SubLObject assertion, SubLObject sense)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_removal_modules_genlpreds_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$REMOVAL_GENLPREDS_LOOKUP_POS

public static final SubLSymbol $kw1$REMOVAL_GENLPREDS_LOOKUP_POS

$list2

public static final SubLList $list2

$kw3$NEG

public static final SubLSymbol $kw3$NEG

$kw4$GROSSLY_INCOMPLETE

public static final SubLSymbol $kw4$GROSSLY_INCOMPLETE

$kw5$INCOMPLETE

public static final SubLSymbol $kw5$INCOMPLETE

$kw6$REMOVAL_GENLPREDS_LOOKUP_NEG

public static final SubLSymbol $kw6$REMOVAL_GENLPREDS_LOOKUP_NEG

$list7

public static final SubLList $list7

$kw8$PREDICATE_EXTENT

public static final SubLSymbol $kw8$PREDICATE_EXTENT

$kw9$GAF

public static final SubLSymbol $kw9$GAF

$kw10$GAF_ARG

public static final SubLSymbol $kw10$GAF_ARG

$sym11$_UNKNOWN_EL_VARIABLE_

public static final SubLSymbol $sym11$_UNKNOWN_EL_VARIABLE_

$sym12$_UNKNOWN

public static final SubLSymbol $sym12$_UNKNOWN

$list13

public static final SubLList $list13

$const14$genlPreds

public static final SubLObject $const14$genlPreds

$kw15$DEPTH

public static final SubLSymbol $kw15$DEPTH

$kw16$STACK

public static final SubLSymbol $kw16$STACK

$kw17$QUEUE

public static final SubLSymbol $kw17$QUEUE

$sym18$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym18$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw19$ERROR

public static final SubLSymbol $kw19$ERROR

$str20$_A_is_not_a__A

public static final SubLString $str20$_A_is_not_a__A

$sym21$SBHL_TRUE_TV_P

public static final SubLSymbol $sym21$SBHL_TRUE_TV_P

$kw22$CERROR

public static final SubLSymbol $kw22$CERROR

$str23$continue_anyway

public static final SubLString $str23$continue_anyway

$kw24$WARN

public static final SubLSymbol $kw24$WARN

$str25$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str25$_A_is_not_a_valid__sbhl_type_erro

$str26$attempting_to_bind_direction_link

public static final SubLString $str26$attempting_to_bind_direction_link

$str27$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str27$Node__a_does_not_pass_sbhl_type_t

$sym28$INDEXED_TERM_P

public static final SubLSymbol $sym28$INDEXED_TERM_P

$kw29$REMOVAL_GENLPREDS_PRED_INDEX_POS

public static final SubLSymbol $kw29$REMOVAL_GENLPREDS_PRED_INDEX_POS

$list30

public static final SubLList $list30

$kw31$REMOVAL_GENLPREDS_PRED_INDEX_NEG

public static final SubLSymbol $kw31$REMOVAL_GENLPREDS_PRED_INDEX_NEG

$list32

public static final SubLList $list32

$kw33$REMOVAL_GENLINVERSE_LOOKUP_POS

public static final SubLSymbol $kw33$REMOVAL_GENLINVERSE_LOOKUP_POS

$list34

public static final SubLList $list34

$kw35$REMOVAL_GENLINVERSE_LOOKUP_NEG

public static final SubLSymbol $kw35$REMOVAL_GENLINVERSE_LOOKUP_NEG

$list36

public static final SubLList $list36

$kw37$REMOVAL_GENLINVERSE_PRED_INDEX_POS

public static final SubLSymbol $kw37$REMOVAL_GENLINVERSE_PRED_INDEX_POS

$list38

public static final SubLList $list38

$kw39$REMOVAL_GENLINVERSE_PRED_INDEX_NEG

public static final SubLSymbol $kw39$REMOVAL_GENLINVERSE_PRED_INDEX_NEG

$list40

public static final SubLList $list40

$sym41$INFERENCE_NEGATION_PREDICATE_

public static final SubLSymbol $sym41$INFERENCE_NEGATION_PREDICATE_

$kw42$TRUE

public static final SubLSymbol $kw42$TRUE

$kw43$REMOVAL_NEGATIONPREDS_LOOKUP

public static final SubLSymbol $kw43$REMOVAL_NEGATIONPREDS_LOOKUP

$list44

public static final SubLList $list44

$const45$negationPreds

public static final SubLObject $const45$negationPreds

$kw46$NEGATIONPREDS

public static final SubLSymbol $kw46$NEGATIONPREDS

$sym47$INFERENCE_NEGATION_INVERSE_

public static final SubLSymbol $sym47$INFERENCE_NEGATION_INVERSE_

$kw48$REMOVAL_NEGATIONINVERSE_LOOKUP

public static final SubLSymbol $kw48$REMOVAL_NEGATIONINVERSE_LOOKUP

$list49

public static final SubLList $list49

$const50$negationInverse

public static final SubLObject $const50$negationInverse
Method Detail

removal_genlpreds_lookup_pos_cost

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

removal_genlpreds_lookup_pos_iterator

public static final SubLObject removal_genlpreds_lookup_pos_iterator(SubLObject asent)

removal_genlpreds_lookup_iterator

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

obfuscate_predicate

public static final SubLObject obfuscate_predicate(SubLObject asent)

best_genlpreds_gaf_lookup_index

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

num_best_genlpreds_gaf_lookup_index

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

num_best_genlpreds_or_inverse_gaf_lookup_index

public static final SubLObject num_best_genlpreds_or_inverse_gaf_lookup_index(SubLObject asent,
                                                                              SubLObject sense,
                                                                              SubLObject inverse_modeP)

removal_genlpreds_gaf_iterator_internal

public static final SubLObject removal_genlpreds_gaf_iterator_internal(SubLObject assertion)

removal_genlpreds_lookup_supports

public static final SubLObject removal_genlpreds_lookup_supports(SubLObject asent,
                                                                 SubLObject assertion,
                                                                 SubLObject sense)

removal_genlinverse_lookup_pos_cost

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

removal_genlinverse_lookup_pos_iterator

public static final SubLObject removal_genlinverse_lookup_pos_iterator(SubLObject asent)

removal_genlinverse_lookup_iterator

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

best_genlinverse_gaf_lookup_index

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

num_best_genlinverse_gaf_lookup_index

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

declare_removal_modules_genlpreds_lookup_file

public static final SubLObject declare_removal_modules_genlpreds_lookup_file()

init_removal_modules_genlpreds_lookup_file

public static final SubLObject init_removal_modules_genlpreds_lookup_file()

setup_removal_modules_genlpreds_lookup_file

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