com.cyc.cycjava.cycl
Class ghl_search_methods

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class ghl_search_methods
extends SubLTranslatedFile

Nested Class Summary

static class	ghl_search_methods.$ghl_closure_search_iterator_done$UnaryFunction
static class	ghl_search_methods.$ghl_closure_search_iterator_finalize$UnaryFunction
static class	ghl_search_methods.$ghl_closure_search_iterator_next$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const11$genlPreds
static SubLObject	$const13$genlInverse
static SubLObject	$const53$InferencePSC
static SubLInteger	$int2$24
static SubLSymbol	$kw10$QUEUE
static SubLSymbol	$kw12$GENLPREDS
static SubLSymbol	$kw17$ALLOW_OTHER_KEYS
static SubLSymbol	$kw18$MT
static SubLSymbol	$kw19$TV
static SubLSymbol	$kw20$DONE
static SubLSymbol	$kw21$ORDER
static SubLSymbol	$kw22$DEPTH_FIRST
static SubLSymbol	$kw27$BREADTH_FIRST
static SubLSymbol	$kw28$PREDICATES
static SubLSymbol	$kw29$TYPE
static SubLSymbol	$kw30$TRANSITIVE_REASONING
static SubLSymbol	$kw31$DIRECTION
static SubLSymbol	$kw32$MARKING
static SubLSymbol	$kw33$SIMPLE
static SubLSymbol	$kw34$MARKING_SPACE
static SubLSymbol	$kw38$START
static SubLSymbol	$kw40$BACKWARD
static SubLSymbol	$kw41$FORWARD
static SubLSymbol	$kw42$GOAL_SEARCH_P
static SubLSymbol	$kw43$GOAL
static SubLSymbol	$kw44$GOAL_SPACE
static SubLSymbol	$kw46$GOAL_FN
static SubLSymbol	$kw48$MAP_FN
static SubLSymbol	$kw49$REFLEXIVE
static SubLSymbol	$kw6$TRUE_DEF
static SubLSymbol	$kw8$GAF
static SubLSymbol	$kw9$STACK
static SubLList	$list15
static SubLList	$list16
static SubLList	$list39
static SubLList	$list45
static SubLList	$list50
static SubLList	$list51
static SubLString	$str0$Unsupported_search_behavior______
static SubLString	$str1$Unsupported_search_conditions_
static SubLString	$str14$Invalid_attempt_to_reuse_memoizat
static SubLString	$str5$attempting_to_bind_direction_link
static SubLSymbol	$sym23$ITERATOR
static SubLSymbol	$sym24$CLET
static SubLSymbol	$sym25$NEW_GHL_CLOSURE_ITERATOR
static SubLSymbol	$sym26$DO_ITERATOR
static SubLSymbol	$sym3$GHL_GOAL_SEARCH_P
static SubLSymbol	$sym35$GHL_CLOSURE_SEARCH_ITERATOR_DONE
static SubLSymbol	$sym36$GHL_CLOSURE_SEARCH_ITERATOR_NEXT
static SubLSymbol	$sym37$GHL_CLOSURE_SEARCH_ITERATOR_FINALIZE
static SubLSymbol	$sym4$GHL_MAP_P
static SubLSymbol	$sym47$GHL_GOAL_OR_MARKED_AS_GOAL_
static SubLSymbol	$sym52$RELEVANT_MT_IS_ANY_MT
static SubLSymbol	$sym54$HLMT_EQUAL
static SubLSymbol	$sym55$GENL_MT_
static SubLSymbol	$sym7$RELEVANT_PRED_WRT_GT_
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_ghl_search_methods_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	ghl_add_accessible_link_nodes_to_deck(SubLObject v_search, SubLObject node, SubLObject node_deck)
static SubLObject	ghl_add_justification_to_result(SubLObject v_search, SubLObject justification)
static SubLObject	ghl_closure_search_iterator_done(SubLObject state)
static SubLObject	ghl_closure_search_iterator_finalize(SubLObject state)
static SubLObject	ghl_closure_search_iterator_next(SubLObject state)
static SubLObject	ghl_closure_search_iterator_state(SubLObject v_search, SubLObject start_node, SubLObject mt, SubLObject reflexiveP, SubLObject return_non_transitive_resultsP)
static SubLObject	ghl_create_justification(SubLObject v_search, SubLObject supports)
static SubLObject	gt_predicate_relation_p_add_accessible_link_nodes_to_deck(SubLObject v_search, SubLObject node, SubLObject v_deck, SubLObject resolve_goal_nodeP)
static SubLObject	gt_predicate_relation_p(SubLObject pred, SubLObject node1, SubLObject node2, SubLObject mt, SubLObject tv, SubLObject return_non_transitive_resultsP)
static SubLObject	gt_why_predicate_relation_p_add_accessible_link_nodes_to_deck(SubLObject v_search, SubLObject node, SubLObject supports, SubLObject v_deck, SubLObject resolve_goal_nodeP)
static SubLObject	init_ghl_search_methods_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	new_ghl_closure_iterator(SubLObject pred, SubLObject node, SubLObject direction, SubLObject mt, SubLObject tv, SubLObject search_order, SubLObject return_non_transitive_resultsP)
static SubLObject	new_ghl_closure_search_iterator(SubLObject v_search, SubLObject start_node, SubLObject mt, SubLObject reflexiveP, SubLObject return_non_transitive_resultsP)
static SubLObject	new_removal_ghl_closure_iterator(SubLObject pred, SubLObject node, SubLObject direction, SubLObject mt)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_ghl_search_methods_file()
static SubLObject	why_gt_predicate_relation_p(SubLObject pred, SubLObject node1, SubLObject node2, SubLObject mt, SubLObject tv)

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

