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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_relation_all_instance
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$BinaryFunction
static class	removal_modules_relation_all_instance.$removal_relation_all_instance_iterate_required$UnaryFunction
static class	removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$BinaryFunction
static class	removal_modules_relation_all_instance.$removal_relation_all_instance_unify_required$UnaryFunction
static class	removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$BinaryFunction
static class	removal_modules_relation_all_instance.$removal_relation_instance_all_iterate_required$UnaryFunction
static class	removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$BinaryFunction
static class	removal_modules_relation_all_instance.$removal_relation_instance_all_unify_required$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$relationAllInstance
static SubLObject	$const12$isa
static SubLObject	$const3$BaseKB
static SubLObject	$const32$relationInstanceAll
static SubLFloat	$float6$1_5
static SubLSymbol	$kw11$ISA
static SubLSymbol	$kw13$REMOVAL_RELATION_ALL_INSTANCE_UNIFY
static SubLSymbol	$kw16$BREADTH
static SubLSymbol	$kw17$QUEUE
static SubLSymbol	$kw18$STACK
static SubLSymbol	$kw20$ERROR
static SubLSymbol	$kw23$CERROR
static SubLSymbol	$kw25$WARN
static SubLSymbol	$kw30$REMOVAL_RELATION_ALL_INSTANCE_ITERATE
static SubLSymbol	$kw35$REMOVAL_RELATION_INSTANCE_ALL_CHECK
static SubLSymbol	$kw37$REMOVAL_RELATION_INSTANCE_ALL_UNIFY
static SubLSymbol	$kw39$REMOVAL_RELATION_INSTANCE_ALL_ITERATE
static SubLSymbol	$kw4$CODE
static SubLSymbol	$kw5$TRUE_MON
static SubLSymbol	$kw7$GAF
static SubLSymbol	$kw8$TRUE
static SubLSymbol	$kw9$REMOVAL_RELATION_ALL_INSTANCE_CHECK
static SubLList	$list1
static SubLList	$list10
static SubLList	$list14
static SubLList	$list15
static SubLList	$list28
static SubLList	$list31
static SubLList	$list33
static SubLList	$list36
static SubLList	$list38
static SubLList	$list40
static SubLSymbol	$relation_all_instance_defining_mt$
static SubLSymbol	$relation_instance_all_defining_mt$
static SubLString	$str21$_A_is_not_a__A
static SubLString	$str24$continue_anyway
static SubLString	$str26$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str27$attempting_to_bind_direction_link
static SubLString	$str29$Node__a_does_not_pass_sbhl_type_t
static SubLSymbol	$sym19$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym2$_RELATION_ALL_INSTANCE_DEFINING_MT_
static SubLSymbol	$sym22$SBHL_TRUE_TV_P
static SubLSymbol	$sym34$_RELATION_INSTANCE_ALL_DEFINING_MT_
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_relation_all_instance_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_modules_relation_all_instance_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_relation_all_instance_check_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_relation_all_instance_iterate_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_relation_all_instance_required(SubLObject asent)
static SubLObject	removal_relation_all_instance_unify_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_relation_instance_all_check_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_relation_instance_all_iterate_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_relation_instance_all_required(SubLObject asent)
static SubLObject	removal_relation_instance_all_unify_required(SubLObject asent, SubLObject sense)
static SubLObject	removal_some_relation_all_instance_for_predicate(SubLObject predicate, SubLObject mt)
static SubLObject	removal_some_relation_instance_all_for_predicate(SubLObject predicate, SubLObject mt)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_relation_all_instance_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

$relation_all_instance_defining_mt$

public static SubLSymbol $relation_all_instance_defining_mt$

$relation_instance_all_defining_mt$

public static SubLSymbol $relation_instance_all_defining_mt$

$const0$relationAllInstance

public static final SubLObject $const0$relationAllInstance

$list1

public static final SubLList $list1

$sym2$_RELATION_ALL_INSTANCE_DEFINING_MT_

public static final SubLSymbol $sym2$_RELATION_ALL_INSTANCE_DEFINING_MT_

$const3$BaseKB

public static final SubLObject $const3$BaseKB

$kw4$CODE

public static final SubLSymbol $kw4$CODE

$kw5$TRUE_MON

public static final SubLSymbol $kw5$TRUE_MON

