genls

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 genls

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class genls
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`	`$const0$genls`
`static SubLObject`	`$const140$termOfUnit`
`static SubLObject`	`$const142$resultGenl`
`static SubLObject`	`$const143$resultGenlArg`
`static SubLObject`	`$const144$interArgResultGenl`
`static SubLObject`	`$const145$interArgResultGenlReln`
`static SubLObject`	`$const183$coExtensional`
`static SubLObject`	`$const21$EverythingPSC`
`static SubLObject`	`$const93$preservesGenlsInArg`
`static SubLSymbol`	`$kw134$TRUE`
`static SubLSymbol`	`$kw135$GAF`
`static SubLSymbol`	`$kw26$DESCENDING`
`static SubLSymbol`	`$kw27$BREADTH`
`static SubLSymbol`	`$kw28$QUEUE`
`static SubLSymbol`	`$kw29$STACK`
`static SubLSymbol`	`$kw31$ERROR`
`static SubLSymbol`	`$kw34$CERROR`
`static SubLSymbol`	`$kw36$WARN`
`static SubLSymbol`	`$kw42$INVALID_ITERATION_TERM`
`static SubLSymbol`	`$kw9$FALSE`
`static SubLList`	`$list101`
`static SubLList`	`$list107`
`static SubLList`	`$list109`
`static SubLList`	`$list115`
`static SubLList`	`$list117`
`static SubLList`	`$list119`
`static SubLList`	`$list121`
`static SubLList`	`$list123`
`static SubLList`	`$list125`
`static SubLList`	`$list129`
`static SubLList`	`$list131`
`static SubLList`	`$list137`
`static SubLList`	`$list139`
`static SubLList`	`$list141`
`static SubLList`	`$list149`
`static SubLList`	`$list156`
`static SubLList`	`$list159`
`static SubLList`	`$list163`
`static SubLList`	`$list168`
`static SubLList`	`$list170`
`static SubLList`	`$list172`
`static SubLList`	`$list174`
`static SubLList`	`$list176`
`static SubLList`	`$list181`
`static SubLList`	`$list2`
`static SubLList`	`$list4`
`static SubLList`	`$list44`
`static SubLList`	`$list46`
`static SubLList`	`$list47`
`static SubLList`	`$list49`
`static SubLList`	`$list51`
`static SubLList`	`$list54`
`static SubLList`	`$list56`
`static SubLList`	`$list62`
`static SubLList`	`$list64`
`static SubLList`	`$list69`
`static SubLList`	`$list71`
`static SubLList`	`$list78`
`static SubLList`	`$list8`
`static SubLList`	`$list80`
`static SubLList`	`$list89`
`static SubLList`	`$list91`
`static SubLList`	`$list92`
`static SubLList`	`$list95`
`static SubLList`	`$list97`
`static SubLList`	`$list99`
`static SubLString`	`$str100$Returns_T_iff__spec__genl_spec__f`
`static SubLString`	`$str103$Returns_T_iff__genl__spec_genl__f`
`static SubLString`	`$str105$Returns_T_iff__spec__genl_spec__f`
`static SubLString`	`$str108$Return_T_iff__genl__spec_genl_mt_`
`static SubLString`	`$str11$Returns_the_least_specific_specs_`
`static SubLString`	`$str111$Return_T_iff__genl__spec_genl_mt_`
`static SubLString`	`$str113$Return_T_iff_for_each_spec_in_SPE`
`static SubLString`	`$str116$Return_whether_collection_NOT_GEN`
`static SubLString`	`$str120$Return_whether_every_collection_i`
`static SubLString`	`$str124$Returns_whether_any_collection_in`
`static SubLString`	`$str13$Returns_the_most_specific_negated`
`static SubLString`	`$str130$Are_COL_1_and_COL_2_coextensional`
`static SubLString`	`$str133$Do_collections_COL_1_and_COL_2_in`
`static SubLString`	`$str138$Justification_of__genls_SPEC_GENL`
`static SubLString`	`$str147$Justification_of__not__genls_SPEC`
`static SubLString`	`$str15$Returns_the_direct_genls_of_those`
`static SubLString`	`$str150$Justification_of_why_asserting__g`
`static SubLString`	`$str152$Returns_the_minimally_general__th`
`static SubLString`	`$str155$Returns_the_minimally_general__th`
`static SubLString`	`$str158$Returns_the_single_minimally_gene`
`static SubLString`	`$str161$Returns_the_most_general_among_re`
`static SubLString`	`$str164$Returns_the_most_specific_common_`
`static SubLString`	`$str166$Returns_the_most_general_common_s`
`static SubLString`	`$str169$Return_some_genl_of_COL_that_isa_`
`static SubLString`	`$str17$Returns_the_direct_specs_of_those`
`static SubLString`	`$str173$Return_COL_B_iff_it_has_fewer_spe`
`static SubLString`	`$str177$Return_the_collection_having_the_`
`static SubLString`	`$str179$Return_COL_B_iff_it_has_fewer_gen`
`static SubLString`	`$str182$_return_listp__Returns_in_what__m`
`static SubLString`	`$str19$Returns_all_genls_of_collection_C`
`static SubLString`	`$str25$Returns_all_specs_of_collection_C`
`static SubLString`	`$str3$Returns_the_most_specific_genls_o`
`static SubLString`	`$str32$_A_is_not_a__A`
`static SubLString`	`$str35$continue_anyway`
`static SubLString`	`$str37$_A_is_not_a_valid__sbhl_type_erro`
`static SubLString`	`$str38$attempting_to_bind_direction_link`
`static SubLString`	`$str39$Node__a_does_not_pass_sbhl_type_t`
`static SubLString`	`$str45$Counts_the_number_of_specs_in_COL`
`static SubLString`	`$str50$Returns_all_genls_of_collection_S`
`static SubLString`	`$str55$Returns_all_genls_of_each_collect`
`static SubLString`	`$str58$Returns_all_specs_of_each_collect`
`static SubLString`	`$str60$Returns_all_specs_s_of_COL_s_t__e`
`static SubLString`	`$str63$Returns_those_genls_of_COL_that_a`
`static SubLString`	`$str66$Returns_those_specs_of_COL_that_a`
`static SubLString`	`$str7$Returns_the_least_specific_negate`
`static SubLString`	`$str70$Returns_all_genls_of_collection_C`
`static SubLString`	`$str74$Returns_all_negated_genls_of_coll`
`static SubLString`	`$str76$Returns_all_negated_specs_of_coll`
`static SubLString`	`$str79$Applies_FN_to_every__all__genls_o`
`static SubLString`	`$str82$Applies_FN_to_every__all__specs_o`
`static SubLString`	`$str84$Return_a_non_nil_result_of_applyi`
`static SubLString`	`$str86$Return_a_non_nil_result_of_applyi`
`static SubLString`	`$str88$Returns_whether____genls_SPEC_GEN`
`static SubLString`	`$str96$_any_genl__spec_genls__is_t_iff__`
`static SubLSymbol`	`$sym1$MIN_GENLS`
`static SubLSymbol`	`$sym10$MAX_SPECS`
`static SubLSymbol`	`$sym102$ALL_GENL_`
`static SubLSymbol`	`$sym104$ALL_SPEC_`
`static SubLSymbol`	`$sym106$ANY_GENL_ANY_`
`static SubLSymbol`	`$sym110$ANY_GENL_ALL_`
`static SubLSymbol`	`$sym112$ALL_SPEC_ANY_`
`static SubLSymbol`	`$sym114$NOT_GENL_`
`static SubLSymbol`	`$sym118$ALL_NOT_SPEC_`
`static SubLSymbol`	`$sym12$MIN_NOT_SPECS`
`static SubLSymbol`	`$sym122$ANY_NOT_GENL_`
`static SubLSymbol`	`$sym126$FORT_P`
`static SubLSymbol`	`$sym127$HLMT_P`
`static SubLSymbol`	`$sym128$COLLECTIONS_COEXTENSIONAL_`
`static SubLSymbol`	`$sym132$COLLECTIONS_INTERSECT_`
`static SubLSymbol`	`$sym136$WHY_GENL_`
`static SubLSymbol`	`$sym14$GENL_SIBLINGS`
`static SubLSymbol`	`$sym146$WHY_NOT_GENL_`
`static SubLSymbol`	`$sym148$WHY_NOT_ASSERT_GENLS_`
`static SubLSymbol`	`$sym151$COLLECTION_LEAVES`
`static SubLSymbol`	`$sym153$LIST_OF_COLLECTIONS_P`
`static SubLSymbol`	`$sym154$MIN_COLS`
`static SubLSymbol`	`$sym157$MIN_COL`
`static SubLSymbol`	`$sym16$SPEC_SIBLINGS`
`static SubLSymbol`	`$sym160$MAX_COLS`
`static SubLSymbol`	`$sym162$MIN_CEILING_COLS`
`static SubLSymbol`	`$sym165$MAX_FLOOR_COLS`
`static SubLSymbol`	`$sym167$ANY_GENL_ISA`
`static SubLSymbol`	`$sym171$LIGHTER_COL`
`static SubLSymbol`	`$sym175$LIGHTEST_OF_COLS`
`static SubLSymbol`	`$sym178$SHALLOWER_COL`
`static SubLSymbol`	`$sym18$ALL_GENLS`
`static SubLSymbol`	`$sym180$MAX_FLOOR_MTS_OF_GENLS_PATHS`
`static SubLSymbol`	`$sym184$GENLS_AFTER_ADDING`
`static SubLSymbol`	`$sym185$GENLS_AFTER_REMOVING`
`static SubLSymbol`	`$sym20$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym22$RELEVANT_MT_IS_EQ`
`static SubLSymbol`	`$sym23$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER`
`static SubLSymbol`	`$sym24$ALL_SPECS`
`static SubLSymbol`	`$sym30$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym33$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym40$ALL_SPECS_WITH_MAX`
`static SubLSymbol`	`$sym41$INTEGERP`
`static SubLSymbol`	`$sym43$COUNT_ALL_SPECS`
`static SubLSymbol`	`$sym48$ALL_GENLS_WRT`
`static SubLSymbol`	`$sym5$EL_FORT_P`
`static SubLSymbol`	`$sym52$LISTP`
`static SubLSymbol`	`$sym53$UNION_ALL_GENLS`
`static SubLSymbol`	`$sym57$UNION_ALL_SPECS`
`static SubLSymbol`	`$sym59$ALL_DEPENDENT_SPECS`
`static SubLSymbol`	`$sym6$MAX_NOT_GENLS`
`static SubLSymbol`	`$sym61$ALL_GENLS_AMONG`
`static SubLSymbol`	`$sym65$ALL_SPECS_AMONG`
`static SubLSymbol`	`$sym67$FUNCTION_SPEC_P`
`static SubLSymbol`	`$sym68$ALL_GENLS_IF`
`static SubLSymbol`	`$sym72$ALL_SPECS_IF`
`static SubLSymbol`	`$sym73$ALL_NOT_GENLS`
`static SubLSymbol`	`$sym75$ALL_NOT_SPECS`
`static SubLSymbol`	`$sym77$MAP_ALL_GENLS`
`static SubLSymbol`	`$sym81$MAP_ALL_SPECS`
`static SubLSymbol`	`$sym83$ANY_ALL_GENLS`
`static SubLSymbol`	`$sym85$ANY_ALL_SPECS`
`static SubLSymbol`	`$sym87$GENL_`
`static SubLSymbol`	`$sym90$SPEC_`
`static SubLSymbol`	`$sym94$ANY_GENL_`
`static SubLSymbol`	`$sym98$ANY_SPEC_`
`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`	`all_genls(SubLObject col, SubLObject mt, SubLObject tv)` Returns all genls of collection COL (ascending transitive closure; inexpensive)
`static SubLObject`	`all_specs(SubLObject col, SubLObject mt, SubLObject tv)` Returns all specs of collection COL (descending transitive closure; expensive)
`static SubLObject`	`any_specP(SubLObject genl, SubLObject specs, SubLObject mt, SubLObject tv)` Returns T iff (spec? genl spec) for some spec in SPECS
`static SubLObject`	`asserted_genls(SubLObject col, SubLObject mt)`
`static SubLObject`	`asserted_genlsP(SubLObject col, SubLObject mt)`
`static SubLObject`	`declare_genls_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`gather_all_genls(SubLObject fn, SubLObject col, SubLObject mt, SubLObject tv, SubLObject combine_fn)` gather results of applying FN to every (all) genls of COL (FN must not effect the current sbhl space)
`static SubLObject`	`genlP(SubLObject spec, SubLObject genl, SubLObject mt, SubLObject tv)` Returns whether (#$genls SPEC GENL) can be inferred.
`static SubLObject`	`genls_after_adding(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`genls_after_removing(SubLObject source, SubLObject assertion)` Modifier.
`static SubLObject`	`genlsP(SubLObject spec, SubLObject genl, SubLObject mt, SubLObject tv)` is collection GENL a genl of SPEC? (ascending transitive search; inexpensive)
`static SubLObject`	`handle_more_specific_genl(SubLObject spec, SubLObject genl)` Modifier.
`static SubLObject`	`init_genls_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`min_cols(SubLObject cols, SubLObject mt, SubLObject tv)` Returns the minimally-general (the most specific) among reified collections COLS, collections that have no proper specs among COLS
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_genls_file()`
`static SubLObject`	`specP(SubLObject genl, SubLObject spec, SubLObject mt, SubLObject tv)` Returns whether (#$genls SPEC GENL) can be inferred.

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

$const0$genls

public static final SubLObject $const0$genls

$sym1$MIN_GENLS

public static final SubLSymbol $sym1$MIN_GENLS

$list2

public static final SubLList $list2

$str3$Returns_the_most_specific_genls_o

public static final SubLString $str3$Returns_the_most_specific_genls_o

$list4

public static final SubLList $list4

$sym5$EL_FORT_P

public static final SubLSymbol $sym5$EL_FORT_P

$sym6$MAX_NOT_GENLS

public static final SubLSymbol $sym6$MAX_NOT_GENLS

$str7$Returns_the_least_specific_negate

public static final SubLString $str7$Returns_the_least_specific_negate

$list8

public static final SubLList $list8

$kw9$FALSE

public static final SubLSymbol $kw9$FALSE

$sym10$MAX_SPECS

public static final SubLSymbol $sym10$MAX_SPECS

$str11$Returns_the_least_specific_specs_

public static final SubLString $str11$Returns_the_least_specific_specs_

$sym12$MIN_NOT_SPECS

public static final SubLSymbol $sym12$MIN_NOT_SPECS

$str13$Returns_the_most_specific_negated

public static final SubLString $str13$Returns_the_most_specific_negated

$sym14$GENL_SIBLINGS

public static final SubLSymbol $sym14$GENL_SIBLINGS

$str15$Returns_the_direct_genls_of_those

public static final SubLString $str15$Returns_the_direct_genls_of_those

$sym16$SPEC_SIBLINGS

public static final SubLSymbol $sym16$SPEC_SIBLINGS

$str17$Returns_the_direct_specs_of_those

public static final SubLString $str17$Returns_the_direct_specs_of_those

$sym18$ALL_GENLS

public static final SubLSymbol $sym18$ALL_GENLS

$str19$Returns_all_genls_of_collection_C

public static final SubLString $str19$Returns_all_genls_of_collection_C

$sym20$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym20$RELEVANT_MT_IS_EVERYTHING

$const21$EverythingPSC

public static final SubLObject $const21$EverythingPSC

$sym22$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym22$RELEVANT_MT_IS_EQ

$sym23$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

public static final SubLSymbol $sym23$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$sym24$ALL_SPECS

public static final SubLSymbol $sym24$ALL_SPECS

$str25$Returns_all_specs_of_collection_C

public static final SubLString $str25$Returns_all_specs_of_collection_C

$kw26$DESCENDING

public static final SubLSymbol $kw26$DESCENDING

$kw27$BREADTH

public static final SubLSymbol $kw27$BREADTH

$kw28$QUEUE

public static final SubLSymbol $kw28$QUEUE

$kw29$STACK

public static final SubLSymbol $kw29$STACK

$sym30$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym30$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw31$ERROR

public static final SubLSymbol $kw31$ERROR

$str32$_A_is_not_a__A

public static final SubLString $str32$_A_is_not_a__A

$sym33$SBHL_TRUE_TV_P

public static final SubLSymbol $sym33$SBHL_TRUE_TV_P

$kw34$CERROR

public static final SubLSymbol $kw34$CERROR

$str35$continue_anyway

public static final SubLString $str35$continue_anyway

$kw36$WARN

public static final SubLSymbol $kw36$WARN

$str37$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str37$_A_is_not_a_valid__sbhl_type_erro

$str38$attempting_to_bind_direction_link

public static final SubLString $str38$attempting_to_bind_direction_link

$str39$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str39$Node__a_does_not_pass_sbhl_type_t

$sym40$ALL_SPECS_WITH_MAX

public static final SubLSymbol $sym40$ALL_SPECS_WITH_MAX

$sym41$INTEGERP

public static final SubLSymbol $sym41$INTEGERP

$kw42$INVALID_ITERATION_TERM

public static final SubLSymbol $kw42$INVALID_ITERATION_TERM

$sym43$COUNT_ALL_SPECS

public static final SubLSymbol $sym43$COUNT_ALL_SPECS

$list44

public static final SubLList $list44

$str45$Counts_the_number_of_specs_in_COL

public static final SubLString $str45$Counts_the_number_of_specs_in_COL

$list46

public static final SubLList $list46

$list47

public static final SubLList $list47

$sym48$ALL_GENLS_WRT

public static final SubLSymbol $sym48$ALL_GENLS_WRT

$list49

public static final SubLList $list49

$str50$Returns_all_genls_of_collection_S

public static final SubLString $str50$Returns_all_genls_of_collection_S

$list51

public static final SubLList $list51

$sym52$LISTP

public static final SubLSymbol $sym52$LISTP

$sym53$UNION_ALL_GENLS

public static final SubLSymbol $sym53$UNION_ALL_GENLS

$list54

public static final SubLList $list54

$str55$Returns_all_genls_of_each_collect

public static final SubLString $str55$Returns_all_genls_of_each_collect

$list56

public static final SubLList $list56

$sym57$UNION_ALL_SPECS

public static final SubLSymbol $sym57$UNION_ALL_SPECS

$str58$Returns_all_specs_of_each_collect

public static final SubLString $str58$Returns_all_specs_of_each_collect

$sym59$ALL_DEPENDENT_SPECS

public static final SubLSymbol $sym59$ALL_DEPENDENT_SPECS

$str60$Returns_all_specs_s_of_COL_s_t__e

public static final SubLString $str60$Returns_all_specs_s_of_COL_s_t__e

$sym61$ALL_GENLS_AMONG

public static final SubLSymbol $sym61$ALL_GENLS_AMONG

$list62

public static final SubLList $list62

$str63$Returns_those_genls_of_COL_that_a

public static final SubLString $str63$Returns_those_genls_of_COL_that_a

$list64

public static final SubLList $list64

$sym65$ALL_SPECS_AMONG

public static final SubLSymbol $sym65$ALL_SPECS_AMONG

$str66$Returns_those_specs_of_COL_that_a

public static final SubLString $str66$Returns_those_specs_of_COL_that_a

$sym67$FUNCTION_SPEC_P

public static final SubLSymbol $sym67$FUNCTION_SPEC_P

$sym68$ALL_GENLS_IF

public static final SubLSymbol $sym68$ALL_GENLS_IF

$list69

public static final SubLList $list69

$str70$Returns_all_genls_of_collection_C

public static final SubLString $str70$Returns_all_genls_of_collection_C

$list71

public static final SubLList $list71

$sym72$ALL_SPECS_IF

public static final SubLSymbol $sym72$ALL_SPECS_IF

$sym73$ALL_NOT_GENLS

public static final SubLSymbol $sym73$ALL_NOT_GENLS

$str74$Returns_all_negated_genls_of_coll

public static final SubLString $str74$Returns_all_negated_genls_of_coll

$sym75$ALL_NOT_SPECS

public static final SubLSymbol $sym75$ALL_NOT_SPECS

$str76$Returns_all_negated_specs_of_coll

public static final SubLString $str76$Returns_all_negated_specs_of_coll

$sym77$MAP_ALL_GENLS

public static final SubLSymbol $sym77$MAP_ALL_GENLS

$list78

public static final SubLList $list78

$str79$Applies_FN_to_everyallgenls_o

public static final SubLString $str79$Applies_FN_to_every__all__genls_o

$list80

public static final SubLList $list80

$sym81$MAP_ALL_SPECS

public static final SubLSymbol $sym81$MAP_ALL_SPECS

$str82$Applies_FN_to_everyallspecs_o

public static final SubLString $str82$Applies_FN_to_every__all__specs_o

$sym83$ANY_ALL_GENLS

public static final SubLSymbol $sym83$ANY_ALL_GENLS

$str84$Return_a_non_nil_result_of_applyi

public static final SubLString $str84$Return_a_non_nil_result_of_applyi

$sym85$ANY_ALL_SPECS

public static final SubLSymbol $sym85$ANY_ALL_SPECS

$str86$Return_a_non_nil_result_of_applyi

public static final SubLString $str86$Return_a_non_nil_result_of_applyi

$sym87$GENL_

public static final SubLSymbol $sym87$GENL_

$str88$Returns_whether____genls_SPEC_GEN

public static final SubLString $str88$Returns_whether____genls_SPEC_GEN

$list89

public static final SubLList $list89

$sym90$SPEC_

public static final SubLSymbol $sym90$SPEC_

$list91

public static final SubLList $list91

$list92

public static final SubLList $list92

$const93$preservesGenlsInArg

public static final SubLObject $const93$preservesGenlsInArg

$sym94$ANY_GENL_

public static final SubLSymbol $sym94$ANY_GENL_

$list95

public static final SubLList $list95

$str96$_any_genl__spec_genls__is_t_iff__

public static final SubLString $str96$_any_genl__spec_genls__is_t_iff__

$list97

public static final SubLList $list97

$sym98$ANY_SPEC_

public static final SubLSymbol $sym98$ANY_SPEC_

$list99

public static final SubLList $list99

$str100$Returns_T_iffspecgenl_spec__f

public static final SubLString $str100$Returns_T_iff__spec__genl_spec__f

$list101

public static final SubLList $list101

$sym102$ALL_GENL_

public static final SubLSymbol $sym102$ALL_GENL_

$str103$Returns_T_iffgenlspec_genl__f

public static final SubLString $str103$Returns_T_iff__genl__spec_genl__f

$sym104$ALL_SPEC_

public static final SubLSymbol $sym104$ALL_SPEC_

$str105$Returns_T_iffspecgenl_spec__f

public static final SubLString $str105$Returns_T_iff__spec__genl_spec__f

$sym106$ANY_GENL_ANY_

public static final SubLSymbol $sym106$ANY_GENL_ANY_

$list107

public static final SubLList $list107

$str108$Return_T_iffgenlspec_genl_mt_

public static final SubLString $str108$Return_T_iff__genl__spec_genl_mt_

$list109

public static final SubLList $list109

$sym110$ANY_GENL_ALL_

public static final SubLSymbol $sym110$ANY_GENL_ALL_

$str111$Return_T_iffgenlspec_genl_mt_

public static final SubLString $str111$Return_T_iff__genl__spec_genl_mt_

$sym112$ALL_SPEC_ANY_

public static final SubLSymbol $sym112$ALL_SPEC_ANY_

$str113$Return_T_iff_for_each_spec_in_SPE

public static final SubLString $str113$Return_T_iff_for_each_spec_in_SPE

$sym114$NOT_GENL_

public static final SubLSymbol $sym114$NOT_GENL_

$list115

public static final SubLList $list115

$str116$Return_whether_collection_NOT_GEN

public static final SubLString $str116$Return_whether_collection_NOT_GEN

$list117

public static final SubLList $list117

$sym118$ALL_NOT_SPEC_

public static final SubLSymbol $sym118$ALL_NOT_SPEC_

$list119

public static final SubLList $list119

$str120$Return_whether_every_collection_i

public static final SubLString $str120$Return_whether_every_collection_i

$list121

public static final SubLList $list121

$sym122$ANY_NOT_GENL_

public static final SubLSymbol $sym122$ANY_NOT_GENL_

$list123

public static final SubLList $list123

$str124$Returns_whether_any_collection_in

public static final SubLString $str124$Returns_whether_any_collection_in

$list125

public static final SubLList $list125

$sym126$FORT_P

public static final SubLSymbol $sym126$FORT_P

$sym127$HLMT_P

public static final SubLSymbol $sym127$HLMT_P

$sym128$COLLECTIONS_COEXTENSIONAL_

public static final SubLSymbol $sym128$COLLECTIONS_COEXTENSIONAL_

$list129

public static final SubLList $list129

$str130$Are_COL_1_and_COL_2_coextensional

public static final SubLString $str130$Are_COL_1_and_COL_2_coextensional

$list131

public static final SubLList $list131

$sym132$COLLECTIONS_INTERSECT_

public static final SubLSymbol $sym132$COLLECTIONS_INTERSECT_

$str133$Do_collections_COL_1_and_COL_2_in

public static final SubLString $str133$Do_collections_COL_1_and_COL_2_in

$kw134$TRUE

public static final SubLSymbol $kw134$TRUE

$kw135$GAF

public static final SubLSymbol $kw135$GAF

$sym136$WHY_GENL_

public static final SubLSymbol $sym136$WHY_GENL_

$list137

public static final SubLList $list137

$str138$Justification_of__genls_SPEC_GENL

public static final SubLString $str138$Justification_of__genls_SPEC_GENL

$list139

public static final SubLList $list139

$const140$termOfUnit

public static final SubLObject $const140$termOfUnit

$list141

public static final SubLList $list141

$const142$resultGenl

public static final SubLObject $const142$resultGenl

$const143$resultGenlArg

public static final SubLObject $const143$resultGenlArg

$const144$interArgResultGenl

public static final SubLObject $const144$interArgResultGenl

$const145$interArgResultGenlReln

public static final SubLObject $const145$interArgResultGenlReln

$sym146$WHY_NOT_GENL_

public static final SubLSymbol $sym146$WHY_NOT_GENL_

$str147$Justification_ofnotgenls_SPEC

public static final SubLString $str147$Justification_of__not__genls_SPEC

$sym148$WHY_NOT_ASSERT_GENLS_

public static final SubLSymbol $sym148$WHY_NOT_ASSERT_GENLS_

$list149

public static final SubLList $list149

$str150$Justification_of_why_asserting__g

public static final SubLString $str150$Justification_of_why_asserting__g

$sym151$COLLECTION_LEAVES

public static final SubLSymbol $sym151$COLLECTION_LEAVES

$str152$Returns_the_minimally_general__th

public static final SubLString $str152$Returns_the_minimally_general__th

$sym153$LIST_OF_COLLECTIONS_P

public static final SubLSymbol $sym153$LIST_OF_COLLECTIONS_P

$sym154$MIN_COLS

public static final SubLSymbol $sym154$MIN_COLS

$str155$Returns_the_minimally_general__th

public static final SubLString $str155$Returns_the_minimally_general__th

$list156

public static final SubLList $list156

$sym157$MIN_COL

public static final SubLSymbol $sym157$MIN_COL

$str158$Returns_the_single_minimally_gene

public static final SubLString $str158$Returns_the_single_minimally_gene

$list159

public static final SubLList $list159

$sym160$MAX_COLS

public static final SubLSymbol $sym160$MAX_COLS

$str161$Returns_the_most_general_among_re

public static final SubLString $str161$Returns_the_most_general_among_re

$sym162$MIN_CEILING_COLS

public static final SubLSymbol $sym162$MIN_CEILING_COLS

$list163

public static final SubLList $list163

$str164$Returns_the_most_specific_common_

public static final SubLString $str164$Returns_the_most_specific_common_

$sym165$MAX_FLOOR_COLS

public static final SubLSymbol $sym165$MAX_FLOOR_COLS

$str166$Returns_the_most_general_common_s

public static final SubLString $str166$Returns_the_most_general_common_s

$sym167$ANY_GENL_ISA

public static final SubLSymbol $sym167$ANY_GENL_ISA

$list168

public static final SubLList $list168

$str169$Return_some_genl_of_COL_that_isa_

public static final SubLString $str169$Return_some_genl_of_COL_that_isa_

$list170

public static final SubLList $list170

$sym171$LIGHTER_COL

public static final SubLSymbol $sym171$LIGHTER_COL

$list172

public static final SubLList $list172

$str173$Return_COL_B_iff_it_has_fewer_spe

public static final SubLString $str173$Return_COL_B_iff_it_has_fewer_spe

$list174

public static final SubLList $list174

$sym175$LIGHTEST_OF_COLS

public static final SubLSymbol $sym175$LIGHTEST_OF_COLS

$list176

public static final SubLList $list176

$str177$Return_the_collection_having_the_

public static final SubLString $str177$Return_the_collection_having_the_

$sym178$SHALLOWER_COL

public static final SubLSymbol $sym178$SHALLOWER_COL

$str179$Return_COL_B_iff_it_has_fewer_gen

public static final SubLString $str179$Return_COL_B_iff_it_has_fewer_gen

$sym180$MAX_FLOOR_MTS_OF_GENLS_PATHS

public static final SubLSymbol $sym180$MAX_FLOOR_MTS_OF_GENLS_PATHS

$list181

public static final SubLList $list181

$str182$_return_listp__Returns_in_what__m

public static final SubLString $str182$_return_listp__Returns_in_what__m

$const183$coExtensional

public static final SubLObject $const183$coExtensional

$sym184$GENLS_AFTER_ADDING

public static final SubLSymbol $sym184$GENLS_AFTER_ADDING

$sym185$GENLS_AFTER_REMOVING

public static final SubLSymbol $sym185$GENLS_AFTER_REMOVING

Method Detail

all_genls

public static final SubLObject all_genls(SubLObject col,
                                         SubLObject mt,
                                         SubLObject tv)

Returns all genls of collection COL (ascending transitive closure; inexpensive)

all_specs

public static final SubLObject all_specs(SubLObject col,
                                         SubLObject mt,
                                         SubLObject tv)

Returns all specs of collection COL (descending transitive closure; expensive)

genlP

public static final SubLObject genlP(SubLObject spec,
                                     SubLObject genl,
                                     SubLObject mt,
                                     SubLObject tv)

Returns whether (#$genls SPEC GENL) can be inferred. (ascending transitive search; inexpensive)

genlsP

public static final SubLObject genlsP(SubLObject spec,
                                      SubLObject genl,
                                      SubLObject mt,
                                      SubLObject tv)

is collection GENL a genl of SPEC? (ascending transitive search; inexpensive)

gather_all_genls

public static final SubLObject gather_all_genls(SubLObject fn,
                                                SubLObject col,
                                                SubLObject mt,
                                                SubLObject tv,
                                                SubLObject combine_fn)

gather results of applying FN to every (all) genls of COL (FN must not effect the current sbhl space)

specP

public static final SubLObject specP(SubLObject genl,
                                     SubLObject spec,
                                     SubLObject mt,
                                     SubLObject tv)

Returns whether (#$genls SPEC GENL) can be inferred. (ascending transitive search; inexpensive)

any_specP

public static final SubLObject any_specP(SubLObject genl,
                                         SubLObject specs,
                                         SubLObject mt,
                                         SubLObject tv)

Returns T iff (spec? genl spec) for some spec in SPECS

min_cols

public static final SubLObject min_cols(SubLObject cols,
                                        SubLObject mt,
                                        SubLObject tv)

Returns the minimally-general (the most specific) among reified collections COLS, collections that have no proper specs among COLS

asserted_genlsP

public static final SubLObject asserted_genlsP(SubLObject col,
                                               SubLObject mt)

Returns:: booleanp; whether there are any asserted true genls links for COL.

asserted_genls

public static final SubLObject asserted_genls(SubLObject col,
                                              SubLObject mt)

Returns:: listp; the asserted true genls links for COL in MT / *mt*.

genls_after_adding

public static final SubLObject genls_after_adding(SubLObject source,
                                                  SubLObject assertion)

Modifier. Adds sbhl links with @see sbhl-after-adding.

handle_more_specific_genl

public static final SubLObject handle_more_specific_genl(SubLObject spec,
                                                         SubLObject genl)

Modifier. Possibly does TMS when (#$genls SPEC GENL) invalidates some other genls assertion that was deduced from an assertedMoreSpecifically rule.

genls_after_removing

public static final SubLObject genls_after_removing(SubLObject source,
                                                    SubLObject assertion)

Modifier. Removes sbhl links with @see sbhl-after-removing.

declare_genls_file

public static final SubLObject declare_genls_file()

init_genls_file

public static final SubLObject init_genls_file()

setup_genls_file

public static final SubLObject setup_genls_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 genls

me

myName

$const0$genls

$sym1$MIN_GENLS

$list2

$str3$Returns_the_most_specific_genls_o

$list4

$sym5$EL_FORT_P

$sym6$MAX_NOT_GENLS

$str7$Returns_the_least_specific_negate

$list8

$kw9$FALSE

$sym10$MAX_SPECS

$str11$Returns_the_least_specific_specs_

$sym12$MIN_NOT_SPECS

$str13$Returns_the_most_specific_negated

$sym14$GENL_SIBLINGS

$str15$Returns_the_direct_genls_of_those

$sym16$SPEC_SIBLINGS

$str17$Returns_the_direct_specs_of_those

$sym18$ALL_GENLS

$str19$Returns_all_genls_of_collection_C

$sym20$RELEVANT_MT_IS_EVERYTHING

$const21$EverythingPSC

$sym22$RELEVANT_MT_IS_EQ

$sym23$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$sym24$ALL_SPECS

$str25$Returns_all_specs_of_collection_C

$kw26$DESCENDING

$kw27$BREADTH

$kw28$QUEUE

$kw29$STACK

$sym30$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw31$ERROR

$str32$_A_is_not_a__A

$sym33$SBHL_TRUE_TV_P

$kw34$CERROR

$str35$continue_anyway

$kw36$WARN

$str37$_A_is_not_a_valid__sbhl_type_erro

$str38$attempting_to_bind_direction_link

$str39$Node__a_does_not_pass_sbhl_type_t

$sym40$ALL_SPECS_WITH_MAX

$sym41$INTEGERP

$kw42$INVALID_ITERATION_TERM

$sym43$COUNT_ALL_SPECS

$list44

$str45$Counts_the_number_of_specs_in_COL

$list46

$list47

$sym48$ALL_GENLS_WRT

$list49

$str50$Returns_all_genls_of_collection_S

$list51

$sym52$LISTP

$sym53$UNION_ALL_GENLS

$list54

$str55$Returns_all_genls_of_each_collect

$list56

$sym57$UNION_ALL_SPECS

$str58$Returns_all_specs_of_each_collect

$sym59$ALL_DEPENDENT_SPECS

$str60$Returns_all_specs_s_of_COL_s_t__e

$sym61$ALL_GENLS_AMONG

$list62

$str63$Returns_those_genls_of_COL_that_a

$list64

$sym65$ALL_SPECS_AMONG

$str66$Returns_those_specs_of_COL_that_a

$sym67$FUNCTION_SPEC_P

$sym68$ALL_GENLS_IF

$list69

$str70$Returns_all_genls_of_collection_C

$list71

$sym72$ALL_SPECS_IF

$sym73$ALL_NOT_GENLS

$str74$Returns_all_negated_genls_of_coll

$sym75$ALL_NOT_SPECS

$str76$Returns_all_negated_specs_of_coll

com.cyc.cycjava.cycl
Class genls

$str79$Applies_FN_to_everyallgenls_o

$str82$Applies_FN_to_everyallspecs_o

$str100$Returns_T_iffspecgenl_spec__f

$str103$Returns_T_iffgenlspec_genl__f

$str105$Returns_T_iffspecgenl_spec__f

$str108$Return_T_iffgenlspec_genl_mt_

$str111$Return_T_iffgenlspec_genl_mt_