$str0$Unsupported_search_behavior______

public static final SubLString $str0$Unsupported_search_behavior______

$str1$Unsupported_search_conditions_

public static final SubLString $str1$Unsupported_search_conditions_

$int2$24

public static final SubLInteger $int2$24

$sym3$GHL_GOAL_SEARCH_P

public static final SubLSymbol $sym3$GHL_GOAL_SEARCH_P

$sym4$GHL_MAP_P

public static final SubLSymbol $sym4$GHL_MAP_P

$str5$attempting_to_bind_direction_link

public static final SubLString $str5$attempting_to_bind_direction_link

$kw6$TRUE_DEF

public static final SubLSymbol $kw6$TRUE_DEF

$sym7$RELEVANT_PRED_WRT_GT_

public static final SubLSymbol $sym7$RELEVANT_PRED_WRT_GT_

$kw8$GAF

public static final SubLSymbol $kw8$GAF

$kw9$STACK

public static final SubLSymbol $kw9$STACK

$kw10$QUEUE

public static final SubLSymbol $kw10$QUEUE

$const11$genlPreds

public static final SubLObject $const11$genlPreds

$kw12$GENLPREDS

public static final SubLSymbol $kw12$GENLPREDS

$const13$genlInverse

public static final SubLObject $const13$genlInverse

$str14$Invalid_attempt_to_reuse_memoizat

public static final SubLString $str14$Invalid_attempt_to_reuse_memoizat

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$kw17$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw17$ALLOW_OTHER_KEYS

$kw18$MT

public static final SubLSymbol $kw18$MT

$kw19$TV

public static final SubLSymbol $kw19$TV

$kw20$DONE

public static final SubLSymbol $kw20$DONE

$kw21$ORDER

public static final SubLSymbol $kw21$ORDER

$kw22$DEPTH_FIRST

public static final SubLSymbol $kw22$DEPTH_FIRST

$sym23$ITERATOR

public static final SubLSymbol $sym23$ITERATOR

$sym24$CLET

public static final SubLSymbol $sym24$CLET

$sym25$NEW_GHL_CLOSURE_ITERATOR

public static final SubLSymbol $sym25$NEW_GHL_CLOSURE_ITERATOR

$sym26$DO_ITERATOR

public static final SubLSymbol $sym26$DO_ITERATOR

$kw27$BREADTH_FIRST

public static final SubLSymbol $kw27$BREADTH_FIRST

$kw28$PREDICATES

public static final SubLSymbol $kw28$PREDICATES

$kw29$TYPE

public static final SubLSymbol $kw29$TYPE

$kw30$TRANSITIVE_REASONING

public static final SubLSymbol $kw30$TRANSITIVE_REASONING

$kw31$DIRECTION

public static final SubLSymbol $kw31$DIRECTION

$kw32$MARKING

public static final SubLSymbol $kw32$MARKING

$kw33$SIMPLE

public static final SubLSymbol $kw33$SIMPLE

$kw34$MARKING_SPACE

public static final SubLSymbol $kw34$MARKING_SPACE

$sym35$GHL_CLOSURE_SEARCH_ITERATOR_DONE

public static final SubLSymbol $sym35$GHL_CLOSURE_SEARCH_ITERATOR_DONE

$sym36$GHL_CLOSURE_SEARCH_ITERATOR_NEXT

public static final SubLSymbol $sym36$GHL_CLOSURE_SEARCH_ITERATOR_NEXT

$sym37$GHL_CLOSURE_SEARCH_ITERATOR_FINALIZE

public static final SubLSymbol $sym37$GHL_CLOSURE_SEARCH_ITERATOR_FINALIZE

$kw38$START

public static final SubLSymbol $kw38$START

$list39

public static final SubLList $list39

$kw40$BACKWARD

public static final SubLSymbol $kw40$BACKWARD

$kw41$FORWARD

