gt_methods

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class gt_methods

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class gt_methods
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLObject`	`$const149$InferencePSC`
`static SubLObject`	`$const152$EverythingPSC`
`static SubLObject`	`$const153$genls`
`static SubLObject`	`$const156$isa`
`static SubLObject`	`$const159$genlMt`
`static SubLObject`	`$const89$genlInverse`
`static SubLObject`	`$const90$genlPreds`
`static SubLInteger`	`$int132$128`
`static SubLSymbol`	`$kw10$SUPERIOR`
`static SubLSymbol`	`$kw100$GATHER_INFERIOR`
`static SubLSymbol`	`$kw101$GATHER_SUPERIOR`
`static SubLSymbol`	`$kw102$CYCLES_`
`static SubLSymbol`	`$kw105$COMPLETES_CYCLE_`
`static SubLSymbol`	`$kw110$WHY_COMPLETES_CYCLE_`
`static SubLSymbol`	`$kw114$MIN_NODES`
`static SubLSymbol`	`$kw12$TRUE`
`static SubLSymbol`	`$kw120$MAX_NODES`
`static SubLSymbol`	`$kw124$UP`
`static SubLSymbol`	`$kw125$DOWN`
`static SubLSymbol`	`$kw128$MIN_CEILINGS`
`static SubLSymbol`	`$kw133$MAX_FLOORS`
`static SubLSymbol`	`$kw136$MIN_SUPERIORS_EXCLUDING`
`static SubLSymbol`	`$kw139$MAX_INFERIORS_EXCLUDING`
`static SubLSymbol`	`$kw14$MIN_SUPERIORS`
`static SubLSymbol`	`$kw142$ALL_SUPERIOR_EDGES`
`static SubLSymbol`	`$kw143$ALL_INFERIOR_EDGES`
`static SubLSymbol`	`$kw144$ALL_PATHS`
`static SubLSymbol`	`$kw145$SUPERIOR_IN_WHAT_MTS`
`static SubLSymbol`	`$kw146$HIERARCHICALLY_DIRECT`
`static SubLSymbol`	`$kw150$INFERIORS_WITH_MTS`
`static SubLSymbol`	`$kw160$ANY_SUPERIOR_PATH`
`static SubLSymbol`	`$kw17$INFERIORS`
`static SubLSymbol`	`$kw2$SUPERIORS`
`static SubLSymbol`	`$kw20$GT_GATHER`
`static SubLSymbol`	`$kw21$INFERIOR`
`static SubLSymbol`	`$kw22$MAX_INFERIORS`
`static SubLSymbol`	`$kw25$CO_SUPERIORS`
`static SubLSymbol`	`$kw28$CO_INFERIORS`
`static SubLSymbol`	`$kw31$REDUNDANT_SUPERIORS`
`static SubLSymbol`	`$kw34$REDUNDANT_INFERIORS`
`static SubLSymbol`	`$kw37$ALL_SUPERIORS`
`static SubLSymbol`	`$kw40$ALL_INFERIORS`
`static SubLSymbol`	`$kw43$UNION_ALL_INFERIORS`
`static SubLSymbol`	`$kw44$ALL_ACCESSIBLE`
`static SubLSymbol`	`$kw47$GT_EITHER`
`static SubLSymbol`	`$kw48$ACCESSIBLE`
`static SubLSymbol`	`$kw49$ROOTS`
`static SubLSymbol`	`$kw52$LEAVES`
`static SubLSymbol`	`$kw57$COMPOSE_FN_SUPERIORS`
`static SubLSymbol`	`$kw62$COMPOSE_FN_INFERIORS`
`static SubLSymbol`	`$kw67$COMPOSE_PRED_SUPERIORS`
`static SubLSymbol`	`$kw73$COMPOSE_PRED_INFERIORS`
`static SubLSymbol`	`$kw76$ALL_DEPENDENT_INFERIORS`
`static SubLSymbol`	`$kw79$BOOLEAN_`
`static SubLSymbol`	`$kw8$GT_ERROR`
`static SubLSymbol`	`$kw80$SUPERIOR_`
`static SubLSymbol`	`$kw81$WHY_SUPERIOR_`
`static SubLSymbol`	`$kw87$REFLEXIVE`
`static SubLSymbol`	`$kw88$GENLPREDS`
`static SubLSymbol`	`$kw9$GT_INDEX`
`static SubLSymbol`	`$kw91$INFERIOR_`
`static SubLSymbol`	`$kw92$HAS_SUPERIOR_`
`static SubLList`	`$list107`
`static SubLList`	`$list109`
`static SubLList`	`$list116`
`static SubLList`	`$list118`
`static SubLList`	`$list122`
`static SubLList`	`$list130`
`static SubLList`	`$list4`
`static SubLList`	`$list59`
`static SubLList`	`$list6`
`static SubLList`	`$list61`
`static SubLList`	`$list64`
`static SubLList`	`$list69`
`static SubLList`	`$list7`
`static SubLList`	`$list71`
`static SubLList`	`$list83`
`static SubLList`	`$list85`
`static SubLList`	`$list86`
`static SubLList`	`$list94`
`static SubLList`	`$list96`
`static SubLList`	`$list97`
`static SubLString`	`$str104$Returns_whether_FORT_is_accessibl`
`static SubLString`	`$str108$Returns_whether_a_transitive_path`
`static SubLString`	`$str11$invalid_gt_mode___a`
`static SubLString`	`$str112$Returns_justification_that_a_tran`
`static SubLString`	`$str117$Returns_returns_the_most_subordin`
`static SubLString`	`$str123$Returns_returns_the_least_subordi`
`static SubLString`	`$str131$Returns_the_most_subordinate_comm`
`static SubLString`	`$str135$Returns_the_least_subordinate_ele`
`static SubLString`	`$str138$Returns_least_general_superiors_o`
`static SubLString`	`$str141$Returns_most_general_inferiors_of`
`static SubLString`	`$str147$illegal_value_for_method_of_which`
`static SubLString`	`$str154$before_gathering_instances`
`static SubLString`	`$str157$after_instances__before_maximin`
`static SubLString`	`$str158$after_maximin`
`static SubLString`	`$str16$Returns_minimal_superiors_of_FORT`
`static SubLString`	`$str162$Returns_list_of_nodes_connecting_`
`static SubLString`	`$str19$Returns_direct_inferiors_of_FORT_`
`static SubLString`	`$str24$Returns_maximal_inferiors_of_FORT`
`static SubLString`	`$str27$Returns_sibling_direct_superiors_`
`static SubLString`	`$str30$Returns_sibling_direct_inferiors_`
`static SubLString`	`$str33$Returns_direct_superiors_of_FORT_`
`static SubLString`	`$str36$Returns_direct_inferiors_of_FORT_`
`static SubLString`	`$str39$Returns_all_superiors_of_FORT_via`
`static SubLString`	`$str42$Returns_all_inferiors_of_FORT_via`
`static SubLString`	`$str46$Returns_all_superiors_and_all_inf`
`static SubLString`	`$str5$Returns_direct_superiors_of_FORT_`
`static SubLString`	`$str51$Returns_maximal_superiors__i_e___`
`static SubLString`	`$str54$Returns_minimal_inferiors__i_e___`
`static SubLString`	`$str60$Apply_fn_to_each_superior_of_FORT`
`static SubLString`	`$str65$Apply_fn_to_each_inferior_of_FORT`
`static SubLString`	`$str70$Returns_all_nodes_accessible_by_C`
`static SubLString`	`$str75$Returns_all_nodes_accessible_by_C`
`static SubLString`	`$str78$Returns_all_inferiors_i_of_FORT_s`
`static SubLString`	`$str84$Returns_justification_of_why_SUPE`
`static SubLString`	`$str95$Returns_whetherfort_INFERIOR_is_h`
`static SubLString`	`$str99$Returns_whether_fort_SUPERIOR_is_`
`static SubLSymbol`	`$sym0$FORT_P`
`static SubLSymbol`	`$sym1$GT_TERM_P`
`static SubLSymbol`	`$sym103$GT_CYCLES_`
`static SubLSymbol`	`$sym106$GT_COMPLETES_CYCLE_`
`static SubLSymbol`	`$sym111$GT_WHY_COMPLETES_CYCLE_`
`static SubLSymbol`	`$sym113$LISTP`
`static SubLSymbol`	`$sym115$GT_MIN_NODES`
`static SubLSymbol`	`$sym119$GT_SEARCHED_`
`static SubLSymbol`	`$sym121$GT_MAX_NODES`
`static SubLSymbol`	`$sym126$GETHASH`
`static SubLSymbol`	`$sym127$MEMBER_`
`static SubLSymbol`	`$sym129$GT_MIN_CEILINGS`
`static SubLSymbol`	`$sym13$TRUTH_P`
`static SubLSymbol`	`$sym134$GT_MAX_FLOORS`
`static SubLSymbol`	`$sym137$GT_MIN_SUPERIORS_EXCLUDING`
`static SubLSymbol`	`$sym140$GT_MAX_INFERIORS_EXCLUDING`
`static SubLSymbol`	`$sym148$RELEVANT_MT_IS_ANY_MT`
`static SubLSymbol`	`$sym15$GT_MIN_SUPERIORS`
`static SubLSymbol`	`$sym151$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym155$ADD_RESULT_TO_GT_RESULT`
`static SubLSymbol`	`$sym161$GT_ANY_SUPERIOR_PATH`
`static SubLSymbol`	`$sym18$GT_INFERIORS`
`static SubLSymbol`	`$sym23$GT_MAX_INFERIORS`
`static SubLSymbol`	`$sym26$GT_CO_SUPERIORS`
`static SubLSymbol`	`$sym29$GT_CO_INFERIORS`
`static SubLSymbol`	`$sym3$GT_SUPERIORS`
`static SubLSymbol`	`$sym32$GT_REDUNDANT_SUPERIORS`
`static SubLSymbol`	`$sym35$GT_REDUNDANT_INFERIORS`
`static SubLSymbol`	`$sym38$GT_ALL_SUPERIORS`
`static SubLSymbol`	`$sym41$GT_ALL_INFERIORS`
`static SubLSymbol`	`$sym45$GT_ALL_ACCESSIBLE`
`static SubLSymbol`	`$sym50$GT_ROOTS`
`static SubLSymbol`	`$sym53$GT_LEAVES`
`static SubLSymbol`	`$sym55$CONS`
`static SubLSymbol`	`$sym56$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym58$GT_COMPOSE_FN_ALL_SUPERIORS`
`static SubLSymbol`	`$sym63$GT_COMPOSE_FN_ALL_INFERIORS`
`static SubLSymbol`	`$sym66$PREDICATE_IN_ANY_MT_`
`static SubLSymbol`	`$sym68$GT_COMPOSE_PRED_ALL_SUPERIORS`
`static SubLSymbol`	`$sym72$FIXNUMP`
`static SubLSymbol`	`$sym74$GT_COMPOSE_PRED_ALL_INFERIORS`
`static SubLSymbol`	`$sym77$GT_ALL_DEPENDENT_INFERIORS`
`static SubLSymbol`	`$sym82$GT_WHY_SUPERIOR_`
`static SubLSymbol`	`$sym93$GT_HAS_SUPERIOR_`
`static SubLSymbol`	`$sym98$GT_HAS_INFERIOR_`
`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

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_methods_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`gt_max_nodes_down(SubLObject nodes, SubLObject mt)` returns the least-subordinate elements of (permit search downwards in the hierarchy: expensive)
`static SubLObject`	`gt_max_nodes(SubLObject predicate, SubLObject v_forts, SubLObject mt, SubLObject direction)` Returns returns the least-subordinate elements of FORTS ( should be :up unless all nodes are low in the hierarchy)
`static SubLObject`	`gtm_max_nodes(SubLObject nodes, SubLObject mt, SubLObject direction)` Returns returns the least-subordinate elements of ( should be :up unless all nodes are low in the hierarchy)
`static SubLObject`	`init_gt_methods_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_methods_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$FORT_P

public static final SubLSymbol $sym0$FORT_P

$sym1$GT_TERM_P

public static final SubLSymbol $sym1$GT_TERM_P

$kw2$SUPERIORS

public static final SubLSymbol $kw2$SUPERIORS

$sym3$GT_SUPERIORS

public static final SubLSymbol $sym3$GT_SUPERIORS

$list4

public static final SubLList $list4

$str5$Returns_direct_superiors_of_FORT_

public static final SubLString $str5$Returns_direct_superiors_of_FORT_

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$kw8$GT_ERROR

public static final SubLSymbol $kw8$GT_ERROR

$kw9$GT_INDEX

public static final SubLSymbol $kw9$GT_INDEX

$kw10$SUPERIOR

public static final SubLSymbol $kw10$SUPERIOR

$str11$invalid_gt_mode___a

public static final SubLString $str11$invalid_gt_mode___a

$kw12$TRUE

public static final SubLSymbol $kw12$TRUE

$sym13$TRUTH_P

public static final SubLSymbol $sym13$TRUTH_P

$kw14$MIN_SUPERIORS

public static final SubLSymbol $kw14$MIN_SUPERIORS

$sym15$GT_MIN_SUPERIORS

public static final SubLSymbol $sym15$GT_MIN_SUPERIORS

$str16$Returns_minimal_superiors_of_FORT

public static final SubLString $str16$Returns_minimal_superiors_of_FORT

$kw17$INFERIORS

public static final SubLSymbol $kw17$INFERIORS

$sym18$GT_INFERIORS

public static final SubLSymbol $sym18$GT_INFERIORS

$str19$Returns_direct_inferiors_of_FORT_

public static final SubLString $str19$Returns_direct_inferiors_of_FORT_

$kw20$GT_GATHER

public static final SubLSymbol $kw20$GT_GATHER

$kw21$INFERIOR

public static final SubLSymbol $kw21$INFERIOR

$kw22$MAX_INFERIORS

public static final SubLSymbol $kw22$MAX_INFERIORS

$sym23$GT_MAX_INFERIORS

public static final SubLSymbol $sym23$GT_MAX_INFERIORS

$str24$Returns_maximal_inferiors_of_FORT

public static final SubLString $str24$Returns_maximal_inferiors_of_FORT

$kw25$CO_SUPERIORS

public static final SubLSymbol $kw25$CO_SUPERIORS

$sym26$GT_CO_SUPERIORS

public static final SubLSymbol $sym26$GT_CO_SUPERIORS

$str27$Returns_sibling_direct_superiors_

public static final SubLString $str27$Returns_sibling_direct_superiors_

$kw28$CO_INFERIORS

public static final SubLSymbol $kw28$CO_INFERIORS

$sym29$GT_CO_INFERIORS

public static final SubLSymbol $sym29$GT_CO_INFERIORS

$str30$Returns_sibling_direct_inferiors_

public static final SubLString $str30$Returns_sibling_direct_inferiors_

$kw31$REDUNDANT_SUPERIORS

public static final SubLSymbol $kw31$REDUNDANT_SUPERIORS

$sym32$GT_REDUNDANT_SUPERIORS

public static final SubLSymbol $sym32$GT_REDUNDANT_SUPERIORS

$str33$Returns_direct_superiors_of_FORT_

public static final SubLString $str33$Returns_direct_superiors_of_FORT_

$kw34$REDUNDANT_INFERIORS

public static final SubLSymbol $kw34$REDUNDANT_INFERIORS

$sym35$GT_REDUNDANT_INFERIORS

public static final SubLSymbol $sym35$GT_REDUNDANT_INFERIORS

$str36$Returns_direct_inferiors_of_FORT_

public static final SubLString $str36$Returns_direct_inferiors_of_FORT_

$kw37$ALL_SUPERIORS

public static final SubLSymbol $kw37$ALL_SUPERIORS

$sym38$GT_ALL_SUPERIORS

public static final SubLSymbol $sym38$GT_ALL_SUPERIORS

$str39$Returns_all_superiors_of_FORT_via

public static final SubLString $str39$Returns_all_superiors_of_FORT_via

$kw40$ALL_INFERIORS

public static final SubLSymbol $kw40$ALL_INFERIORS

$sym41$GT_ALL_INFERIORS

public static final SubLSymbol $sym41$GT_ALL_INFERIORS

$str42$Returns_all_inferiors_of_FORT_via

public static final SubLString $str42$Returns_all_inferiors_of_FORT_via

$kw43$UNION_ALL_INFERIORS

public static final SubLSymbol $kw43$UNION_ALL_INFERIORS

$kw44$ALL_ACCESSIBLE

public static final SubLSymbol $kw44$ALL_ACCESSIBLE

$sym45$GT_ALL_ACCESSIBLE

public static final SubLSymbol $sym45$GT_ALL_ACCESSIBLE

$str46$Returns_all_superiors_and_all_inf

public static final SubLString $str46$Returns_all_superiors_and_all_inf

$kw47$GT_EITHER

public static final SubLSymbol $kw47$GT_EITHER

$kw48$ACCESSIBLE

public static final SubLSymbol $kw48$ACCESSIBLE

$kw49$ROOTS

public static final SubLSymbol $kw49$ROOTS

$sym50$GT_ROOTS

public static final SubLSymbol $sym50$GT_ROOTS

$str51$Returns_maximal_superiors__i_e___

public static final SubLString $str51$Returns_maximal_superiors__i_e___

$kw52$LEAVES

public static final SubLSymbol $kw52$LEAVES

$sym53$GT_LEAVES

public static final SubLSymbol $sym53$GT_LEAVES

$str54$Returns_minimal_inferiors__i_e___

public static final SubLString $str54$Returns_minimal_inferiors__i_e___

$sym55$CONS

public static final SubLSymbol $sym55$CONS

$sym56$FUNCTION_SPEC_P

public static final SubLSymbol $sym56$FUNCTION_SPEC_P

$kw57$COMPOSE_FN_SUPERIORS

public static final SubLSymbol $kw57$COMPOSE_FN_SUPERIORS

$sym58$GT_COMPOSE_FN_ALL_SUPERIORS

public static final SubLSymbol $sym58$GT_COMPOSE_FN_ALL_SUPERIORS

$list59

public static final SubLList $list59

$str60$Apply_fn_to_each_superior_of_FORT

public static final SubLString $str60$Apply_fn_to_each_superior_of_FORT

$list61

public static final SubLList $list61

$kw62$COMPOSE_FN_INFERIORS

public static final SubLSymbol $kw62$COMPOSE_FN_INFERIORS

$sym63$GT_COMPOSE_FN_ALL_INFERIORS

public static final SubLSymbol $sym63$GT_COMPOSE_FN_ALL_INFERIORS

$list64

public static final SubLList $list64

$str65$Apply_fn_to_each_inferior_of_FORT

public static final SubLString $str65$Apply_fn_to_each_inferior_of_FORT

$sym66$PREDICATE_IN_ANY_MT_

public static final SubLSymbol $sym66$PREDICATE_IN_ANY_MT_

$kw67$COMPOSE_PRED_SUPERIORS

public static final SubLSymbol $kw67$COMPOSE_PRED_SUPERIORS

$sym68$GT_COMPOSE_PRED_ALL_SUPERIORS

public static final SubLSymbol $sym68$GT_COMPOSE_PRED_ALL_SUPERIORS

$list69

public static final SubLList $list69

$str70$Returns_all_nodes_accessible_by_C

public static final SubLString $str70$Returns_all_nodes_accessible_by_C

$list71

public static final SubLList $list71

$sym72$FIXNUMP

public static final SubLSymbol $sym72$FIXNUMP

$kw73$COMPOSE_PRED_INFERIORS

public static final SubLSymbol $kw73$COMPOSE_PRED_INFERIORS

$sym74$GT_COMPOSE_PRED_ALL_INFERIORS

public static final SubLSymbol $sym74$GT_COMPOSE_PRED_ALL_INFERIORS

$str75$Returns_all_nodes_accessible_by_C

public static final SubLString $str75$Returns_all_nodes_accessible_by_C

$kw76$ALL_DEPENDENT_INFERIORS

public static final SubLSymbol $kw76$ALL_DEPENDENT_INFERIORS

$sym77$GT_ALL_DEPENDENT_INFERIORS

public static final SubLSymbol $sym77$GT_ALL_DEPENDENT_INFERIORS

$str78$Returns_all_inferiors_i_of_FORT_s

public static final SubLString $str78$Returns_all_inferiors_i_of_FORT_s

$kw79$BOOLEAN_

public static final SubLSymbol $kw79$BOOLEAN_

$kw80$SUPERIOR_

public static final SubLSymbol $kw80$SUPERIOR_

$kw81$WHY_SUPERIOR_

public static final SubLSymbol $kw81$WHY_SUPERIOR_

$sym82$GT_WHY_SUPERIOR_

public static final SubLSymbol $sym82$GT_WHY_SUPERIOR_

$list83

public static final SubLList $list83

$str84$Returns_justification_of_why_SUPE

public static final SubLString $str84$Returns_justification_of_why_SUPE

$list85

public static final SubLList $list85

$list86

public static final SubLList $list86

$kw87$REFLEXIVE

public static final SubLSymbol $kw87$REFLEXIVE

$kw88$GENLPREDS

public static final SubLSymbol $kw88$GENLPREDS

$const89$genlInverse

public static final SubLObject $const89$genlInverse

$const90$genlPreds

public static final SubLObject $const90$genlPreds

$kw91$INFERIOR_

public static final SubLSymbol $kw91$INFERIOR_

$kw92$HAS_SUPERIOR_

public static final SubLSymbol $kw92$HAS_SUPERIOR_

$sym93$GT_HAS_SUPERIOR_

public static final SubLSymbol $sym93$GT_HAS_SUPERIOR_

$list94

public static final SubLList $list94

$str95$Returns_whetherfort_INFERIOR_is_h

public static final SubLString $str95$Returns_whetherfort_INFERIOR_is_h

$list96

public static final SubLList $list96

$list97

public static final SubLList $list97

$sym98$GT_HAS_INFERIOR_

public static final SubLSymbol $sym98$GT_HAS_INFERIOR_

$str99$Returns_whether_fort_SUPERIOR_is_

public static final SubLString $str99$Returns_whether_fort_SUPERIOR_is_

$kw100$GATHER_INFERIOR

public static final SubLSymbol $kw100$GATHER_INFERIOR

$kw101$GATHER_SUPERIOR

public static final SubLSymbol $kw101$GATHER_SUPERIOR

$kw102$CYCLES_

public static final SubLSymbol $kw102$CYCLES_

$sym103$GT_CYCLES_

public static final SubLSymbol $sym103$GT_CYCLES_

$str104$Returns_whether_FORT_is_accessibl

public static final SubLString $str104$Returns_whether_FORT_is_accessibl

$kw105$COMPLETES_CYCLE_

public static final SubLSymbol $kw105$COMPLETES_CYCLE_

$sym106$GT_COMPLETES_CYCLE_

public static final SubLSymbol $sym106$GT_COMPLETES_CYCLE_

$list107

public static final SubLList $list107

$str108$Returns_whether_a_transitive_path

public static final SubLString $str108$Returns_whether_a_transitive_path

$list109

public static final SubLList $list109

$kw110$WHY_COMPLETES_CYCLE_

public static final SubLSymbol $kw110$WHY_COMPLETES_CYCLE_

$sym111$GT_WHY_COMPLETES_CYCLE_

public static final SubLSymbol $sym111$GT_WHY_COMPLETES_CYCLE_

$str112$Returns_justification_that_a_tran

public static final SubLString $str112$Returns_justification_that_a_tran

$sym113$LISTP

public static final SubLSymbol $sym113$LISTP

$kw114$MIN_NODES

public static final SubLSymbol $kw114$MIN_NODES

$sym115$GT_MIN_NODES

public static final SubLSymbol $sym115$GT_MIN_NODES

$list116

public static final SubLList $list116

$str117$Returns_returns_the_most_subordin

public static final SubLString $str117$Returns_returns_the_most_subordin

$list118

public static final SubLList $list118

$sym119$GT_SEARCHED_

public static final SubLSymbol $sym119$GT_SEARCHED_

$kw120$MAX_NODES

public static final SubLSymbol $kw120$MAX_NODES

$sym121$GT_MAX_NODES

public static final SubLSymbol $sym121$GT_MAX_NODES

$list122

public static final SubLList $list122

$str123$Returns_returns_the_least_subordi

public static final SubLString $str123$Returns_returns_the_least_subordi

$kw124$UP

public static final SubLSymbol $kw124$UP

$kw125$DOWN

public static final SubLSymbol $kw125$DOWN

$sym126$GETHASH

public static final SubLSymbol $sym126$GETHASH

$sym127$MEMBER_

public static final SubLSymbol $sym127$MEMBER_

$kw128$MIN_CEILINGS

public static final SubLSymbol $kw128$MIN_CEILINGS

$sym129$GT_MIN_CEILINGS

public static final SubLSymbol $sym129$GT_MIN_CEILINGS

$list130

public static final SubLList $list130

$str131$Returns_the_most_subordinate_comm

public static final SubLString $str131$Returns_the_most_subordinate_comm

$int132$128

public static final SubLInteger $int132$128

$kw133$MAX_FLOORS

public static final SubLSymbol $kw133$MAX_FLOORS

$sym134$GT_MAX_FLOORS

public static final SubLSymbol $sym134$GT_MAX_FLOORS

$str135$Returns_the_least_subordinate_ele

public static final SubLString $str135$Returns_the_least_subordinate_ele

$kw136$MIN_SUPERIORS_EXCLUDING

public static final SubLSymbol $kw136$MIN_SUPERIORS_EXCLUDING

$sym137$GT_MIN_SUPERIORS_EXCLUDING

public static final SubLSymbol $sym137$GT_MIN_SUPERIORS_EXCLUDING

$str138$Returns_least_general_superiors_o

public static final SubLString $str138$Returns_least_general_superiors_o

$kw139$MAX_INFERIORS_EXCLUDING

public static final SubLSymbol $kw139$MAX_INFERIORS_EXCLUDING

$sym140$GT_MAX_INFERIORS_EXCLUDING

public static final SubLSymbol $sym140$GT_MAX_INFERIORS_EXCLUDING

$str141$Returns_most_general_inferiors_of

public static final SubLString $str141$Returns_most_general_inferiors_of

$kw142$ALL_SUPERIOR_EDGES

public static final SubLSymbol $kw142$ALL_SUPERIOR_EDGES

$kw143$ALL_INFERIOR_EDGES

public static final SubLSymbol $kw143$ALL_INFERIOR_EDGES

$kw144$ALL_PATHS

public static final SubLSymbol $kw144$ALL_PATHS

$kw145$SUPERIOR_IN_WHAT_MTS

public static final SubLSymbol $kw145$SUPERIOR_IN_WHAT_MTS

$kw146$HIERARCHICALLY_DIRECT

public static final SubLSymbol $kw146$HIERARCHICALLY_DIRECT

$str147$illegal_value_for_method_of_which

public static final SubLString $str147$illegal_value_for_method_of_which

$sym148$RELEVANT_MT_IS_ANY_MT

public static final SubLSymbol $sym148$RELEVANT_MT_IS_ANY_MT

$const149$InferencePSC

public static final SubLObject $const149$InferencePSC

$kw150$INFERIORS_WITH_MTS

public static final SubLSymbol $kw150$INFERIORS_WITH_MTS

$sym151$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym151$RELEVANT_MT_IS_EVERYTHING

$const152$EverythingPSC

public static final SubLObject $const152$EverythingPSC

$const153$genls

public static final SubLObject $const153$genls

$str154$before_gathering_instances

public static final SubLString $str154$before_gathering_instances

$sym155$ADD_RESULT_TO_GT_RESULT

public static final SubLSymbol $sym155$ADD_RESULT_TO_GT_RESULT

$const156$isa

public static final SubLObject $const156$isa

$str157$after_instances__before_maximin

public static final SubLString $str157$after_instances__before_maximin

$str158$after_maximin

public static final SubLString $str158$after_maximin

$const159$genlMt

public static final SubLObject $const159$genlMt

$kw160$ANY_SUPERIOR_PATH

public static final SubLSymbol $kw160$ANY_SUPERIOR_PATH

$sym161$GT_ANY_SUPERIOR_PATH

public static final SubLSymbol $sym161$GT_ANY_SUPERIOR_PATH

$str162$Returns_list_of_nodes_connecting_

public static final SubLString $str162$Returns_list_of_nodes_connecting_

Method Detail

gt_max_nodes

public static final SubLObject gt_max_nodes(SubLObject predicate,
                                            SubLObject v_forts,
                                            SubLObject mt,
                                            SubLObject direction)

Returns returns the least-subordinate elements of FORTS ( should be :up unless all nodes are low in the hierarchy)

gtm_max_nodes

public static final SubLObject gtm_max_nodes(SubLObject nodes,
                                             SubLObject mt,
                                             SubLObject direction)

Returns returns the least-subordinate elements of ( should be :up unless all nodes are low in the hierarchy)

gt_max_nodes_down

public static final SubLObject gt_max_nodes_down(SubLObject nodes,
                                                 SubLObject mt)

returns the least-subordinate elements of (permit search downwards in the hierarchy: expensive)

declare_gt_methods_file

public static final SubLObject declare_gt_methods_file()

init_gt_methods_file

public static final SubLObject init_gt_methods_file()

setup_gt_methods_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class gt_methods

me

myName

$sym0$FORT_P

$sym1$GT_TERM_P

$kw2$SUPERIORS

$sym3$GT_SUPERIORS

$list4

$str5$Returns_direct_superiors_of_FORT_

$list6

$list7

$kw8$GT_ERROR

$kw9$GT_INDEX

$kw10$SUPERIOR

$str11$invalid_gt_mode___a

$kw12$TRUE

$sym13$TRUTH_P

$kw14$MIN_SUPERIORS

$sym15$GT_MIN_SUPERIORS

$str16$Returns_minimal_superiors_of_FORT

$kw17$INFERIORS

$sym18$GT_INFERIORS

$str19$Returns_direct_inferiors_of_FORT_

$kw20$GT_GATHER

$kw21$INFERIOR

$kw22$MAX_INFERIORS

$sym23$GT_MAX_INFERIORS

$str24$Returns_maximal_inferiors_of_FORT

$kw25$CO_SUPERIORS

$sym26$GT_CO_SUPERIORS

$str27$Returns_sibling_direct_superiors_

$kw28$CO_INFERIORS

$sym29$GT_CO_INFERIORS

$str30$Returns_sibling_direct_inferiors_

$kw31$REDUNDANT_SUPERIORS

$sym32$GT_REDUNDANT_SUPERIORS

$str33$Returns_direct_superiors_of_FORT_

$kw34$REDUNDANT_INFERIORS

$sym35$GT_REDUNDANT_INFERIORS

$str36$Returns_direct_inferiors_of_FORT_

$kw37$ALL_SUPERIORS

$sym38$GT_ALL_SUPERIORS

$str39$Returns_all_superiors_of_FORT_via

$kw40$ALL_INFERIORS

$sym41$GT_ALL_INFERIORS

$str42$Returns_all_inferiors_of_FORT_via

$kw43$UNION_ALL_INFERIORS

$kw44$ALL_ACCESSIBLE

$sym45$GT_ALL_ACCESSIBLE

$str46$Returns_all_superiors_and_all_inf

$kw47$GT_EITHER

$kw48$ACCESSIBLE

$kw49$ROOTS

$sym50$GT_ROOTS

$str51$Returns_maximal_superiors__i_e___

$kw52$LEAVES

$sym53$GT_LEAVES

$str54$Returns_minimal_inferiors__i_e___

$sym55$CONS

$sym56$FUNCTION_SPEC_P

$kw57$COMPOSE_FN_SUPERIORS

$sym58$GT_COMPOSE_FN_ALL_SUPERIORS

$list59

$str60$Apply_fn_to_each_superior_of_FORT

$list61

$kw62$COMPOSE_FN_INFERIORS

$sym63$GT_COMPOSE_FN_ALL_INFERIORS

$list64

$str65$Apply_fn_to_each_inferior_of_FORT

$sym66$PREDICATE_IN_ANY_MT_

$kw67$COMPOSE_PRED_SUPERIORS

$sym68$GT_COMPOSE_PRED_ALL_SUPERIORS

$list69

$str70$Returns_all_nodes_accessible_by_C

$list71

$sym72$FIXNUMP

$kw73$COMPOSE_PRED_INFERIORS

$sym74$GT_COMPOSE_PRED_ALL_INFERIORS

$str75$Returns_all_nodes_accessible_by_C

$kw76$ALL_DEPENDENT_INFERIORS

com.cyc.cycjava.cycl
Class gt_methods