com.cyc.cycjava.cycl
Class gt_search

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

public final class gt_search
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLObject $const26$equals
           
static SubLObject $const31$EverythingPSC
           
static SubLObject $const32$ReflexiveBinaryPredicate
           
static SubLObject $const33$genlMt
           
static SubLInteger $int15$128
           
static SubLInteger $int46$512
           
static SubLSymbol $kw0$DIRECTED
           
static SubLSymbol $kw1$SUPERIOR
           
static SubLSymbol $kw2$INFERIOR
           
static SubLSymbol $kw3$INVERSE
           
static SubLSymbol $kw34$TRUE
           
static SubLSymbol $kw43$ASSERTION
           
static SubLSymbol $kw48$ACCESSORS
           
static SubLSymbol $kw49$ACCESSIBLE
           
static SubLSymbol $kw51$MAPPING_DONE
           
static SubLSymbol $kw53$GAF
           
static SubLList $list27
           
static SubLList $list50
           
static SubLString $str13$_a_is_not_a_function
           
static SubLString $str4$illegal_value_of__gt_mode____s
           
static SubLString $str44$illegal_value_of__gt_link_type___
           
static SubLString $str47$GT_recursion_limit_reached_
           
static SubLString $str8$invalid_gt_mode___a
           
static SubLString $str9$illegal_value_of__gt_mode_
           
static SubLSymbol $sym10$GT_MAP_LINKS
           
static SubLSymbol $sym11$GT_GATHER_EXTREMAL_NODE
           
static SubLSymbol $sym12$GT_TEST_LINK_NODE
           
static SubLSymbol $sym14$GT_GATHER_NODE
           
static SubLSymbol $sym16$GT_COMPOSE_FN_LINK_NODE
           
static SubLSymbol $sym17$CONS
           
static SubLSymbol $sym18$GT_SELECT_LINK_NODE
           
static SubLSymbol $sym19$GT_MARK_AS_SEARCHED_AND_STEP
           
static SubLSymbol $sym20$GT_MARK_AS_UNSEARCHED_AND_STEP
           
static SubLSymbol $sym21$GT_GATHER_MARKED_LINK_NODE
           
static SubLSymbol $sym22$GT_MARK_UNSELECT_LINK_NODE_ALL_ACCESSED_AS_UNSEARCHED
           
static SubLSymbol $sym23$GT_ALL_PREDECESSORS_SEARCHED_
           
static SubLSymbol $sym24$GT_COMPOSE_PRED_LINK_NODE
           
static SubLSymbol $sym25$FORT_P
           
static SubLSymbol $sym28$GT_GATHER_ACCESS_JUST
           
static SubLSymbol $sym29$GT_GATHER_ACCESS_PATH
           
static SubLSymbol $sym30$RELEVANT_MT_IS_EVERYTHING
           
static SubLSymbol $sym35$TRUTH_P
           
static SubLSymbol $sym36$GT_MARK_LINK_NODE_AS_UNSEARCHED_AND_COLLECT_MTS
           
static SubLSymbol $sym37$GT_GATHER_LINK_NODE_AND_MAX_MTS
           
static SubLSymbol $sym38$QUOTE
           
static SubLSymbol $sym39$GT_GATHER_LINK_NODE_AND_STORE_EDGES
           
static SubLSymbol $sym40$GT_MAP_LINKS_REBINDING_CANDIDATE_MTS
           
static SubLSymbol $sym41$GT_GATHER_LINK_NODES_AND_STORE_ALL_PATHS
           
static SubLSymbol $sym42$GT_GATHER_LINK_NODES_AND_UNIFY_MTS_ALONG_THE_WAY
           
static SubLSymbol $sym45$HLMT_EQUAL
           
static SubLSymbol $sym5$GT_GATHER_LINK_NODE
           
static SubLSymbol $sym52$RELEVANT_PRED_IS_SPEC_PRED
           