public static final SubLSymbol $kw41$FORWARD

$kw42$GOAL_SEARCH_P

public static final SubLSymbol $kw42$GOAL_SEARCH_P

$kw43$GOAL

public static final SubLSymbol $kw43$GOAL

$kw44$GOAL_SPACE

public static final SubLSymbol $kw44$GOAL_SPACE

$list45

public static final SubLList $list45

$kw46$GOAL_FN

public static final SubLSymbol $kw46$GOAL_FN

$sym47$GHL_GOAL_OR_MARKED_AS_GOAL_

public static final SubLSymbol $sym47$GHL_GOAL_OR_MARKED_AS_GOAL_

$kw48$MAP_FN

public static final SubLSymbol $kw48$MAP_FN

$kw49$REFLEXIVE

public static final SubLSymbol $kw49$REFLEXIVE

$list50

public static final SubLList $list50

$list51

public static final SubLList $list51

$sym52$RELEVANT_MT_IS_ANY_MT

public static final SubLSymbol $sym52$RELEVANT_MT_IS_ANY_MT

$const53$InferencePSC

public static final SubLObject $const53$InferencePSC

$sym54$HLMT_EQUAL

public static final SubLSymbol $sym54$HLMT_EQUAL

$sym55$GENL_MT_

public static final SubLSymbol $sym55$GENL_MT_

Method Detail

ghl_add_accessible_link_nodes_to_deck

public static final SubLObject ghl_add_accessible_link_nodes_to_deck(SubLObject v_search,
                                                                     SubLObject node,
                                                                     SubLObject node_deck)

ghl_add_justification_to_result

public static final SubLObject ghl_add_justification_to_result(SubLObject v_search,
                                                               SubLObject justification)

ghl_create_justification

public static final SubLObject ghl_create_justification(SubLObject v_search,
                                                        SubLObject supports)

new_ghl_closure_iterator

public static final SubLObject new_ghl_closure_iterator(SubLObject pred,
                                                        SubLObject node,
                                                        SubLObject direction,
                                                        SubLObject mt,
                                                        SubLObject tv,
                                                        SubLObject search_order,
                                                        SubLObject return_non_transitive_resultsP)

new_removal_ghl_closure_iterator

public static final SubLObject new_removal_ghl_closure_iterator(SubLObject pred,
                                                                SubLObject node,
                                                                SubLObject direction,
                                                                SubLObject mt)

new_ghl_closure_search_iterator

public static final SubLObject new_ghl_closure_search_iterator(SubLObject v_search,
                                                               SubLObject start_node,
                                                               SubLObject mt,
                                                               SubLObject reflexiveP,
                                                               SubLObject return_non_transitive_resultsP)

ghl_closure_search_iterator_state

public static final SubLObject ghl_closure_search_iterator_state(SubLObject v_search,
                                                                 SubLObject start_node,
                                                                 SubLObject mt,
                                                                 SubLObject reflexiveP,
                                                                 SubLObject return_non_transitive_resultsP)

ghl_closure_search_iterator_done

public static final SubLObject ghl_closure_search_iterator_done(SubLObject state)

ghl_closure_search_iterator_next

public static final SubLObject ghl_closure_search_iterator_next(SubLObject state)

ghl_closure_search_iterator_finalize

public static final SubLObject ghl_closure_search_iterator_finalize(SubLObject state)

gt_predicate_relation_p

public static final SubLObject gt_predicate_relation_p(SubLObject pred,
                                                       SubLObject node1,
                                                       SubLObject node2,
                                                       SubLObject mt,
                                                       SubLObject tv,
                                                       SubLObject return_non_transitive_resultsP)

gt_predicate_relation_p_add_accessible_link_nodes_to_deck

public static final SubLObject gt_predicate_relation_p_add_accessible_link_nodes_to_deck(SubLObject v_search,
                                                                                         SubLObject node,
                                                                                         SubLObject v_deck,
                                                                                         SubLObject resolve_goal_nodeP)

why_gt_predicate_relation_p

public static final SubLObject why_gt_predicate_relation_p(SubLObject pred,
                                                           SubLObject node1,
                                                           SubLObject node2,
                                                           SubLObject mt,
                                                           SubLObject tv)

gt_why_predicate_relation_p_add_accessible_link_nodes_to_deck

public static final SubLObject gt_why_predicate_relation_p_add_accessible_link_nodes_to_deck(SubLObject v_search,
                                                                                             SubLObject node,
                                                                                             SubLObject supports,
                                                                                             SubLObject v_deck,
                                                                                             SubLObject resolve_goal_nodeP)

declare_ghl_search_methods_file

public static final SubLObject declare_ghl_search_methods_file()

init_ghl_search_methods_file

public static final SubLObject init_ghl_search_methods_file()

setup_ghl_search_methods_file

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