$float6$1_5

public static final SubLFloat $float6$1_5

$kw7$GAF

public static final SubLSymbol $kw7$GAF

$kw8$TRUE

public static final SubLSymbol $kw8$TRUE

$kw9$REMOVAL_RELATION_ALL_INSTANCE_CHECK

public static final SubLSymbol $kw9$REMOVAL_RELATION_ALL_INSTANCE_CHECK

$list10

public static final SubLList $list10

$kw11$ISA

public static final SubLSymbol $kw11$ISA

$const12$isa

public static final SubLObject $const12$isa

$kw13$REMOVAL_RELATION_ALL_INSTANCE_UNIFY

public static final SubLSymbol $kw13$REMOVAL_RELATION_ALL_INSTANCE_UNIFY

$list14

public static final SubLList $list14

$list15

public static final SubLList $list15

$kw16$BREADTH

public static final SubLSymbol $kw16$BREADTH

$kw17$QUEUE

public static final SubLSymbol $kw17$QUEUE

$kw18$STACK

public static final SubLSymbol $kw18$STACK

$sym19$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym19$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw20$ERROR

public static final SubLSymbol $kw20$ERROR

$str21$_A_is_not_a__A

public static final SubLString $str21$_A_is_not_a__A

$sym22$SBHL_TRUE_TV_P

public static final SubLSymbol $sym22$SBHL_TRUE_TV_P

$kw23$CERROR

public static final SubLSymbol $kw23$CERROR

$str24$continue_anyway

public static final SubLString $str24$continue_anyway

$kw25$WARN

public static final SubLSymbol $kw25$WARN

$str26$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str26$_A_is_not_a_valid__sbhl_type_erro

$str27$attempting_to_bind_direction_link

public static final SubLString $str27$attempting_to_bind_direction_link

$list28

public static final SubLList $list28

$str29$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str29$Node__a_does_not_pass_sbhl_type_t

$kw30$REMOVAL_RELATION_ALL_INSTANCE_ITERATE

public static final SubLSymbol $kw30$REMOVAL_RELATION_ALL_INSTANCE_ITERATE

$list31

public static final SubLList $list31

$const32$relationInstanceAll

public static final SubLObject $const32$relationInstanceAll

$list33

public static final SubLList $list33

$sym34$_RELATION_INSTANCE_ALL_DEFINING_MT_

public static final SubLSymbol $sym34$_RELATION_INSTANCE_ALL_DEFINING_MT_

$kw35$REMOVAL_RELATION_INSTANCE_ALL_CHECK

public static final SubLSymbol $kw35$REMOVAL_RELATION_INSTANCE_ALL_CHECK

$list36

public static final SubLList $list36

$kw37$REMOVAL_RELATION_INSTANCE_ALL_UNIFY

public static final SubLSymbol $kw37$REMOVAL_RELATION_INSTANCE_ALL_UNIFY

$list38

public static final SubLList $list38

$kw39$REMOVAL_RELATION_INSTANCE_ALL_ITERATE

public static final SubLSymbol $kw39$REMOVAL_RELATION_INSTANCE_ALL_ITERATE

$list40

public static final SubLList $list40

Method Detail

removal_some_relation_all_instance_for_predicate

public static final SubLObject removal_some_relation_all_instance_for_predicate(SubLObject predicate,
                                                                                SubLObject mt)

removal_relation_all_instance_required

public static final SubLObject removal_relation_all_instance_required(SubLObject asent)

removal_relation_all_instance_check_required

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

removal_relation_all_instance_unify_required

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

removal_relation_all_instance_iterate_required

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

removal_some_relation_instance_all_for_predicate

public static final SubLObject removal_some_relation_instance_all_for_predicate(SubLObject predicate,
                                                                                SubLObject mt)

removal_relation_instance_all_required

public static final SubLObject removal_relation_instance_all_required(SubLObject asent)

removal_relation_instance_all_check_required

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

removal_relation_instance_all_unify_required

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

removal_relation_instance_all_iterate_required

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

declare_removal_modules_relation_all_instance_file

public static final SubLObject declare_removal_modules_relation_all_instance_file()

init_removal_modules_relation_all_instance_file

public static final SubLObject init_removal_modules_relation_all_instance_file()

setup_removal_modules_relation_all_instance_file

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