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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_transitivity
extends SubLTranslatedFile

Nested Class Summary

static class	removal_modules_transitivity.$gt_required_arg_type_p$UnaryFunction
static class	removal_modules_transitivity.$removal_transitive_arg1_walk_cost$BinaryFunction
static class	removal_modules_transitivity.$removal_transitive_arg1_walk_cost$UnaryFunction
static class	removal_modules_transitivity.$removal_transitive_arg1_walk_iterator$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const2$isa
static SubLObject	$const20$genls
static SubLObject	$const3$TransitiveBinaryPredicate
static SubLObject	$const8$genlPreds
static SubLSymbol	$kw0$TRUE_DEF
static SubLSymbol	$kw1$ISA
static SubLSymbol	$kw10$STACK
static SubLSymbol	$kw11$QUEUE
static SubLSymbol	$kw13$ERROR
static SubLSymbol	$kw16$CERROR
static SubLSymbol	$kw18$WARN
static SubLSymbol	$kw23$FORWARD
static SubLSymbol	$kw24$REMOVAL_TRANSITIVE_ARG2_WALK
static SubLSymbol	$kw26$BACKWARD
static SubLSymbol	$kw4$REMOVAL_TRANSITIVE_CHECK
static SubLSymbol	$kw6$REMOVAL_TRANSITIVE_ARG1_WALK
static SubLSymbol	$kw9$DEPTH
static SubLList	$list25
static SubLList	$list5
static SubLList	$list7
static SubLString	$str14$_A_is_not_a__A
static SubLString	$str17$continue_anyway
static SubLString	$str19$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str21$attempting_to_bind_direction_link
static SubLString	$str22$Node__a_does_not_pass_sbhl_type_t
static SubLSymbol	$sym12$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym15$SBHL_TRUE_TV_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_transitivity_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	gt_required_arg_type_p(SubLObject object)
static SubLObject	inference_transitivity_check_strict(SubLObject predicate, SubLObject arg1, SubLObject arg2, SubLObject mt, SubLObject tv) Like @xref INFERENCE-TRANSITIVITY-CHECK but requires at least one actual transitive step.
static SubLObject	inference_transitivity_justify(SubLObject predicate, SubLObject arg1, SubLObject arg2, SubLObject mt, SubLObject tv)
static SubLObject	init_removal_modules_transitivity_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	make_transitivity_support(SubLObject predicate, SubLObject mt, SubLObject tv)
static SubLObject	removal_transitive_arg1_walk_cost(SubLObject asent, SubLObject sense)
static SubLObject	removal_transitive_arg1_walk_iterator(SubLObject predicate, SubLObject arg1)
static SubLObject	removal_transitive_arg2_walk_cost(SubLObject asent, SubLObject sense)
static SubLObject	removal_transitive_arg2_walk_iterator(SubLObject predicate, SubLObject arg2)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_transitivity_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$TRUE_DEF

public static final SubLSymbol $kw0$TRUE_DEF

$kw1$ISA

public static final SubLSymbol $kw1$ISA

$const2$isa

public static final SubLObject $const2$isa

$const3$TransitiveBinaryPredicate

public static final SubLObject $const3$TransitiveBinaryPredicate

$kw4$REMOVAL_TRANSITIVE_CHECK

public static final SubLSymbol $kw4$REMOVAL_TRANSITIVE_CHECK

$list5

public static final SubLList $list5

$kw6$REMOVAL_TRANSITIVE_ARG1_WALK

public static final SubLSymbol $kw6$REMOVAL_TRANSITIVE_ARG1_WALK

$list7

public static final SubLList $list7

$const8$genlPreds

public static final SubLObject $const8$genlPreds

$kw9$DEPTH

public static final SubLSymbol $kw9$DEPTH

$kw10$STACK

public static final SubLSymbol $kw10$STACK

$kw11$QUEUE

public static final SubLSymbol $kw11$QUEUE

$sym12$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym12$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw13$ERROR

public static final SubLSymbol $kw13$ERROR

$str14$_A_is_not_a__A

public static final SubLString $str14$_A_is_not_a__A

$sym15$SBHL_TRUE_TV_P

public static final SubLSymbol $sym15$SBHL_TRUE_TV_P

$kw16$CERROR

public static final SubLSymbol $kw16$CERROR

$str17$continue_anyway

public static final SubLString $str17$continue_anyway

$kw18$WARN

public static final SubLSymbol $kw18$WARN

$str19$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str19$_A_is_not_a_valid__sbhl_type_erro

$const20$genls

public static final SubLObject $const20$genls

$str21$attempting_to_bind_direction_link

public static final SubLString $str21$attempting_to_bind_direction_link

$str22$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str22$Node__a_does_not_pass_sbhl_type_t

$kw23$FORWARD

public static final SubLSymbol $kw23$FORWARD

$kw24$REMOVAL_TRANSITIVE_ARG2_WALK

public static final SubLSymbol $kw24$REMOVAL_TRANSITIVE_ARG2_WALK

$list25

public static final SubLList $list25

$kw26$BACKWARD

public static final SubLSymbol $kw26$BACKWARD

Method Detail

make_transitivity_support

public static final SubLObject make_transitivity_support(SubLObject predicate,
                                                         SubLObject mt,
                                                         SubLObject tv)

gt_required_arg_type_p

public static final SubLObject gt_required_arg_type_p(SubLObject object)

inference_transitivity_check_strict

public static final SubLObject inference_transitivity_check_strict(SubLObject predicate,
                                                                   SubLObject arg1,
                                                                   SubLObject arg2,
                                                                   SubLObject mt,
                                                                   SubLObject tv)

Like @xref INFERENCE-TRANSITIVITY-CHECK but requires at least one actual transitive step.

inference_transitivity_justify

public static final SubLObject inference_transitivity_justify(SubLObject predicate,
                                                              SubLObject arg1,
                                                              SubLObject arg2,
                                                              SubLObject mt,
                                                              SubLObject tv)

removal_transitive_arg1_walk_cost

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

removal_transitive_arg1_walk_iterator

public static final SubLObject removal_transitive_arg1_walk_iterator(SubLObject predicate,
                                                                     SubLObject arg1)

removal_transitive_arg2_walk_cost

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

removal_transitive_arg2_walk_iterator

public static final SubLObject removal_transitive_arg2_walk_iterator(SubLObject predicate,
                                                                     SubLObject arg2)

declare_removal_modules_transitivity_file

public static final SubLObject declare_removal_modules_transitivity_file()

init_removal_modules_transitivity_file

public static final SubLObject init_removal_modules_transitivity_file()

setup_removal_modules_transitivity_file

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