static SubLSymbol $sym54$RELEVANT_PRED_IS_SPEC_INVERSE
           
static SubLSymbol $sym55$POSITIVE_INTEGER_P
           
static SubLSymbol $sym56$GT_MARK_AS_SEARCHED_BY_AND_STEP
           
static SubLSymbol $sym6$FUNCTION_SPEC_P
           
static SubLSymbol $sym7$GT_GATHER_SIBLING_NODE
           
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_gt_search_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject gt_searchedP(SubLObject node)
           
static SubLObject init_gt_search_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 setup_gt_search_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$DIRECTED

public static final SubLSymbol $kw0$DIRECTED

$kw1$SUPERIOR

public static final SubLSymbol $kw1$SUPERIOR

$kw2$INFERIOR

public static final SubLSymbol $kw2$INFERIOR

$kw3$INVERSE

public static final SubLSymbol $kw3$INVERSE

$str4$illegal_value_of__gt_mode____s

public static final SubLString $str4$illegal_value_of__gt_mode____s

$sym5$GT_GATHER_LINK_NODE

public static final SubLSymbol $sym5$GT_GATHER_LINK_NODE

$sym6$FUNCTION_SPEC_P

public static final SubLSymbol $sym6$FUNCTION_SPEC_P

$sym7$GT_GATHER_SIBLING_NODE

public static final SubLSymbol $sym7$GT_GATHER_SIBLING_NODE

$str8$invalid_gt_mode___a

public static final SubLString $str8$invalid_gt_mode___a

$str9$illegal_value_of__gt_mode_

public static final SubLString $str9$illegal_value_of__gt_mode_

$sym10$GT_MAP_LINKS

public static final SubLSymbol $sym10$GT_MAP_LINKS

$sym11$GT_GATHER_EXTREMAL_NODE

public static final SubLSymbol $sym11$GT_GATHER_EXTREMAL_NODE

$sym12$GT_TEST_LINK_NODE

public static final SubLSymbol $sym12$GT_TEST_LINK_NODE

$str13$_a_is_not_a_function

public static final SubLString $str13$_a_is_not_a_function

$sym14$GT_GATHER_NODE

public static final SubLSymbol $sym14$GT_GATHER_NODE

$int15$128

public static final SubLInteger $int15$128

$sym16$GT_COMPOSE_FN_LINK_NODE

public static final SubLSymbol $sym16$GT_COMPOSE_FN_LINK_NODE

$sym17$CONS

public static final SubLSymbol $sym17$CONS

$sym18$GT_SELECT_LINK_NODE

public static final SubLSymbol $sym18$GT_SELECT_LINK_NODE

$sym19$GT_MARK_AS_SEARCHED_AND_STEP

public static final SubLSymbol $sym19$GT_MARK_AS_SEARCHED_AND_STEP

$sym20$GT_MARK_AS_UNSEARCHED_AND_STEP

public static final SubLSymbol $sym20$GT_MARK_AS_UNSEARCHED_AND_STEP

$sym21$GT_GATHER_MARKED_LINK_NODE

public static final SubLSymbol $sym21$GT_GATHER_MARKED_LINK_NODE

$sym22$GT_MARK_UNSELECT_LINK_NODE_ALL_ACCESSED_AS_UNSEARCHED

public static final SubLSymbol $sym22$GT_MARK_UNSELECT_LINK_NODE_ALL_ACCESSED_AS_UNSEARCHED

$sym23$GT_ALL_PREDECESSORS_SEARCHED_

public static final SubLSymbol $sym23$GT_ALL_PREDECESSORS_SEARCHED_

$sym24$GT_COMPOSE_PRED_LINK_NODE

public static final SubLSymbol $sym24$GT_COMPOSE_PRED_LINK_NODE

$sym25$FORT_P

public static final SubLSymbol $sym25$FORT_P

$const26$equals

public static final SubLObject $const26$equals

$list27

public static final SubLList $list27

$sym28$GT_GATHER_ACCESS_JUST

