com.cyc.cycjava.cycl.sbhl
Class sbhl_search_implied_relations

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.sbhl.sbhl_search_implied_relations

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_search_implied_relations
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$genls
static SubLObject	$const24$negationInverse
static SubLObject	$const9$True_JustificationTruth
static SubLSymbol	$kw10$OLD
static SubLSymbol	$kw11$RESOURCE
static SubLSymbol	$kw13$ERROR
static SubLSymbol	$kw16$CERROR
static SubLSymbol	$kw18$WARN
static SubLSymbol	$kw22$BOOLEAN
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	$str20$attempting_to_bind_direction_link
static SubLString	$str21$Method_only_valid_for_simple_and_
static SubLString	$str27$Method_only_valid_for_disjoins_mo
static SubLString	$str28$Boolean_methods_using_ALL_are_cur
static SubLSymbol	$sym0$SBHL_MODULE_P
static SubLSymbol	$sym12$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym15$SBHL_TRUE_TV_P
static SubLSymbol	$sym2$ALL_SDC
static SubLSymbol	$sym23$SBHL_NODE_IS_GOAL_NODE
static SubLSymbol	$sym25$SBHL_NODE_MARKED_AS_GOAL_NODE
static SubLSymbol	$sym26$SBHL_PREDICATE_RELATION_P
static SubLSymbol	$sym29$SBHL_IMPLIED_FALSE_PREDICATE_RELATION_P
static SubLSymbol	$sym3$MAX_SDC
static SubLSymbol	$sym30$SBHL_IMPLIED_FALSE_INVERSE_RELATION_P
static SubLSymbol	$sym31$SBHL_IMPLIED_DISJOINS_RELATION_P
static SubLSymbol	$sym4$SDC_
static SubLSymbol	$sym5$ANY_SDC_WRT_
static SubLSymbol	$sym6$ANY_SDC_ANY_
static SubLSymbol	$sym7$WHY_SDC_
static SubLSymbol	$sym8$SBHL_GATHER_ALL_DISJOINS
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_sbhl_search_implied_relations_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_sbhl_sibling_disjoint_any_boolean_fn(SubLObject module)
static SubLObject	get_sbhl_sibling_disjoint_boolean_fn(SubLObject module)
static SubLObject	get_sbhl_sibling_disjoint_closure_fn(SubLObject module)
static SubLObject	get_sbhl_sibling_disjoint_max_nodes_fn(SubLObject module)
static SubLObject	init_sbhl_search_implied_relations_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sbhl_all_implied_disjoins(SubLObject module, SubLObject node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_all_sibling_disjoint_nodes(SubLObject module, SubLObject node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_any_with_implied_disjoins_relation_p(SubLObject module, SubLObject nodes, SubLObject node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_any_with_sibling_disjoint_relation_p(SubLObject module, SubLObject nodes1, SubLObject node2, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_disjoins_relation_with_backward_nodes_p(SubLObject module, SubLObject node, SubLObject not_node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_disjoins_with_tt_nodes_relation_p(SubLObject module, SubLObject node, SubLObject not_node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_implied_disjoins_relation_p(SubLObject module, SubLObject node1, SubLObject node2, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_implied_false_predicate_relation_p(SubLObject module, SubLObject node, SubLObject not_node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_implied_max_disjoins(SubLObject module, SubLObject node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_max_sibling_disjoint_nodes(SubLObject module, SubLObject node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_sibling_disjoint_relation_p(SubLObject module, SubLObject node1, SubLObject node2, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_sibling_disjoint_relation_tt_p(SubLObject module, SubLObject node, SubLObject not_node, SubLObject mt, SubLObject tv)
static SubLObject	sbhl_sibling_disjoint_relation_with_backward_nodes_p(SubLObject module, SubLObject node, SubLObject not_node, SubLObject mt, SubLObject tv)
static SubLObject	setup_sbhl_search_implied_relations_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

$sym0$SBHL_MODULE_P

public static final SubLSymbol $sym0$SBHL_MODULE_P

$const1$genls

public static final SubLObject $const1$genls

$sym2$ALL_SDC

public static final SubLSymbol $sym2$ALL_SDC

$sym3$MAX_SDC

public static final SubLSymbol $sym3$MAX_SDC

$sym4$SDC_

public static final SubLSymbol $sym4$SDC_

$sym5$ANY_SDC_WRT_

public static final SubLSymbol $sym5$ANY_SDC_WRT_

$sym6$ANY_SDC_ANY_

public static final SubLSymbol $sym6$ANY_SDC_ANY_

$sym7$WHY_SDC_

public static final SubLSymbol $sym7$WHY_SDC_

$sym8$SBHL_GATHER_ALL_DISJOINS

public static final SubLSymbol $sym8$SBHL_GATHER_ALL_DISJOINS

$const9$True_JustificationTruth

public static final SubLObject $const9$True_JustificationTruth

$kw10$OLD

public static final SubLSymbol $kw10$OLD

$kw11$RESOURCE

public static final SubLSymbol $kw11$RESOURCE

$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

$str20$attempting_to_bind_direction_link

public static final SubLString $str20$attempting_to_bind_direction_link

$str21$Method_only_valid_for_simple_and_

public static final SubLString $str21$Method_only_valid_for_simple_and_

$kw22$BOOLEAN

public static final SubLSymbol $kw22$BOOLEAN

$sym23$SBHL_NODE_IS_GOAL_NODE

public static final SubLSymbol $sym23$SBHL_NODE_IS_GOAL_NODE

$const24$negationInverse

public static final SubLObject $const24$negationInverse

$sym25$SBHL_NODE_MARKED_AS_GOAL_NODE

public static final SubLSymbol $sym25$SBHL_NODE_MARKED_AS_GOAL_NODE

$sym26$SBHL_PREDICATE_RELATION_P

public static final SubLSymbol $sym26$SBHL_PREDICATE_RELATION_P

$str27$Method_only_valid_for_disjoins_mo

public static final SubLString $str27$Method_only_valid_for_disjoins_mo

$str28$Boolean_methods_using_ALL_are_cur

public static final SubLString $str28$Boolean_methods_using_ALL_are_cur

$sym29$SBHL_IMPLIED_FALSE_PREDICATE_RELATION_P

public static final SubLSymbol $sym29$SBHL_IMPLIED_FALSE_PREDICATE_RELATION_P

$sym30$SBHL_IMPLIED_FALSE_INVERSE_RELATION_P

public static final SubLSymbol $sym30$SBHL_IMPLIED_FALSE_INVERSE_RELATION_P

$sym31$SBHL_IMPLIED_DISJOINS_RELATION_P

public static final SubLSymbol $sym31$SBHL_IMPLIED_DISJOINS_RELATION_P

Method Detail

get_sbhl_sibling_disjoint_closure_fn

public static final SubLObject get_sbhl_sibling_disjoint_closure_fn(SubLObject module)

Returns:

function-spec-p

sbhl_all_sibling_disjoint_nodes

public static final SubLObject sbhl_all_sibling_disjoint_nodes(SubLObject module,
                                                               SubLObject node,
                                                               SubLObject mt,
                                                               SubLObject tv)

get_sbhl_sibling_disjoint_max_nodes_fn

public static final SubLObject get_sbhl_sibling_disjoint_max_nodes_fn(SubLObject module)

Returns:

function-spec-p

sbhl_max_sibling_disjoint_nodes

public static final SubLObject sbhl_max_sibling_disjoint_nodes(SubLObject module,
                                                               SubLObject node,
                                                               SubLObject mt,
                                                               SubLObject tv)

get_sbhl_sibling_disjoint_boolean_fn

public static final SubLObject get_sbhl_sibling_disjoint_boolean_fn(SubLObject module)

Returns:

function-spec-p

sbhl_sibling_disjoint_relation_p

public static final SubLObject sbhl_sibling_disjoint_relation_p(SubLObject module,
                                                                SubLObject node1,
                                                                SubLObject node2,
                                                                SubLObject mt,
                                                                SubLObject tv)

get_sbhl_sibling_disjoint_any_boolean_fn

public static final SubLObject get_sbhl_sibling_disjoint_any_boolean_fn(SubLObject module)

Returns:

function-spec-p

sbhl_any_with_sibling_disjoint_relation_p

public static final SubLObject sbhl_any_with_sibling_disjoint_relation_p(SubLObject module,
                                                                         SubLObject nodes1,
                                                                         SubLObject node2,
                                                                         SubLObject mt,
                                                                         SubLObject tv)

sbhl_all_implied_disjoins

public static final SubLObject sbhl_all_implied_disjoins(SubLObject module,
                                                         SubLObject node,
                                                         SubLObject mt,
                                                         SubLObject tv)

sbhl_implied_max_disjoins

public static final SubLObject sbhl_implied_max_disjoins(SubLObject module,
                                                         SubLObject node,
                                                         SubLObject mt,
                                                         SubLObject tv)

sbhl_disjoins_relation_with_backward_nodes_p

public static final SubLObject sbhl_disjoins_relation_with_backward_nodes_p(SubLObject module,
                                                                            SubLObject node,
                                                                            SubLObject not_node,
                                                                            SubLObject mt,
                                                                            SubLObject tv)

Returns:

booleanp; whether NOT-NODE is disjoint with some spec of NODE.

sbhl_disjoins_with_tt_nodes_relation_p

public static final SubLObject sbhl_disjoins_with_tt_nodes_relation_p(SubLObject module,
                                                                      SubLObject node,
                                                                      SubLObject not_node,
                                                                      SubLObject mt,
                                                                      SubLObject tv)

Returns:

booleanp; whether NOT-NODE is disjoint with some tt node of NODE. @hack

sbhl_sibling_disjoint_relation_with_backward_nodes_p

public static final SubLObject sbhl_sibling_disjoint_relation_with_backward_nodes_p(SubLObject module,
                                                                                    SubLObject node,
                                                                                    SubLObject not_node,
                                                                                    SubLObject mt,
                                                                                    SubLObject tv)

Returns:

booleanp; whether NOT-NODE is sibling disjoint with some spec of NODE.

sbhl_sibling_disjoint_relation_tt_p

public static final SubLObject sbhl_sibling_disjoint_relation_tt_p(SubLObject module,
                                                                   SubLObject node,
                                                                   SubLObject not_node,
                                                                   SubLObject mt,
                                                                   SubLObject tv)

sbhl_implied_false_predicate_relation_p

public static final SubLObject sbhl_implied_false_predicate_relation_p(SubLObject module,
                                                                       SubLObject node,
                                                                       SubLObject not_node,
                                                                       SubLObject mt,
                                                                       SubLObject tv)

sbhl_implied_disjoins_relation_p

public static final SubLObject sbhl_implied_disjoins_relation_p(SubLObject module,
                                                                SubLObject node1,
                                                                SubLObject node2,
                                                                SubLObject mt,
                                                                SubLObject tv)

sbhl_any_with_implied_disjoins_relation_p

public static final SubLObject sbhl_any_with_implied_disjoins_relation_p(SubLObject module,
                                                                         SubLObject nodes,
                                                                         SubLObject node,
                                                                         SubLObject mt,
                                                                         SubLObject tv)

declare_sbhl_search_implied_relations_file

public static final SubLObject declare_sbhl_search_implied_relations_file()

init_sbhl_search_implied_relations_file

public static final SubLObject init_sbhl_search_implied_relations_file()

setup_sbhl_search_implied_relations_file

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