public static final SubLSymbol $sym28$GT_GATHER_ACCESS_JUST

$sym29$GT_GATHER_ACCESS_PATH

public static final SubLSymbol $sym29$GT_GATHER_ACCESS_PATH

$sym30$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym30$RELEVANT_MT_IS_EVERYTHING

$const31$EverythingPSC

public static final SubLObject $const31$EverythingPSC

$const32$ReflexiveBinaryPredicate

public static final SubLObject $const32$ReflexiveBinaryPredicate

$const33$genlMt

public static final SubLObject $const33$genlMt

$kw34$TRUE

public static final SubLSymbol $kw34$TRUE

$sym35$TRUTH_P

public static final SubLSymbol $sym35$TRUTH_P

$sym36$GT_MARK_LINK_NODE_AS_UNSEARCHED_AND_COLLECT_MTS

public static final SubLSymbol $sym36$GT_MARK_LINK_NODE_AS_UNSEARCHED_AND_COLLECT_MTS

$sym37$GT_GATHER_LINK_NODE_AND_MAX_MTS

public static final SubLSymbol $sym37$GT_GATHER_LINK_NODE_AND_MAX_MTS

$sym38$QUOTE

public static final SubLSymbol $sym38$QUOTE

$sym39$GT_GATHER_LINK_NODE_AND_STORE_EDGES

public static final SubLSymbol $sym39$GT_GATHER_LINK_NODE_AND_STORE_EDGES

$sym40$GT_MAP_LINKS_REBINDING_CANDIDATE_MTS

public static final SubLSymbol $sym40$GT_MAP_LINKS_REBINDING_CANDIDATE_MTS

$sym41$GT_GATHER_LINK_NODES_AND_STORE_ALL_PATHS

public static final SubLSymbol $sym41$GT_GATHER_LINK_NODES_AND_STORE_ALL_PATHS

$sym42$GT_GATHER_LINK_NODES_AND_UNIFY_MTS_ALONG_THE_WAY

public static final SubLSymbol $sym42$GT_GATHER_LINK_NODES_AND_UNIFY_MTS_ALONG_THE_WAY

$kw43$ASSERTION

public static final SubLSymbol $kw43$ASSERTION

$str44$illegal_value_of__gt_link_type___

public static final SubLString $str44$illegal_value_of__gt_link_type___

$sym45$HLMT_EQUAL

public static final SubLSymbol $sym45$HLMT_EQUAL

$int46$512

public static final SubLInteger $int46$512

$str47$GT_recursion_limit_reached_

public static final SubLString $str47$GT_recursion_limit_reached_

$kw48$ACCESSORS

public static final SubLSymbol $kw48$ACCESSORS

$kw49$ACCESSIBLE

public static final SubLSymbol $kw49$ACCESSIBLE

$list50

public static final SubLList $list50

$kw51$MAPPING_DONE

public static final SubLSymbol $kw51$MAPPING_DONE

$sym52$RELEVANT_PRED_IS_SPEC_PRED

public static final SubLSymbol $sym52$RELEVANT_PRED_IS_SPEC_PRED

$kw53$GAF

public static final SubLSymbol $kw53$GAF

$sym54$RELEVANT_PRED_IS_SPEC_INVERSE

public static final SubLSymbol $sym54$RELEVANT_PRED_IS_SPEC_INVERSE

$sym55$POSITIVE_INTEGER_P

public static final SubLSymbol $sym55$POSITIVE_INTEGER_P

$sym56$GT_MARK_AS_SEARCHED_BY_AND_STEP

public static final SubLSymbol $sym56$GT_MARK_AS_SEARCHED_BY_AND_STEP
Method Detail

gt_searchedP

public static final SubLObject gt_searchedP(SubLObject node)

declare_gt_search_file

public static final SubLObject declare_gt_search_file()

init_gt_search_file

public static final SubLObject init_gt_search_file()

setup_gt_search_file

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