defns

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 defns

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class defns
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary
`static class`	`defns.$admitting_defn_assertions$UnaryFunction`
`static class`	`defns.$col_defn_admitsP$UnaryFunction`

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

Field Summary
`static SubLObject`	`$const105$defnIff`
`static SubLObject`	`$const108$defnSufficient`
`static SubLObject`	`$const109$defnNecessary`
`static SubLObject`	`$const110$quotedDefnIff`
`static SubLObject`	`$const111$quotedDefnSufficient`
`static SubLObject`	`$const112$quotedDefnNecessary`
`static SubLObject`	`$const37$genls`
`static SubLObject`	`$const55$EverythingPSC`
`static SubLInteger`	`$int102$400`
`static SubLInteger`	`$int103$100`
`static SubLSymbol`	`$kw10$RESET`
`static SubLSymbol`	`$kw106$GAF`
`static SubLSymbol`	`$kw107$TRUE`
`static SubLSymbol`	`$kw12$ADMITTED`
`static SubLSymbol`	`$kw13$REJECTED`
`static SubLSymbol`	`$kw2$CALLS`
`static SubLSymbol`	`$kw26$BREADTH`
`static SubLSymbol`	`$kw27$QUEUE`
`static SubLSymbol`	`$kw28$STACK`
`static SubLSymbol`	`$kw3$TIMES`
`static SubLSymbol`	`$kw30$ERROR`
`static SubLSymbol`	`$kw33$CERROR`
`static SubLSymbol`	`$kw35$WARN`
`static SubLSymbol`	`$kw4$RESULTS`
`static SubLSymbol`	`$kw43$AT_CONSTRAINT_GAF`
`static SubLSymbol`	`$kw44$MAL_ARG_WRT_QUOTED_SUF_DEFNS`
`static SubLSymbol`	`$kw45$MAL_ARG_WRT_SUF_DEFNS`
`static SubLSymbol`	`$kw46$MAL_ARG_WRT_QUOTED_IFF_DEFN`
`static SubLSymbol`	`$kw47$MAL_ARG_WRT_IFF_DEFN`
`static SubLSymbol`	`$kw5$ARGS`
`static SubLSymbol`	`$kw53$MAL_ARG_WRT_QUOTED_NEC_DEFN`
`static SubLSymbol`	`$kw54$MAL_ARG_WRT_NEC_DEFN`
`static SubLSymbol`	`$kw56$GENLS`
`static SubLSymbol`	`$kw6$ARG_LIST`
`static SubLSymbol`	`$kw63$ASCENDING`
`static SubLSymbol`	`$kw66$IFF`
`static SubLSymbol`	`$kw69$SUF`
`static SubLSymbol`	`$kw72$NEC`
`static SubLSymbol`	`$kw75$QIFF`
`static SubLSymbol`	`$kw78$QSUF`
`static SubLSymbol`	`$kw8$FUNCTION`
`static SubLSymbol`	`$kw81$QNEC`
`static SubLList`	`$list42`
`static SubLList`	`$list50`
`static SubLList`	`$list61`
`static SubLList`	`$list62`
`static SubLList`	`$list64`
`static SubLList`	`$list65`
`static SubLList`	`$list7`
`static SubLList`	`$list87`
`static SubLSymbol`	$nec_defn_rejectsP_meters$
`static SubLSymbol`	$new_defns_admitP_meters$
`static SubLSymbol`	$new_defns_rejectP_meters$
`static SubLSymbol`	$new_handle_added_genl_for_suf_defns_meters$
`static SubLSymbol`	$new_handle_added_genl_for_suf_quoted_defns_meters$
`static SubLSymbol`	$new_handle_removed_genl_for_suf_defns_meters$
`static SubLSymbol`	$new_handle_removed_genl_for_suf_quoted_defns_meters$
`static SubLSymbol`	$new_quoted_defns_admitP_meters$
`static SubLSymbol`	$new_quoted_defns_rejectP_meters$
`static SubLString`	`$str1$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str104$Initializing_defns___`
`static SubLString`	`$str15$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str19$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str23$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str31$_A_is_not_a__A`
`static SubLString`	`$str34$continue_anyway`
`static SubLString`	`$str36$_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`	`$str49$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str86$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str91$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str95$metering_cache_for_calls_to_defn_`
`static SubLString`	`$str99$metering_cache_for_calls_to_defn_`
`static SubLSymbol`	`$sym0$_NEW_DEFNS_ADMIT__METERS_`
`static SubLSymbol`	`$sym100$NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS`
`static SubLSymbol`	`$sym101$RESET_NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS`
`static SubLSymbol`	`$sym11$RESET_NEW_DEFNS_ADMIT__METERS`
`static SubLSymbol`	`$sym14$_NEW_DEFNS_REJECT__METERS_`
`static SubLSymbol`	`$sym16$NEW_DEFNS_REJECT_`
`static SubLSymbol`	`$sym17$RESET_NEW_DEFNS_REJECT__METERS`
`static SubLSymbol`	`$sym18$_NEW_QUOTED_DEFNS_ADMIT__METERS_`
`static SubLSymbol`	`$sym20$NEW_QUOTED_DEFNS_ADMIT_`
`static SubLSymbol`	`$sym21$RESET_NEW_QUOTED_DEFNS_ADMIT__METERS`
`static SubLSymbol`	`$sym22$_NEW_QUOTED_DEFNS_REJECT__METERS_`
`static SubLSymbol`	`$sym24$NEW_QUOTED_DEFNS_REJECT_`
`static SubLSymbol`	`$sym25$RESET_NEW_QUOTED_DEFNS_REJECT__METERS`
`static SubLSymbol`	`$sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV`
`static SubLSymbol`	`$sym32$SBHL_TRUE_TV_P`
`static SubLSymbol`	`$sym40$COL_QUOTED_DEFN_ADMITS_`
`static SubLSymbol`	`$sym41$COL_DEFN_ADMITS_`
`static SubLSymbol`	`$sym48$_NEC_DEFN_REJECTS__METERS_`
`static SubLSymbol`	`$sym51$NEC_DEFN_REJECTS_`
`static SubLSymbol`	`$sym52$RESET_NEC_DEFN_REJECTS__METERS`
`static SubLSymbol`	`$sym57$ADMITTING_QUOTED_DEFN_ASSERTION`
`static SubLSymbol`	`$sym58$ADMITTING_DEFN_ASSERTION`
`static SubLSymbol`	`$sym59$ADMITTING_QUOTED_DEFN_ASSERTIONS`
`static SubLSymbol`	`$sym60$ADMITTING_DEFN_ASSERTIONS`
`static SubLSymbol`	`$sym67$NEW_ADD_IFF_DEFN`
`static SubLSymbol`	`$sym68$NEW_REMOVE_IFF_DEFN`
`static SubLSymbol`	`$sym70$NEW_ADD_SUF_DEFN`
`static SubLSymbol`	`$sym71$NEW_REMOVE_SUF_DEFN`
`static SubLSymbol`	`$sym73$ADD_NEC_DEFN`
`static SubLSymbol`	`$sym74$REMOVE_NEC_DEFN`
`static SubLSymbol`	`$sym76$NEW_ADD_IFF_QUOTED_DEFN`
`static SubLSymbol`	`$sym77$NEW_REMOVE_IFF_QUOTED_DEFN`
`static SubLSymbol`	`$sym79$NEW_ADD_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym80$NEW_REMOVE_SUF_QUOTED_DEFN`
`static SubLSymbol`	`$sym82$ADD_NEC_QUOTED_DEFN`
`static SubLSymbol`	`$sym83$REMOVE_NEC_QUOTED_DEFN`
`static SubLSymbol`	`$sym84$RELEVANT_MT_IS_EVERYTHING`
`static SubLSymbol`	`$sym85$_NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS_`
`static SubLSymbol`	`$sym88$NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS`
`static SubLSymbol`	`$sym89$RESET_NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS`
`static SubLSymbol`	`$sym9$NEW_DEFNS_ADMIT_`
`static SubLSymbol`	`$sym90$_NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_`
`static SubLSymbol`	`$sym92$NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS`
`static SubLSymbol`	`$sym93$RESET_NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS`
`static SubLSymbol`	`$sym94$_NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS_`
`static SubLSymbol`	`$sym96$NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS`
`static SubLSymbol`	`$sym97$RESET_NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS`
`static SubLSymbol`	`$sym98$_NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_`
`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`	`clear_defns_cache()`
`static SubLObject`	`clear_defns()`
`static SubLObject`	`col_defn_admitsP_int(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP)`
`static SubLObject`	`col_defn_admitsP(SubLObject col)`
`static SubLObject`	`declare_defns_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`defining_defns_admitsP(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP)`
`static SubLObject`	`defns_admitP_int(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP)`
`static SubLObject`	`defns_cache_unbuiltP()`
`static SubLObject`	`defns_rejectP_int(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP)`
`static SubLObject`	`defns_walk_admitP(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP)`
`static SubLObject`	`handle_added_genl_for_suf_defns_int(SubLObject spec, SubLObject genl, SubLObject quotedP)`
`static SubLObject`	`handle_removed_genl_for_suf_defns_int(SubLObject spec, SubLObject genl, SubLObject quotedP)`
`static SubLObject`	`has_some_defnP(SubLObject col, SubLObject quotedP)`
`static SubLObject`	`has_suf_defn_somewhereP(SubLObject col, SubLObject quotedP)`
`static SubLObject`	`iff_defn(SubLObject col, SubLObject quotedP)`
`static SubLObject`	`init_defns_file()`
`static SubLObject`	`initial_check_defn_admit_status(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP)` If the defnIff of the COL explicitly admits or rejects TERM, return result.
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`load_defns_cache_from_stream(SubLObject stream)`
`static SubLObject`	`nec_defn_permitsP(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP, SubLObject consider_iff_as_necP)`
`static SubLObject`	`nec_defn_rejectsP_metered(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP, SubLObject consider_iff_as_necP)`
`static SubLObject`	`nec_defn_rejectsP(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP, SubLObject consider_iff_as_necP)`
`static SubLObject`	`nec_defns(SubLObject col, SubLObject quotedP)`
`static SubLObject`	`new_defns_admitP_metered(SubLObject col, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`new_defns_admitP(SubLObject col, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`new_defns_rejectP_metered(SubLObject col, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`new_defns_rejectP(SubLObject col, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`new_handle_added_genl_for_suf_defns_metered(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_handle_added_genl_for_suf_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_handle_added_genl_for_suf_quoted_defns_metered(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_handle_added_genl_for_suf_quoted_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_handle_removed_genl_for_suf_defns_metered(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_handle_removed_genl_for_suf_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_handle_removed_genl_for_suf_quoted_defns_metered(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_handle_removed_genl_for_suf_quoted_defns(SubLObject spec, SubLObject genl)`
`static SubLObject`	`new_quoted_defns_admitP_metered(SubLObject col, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`new_quoted_defns_admitP(SubLObject col, SubLObject v_term, SubLObject mt)`
`static SubLObject`	`reset_nec_defn_rejectsP_meters()`
`static SubLObject`	`reset_new_defns_admitP_meters()`
`static SubLObject`	`reset_new_defns_rejectP_meters()`
`static SubLObject`	`reset_new_handle_added_genl_for_suf_defns_meters()`
`static SubLObject`	`reset_new_handle_added_genl_for_suf_quoted_defns_meters()`
`static SubLObject`	`reset_new_handle_removed_genl_for_suf_defns_meters()`
`static SubLObject`	`reset_new_handle_removed_genl_for_suf_quoted_defns_meters()`
`static SubLObject`	`reset_new_quoted_defns_admitP_meters()`
`static SubLObject`	`reset_new_quoted_defns_rejectP_meters()`
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_defns_file()`
`static SubLObject`	`suf_defn_admitsP(SubLObject col, SubLObject v_term, SubLObject mt, SubLObject quotedP)`
`static SubLObject`	`suf_defn_count(SubLObject col, SubLObject quotedP)`
`static SubLObject`	`suf_defns(SubLObject col, SubLObject quotedP)`

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

$new_defns_admitP_meters$

public static SubLSymbol $new_defns_admitP_meters$

$new_defns_rejectP_meters$

public static SubLSymbol $new_defns_rejectP_meters$

$new_quoted_defns_admitP_meters$

public static SubLSymbol $new_quoted_defns_admitP_meters$

$new_quoted_defns_rejectP_meters$

public static SubLSymbol $new_quoted_defns_rejectP_meters$

$nec_defn_rejectsP_meters$

public static SubLSymbol $nec_defn_rejectsP_meters$

$new_handle_added_genl_for_suf_defns_meters$

public static SubLSymbol $new_handle_added_genl_for_suf_defns_meters$

$new_handle_added_genl_for_suf_quoted_defns_meters$

public static SubLSymbol $new_handle_added_genl_for_suf_quoted_defns_meters$

$new_handle_removed_genl_for_suf_defns_meters$

public static SubLSymbol $new_handle_removed_genl_for_suf_defns_meters$

$new_handle_removed_genl_for_suf_quoted_defns_meters$

public static SubLSymbol $new_handle_removed_genl_for_suf_quoted_defns_meters$

$sym0$_NEW_DEFNS_ADMIT__METERS_

public static final SubLSymbol $sym0$_NEW_DEFNS_ADMIT__METERS_

$str1$metering_cache_for_calls_to_defn_

public static final SubLString $str1$metering_cache_for_calls_to_defn_

$kw2$CALLS

public static final SubLSymbol $kw2$CALLS

$kw3$TIMES

public static final SubLSymbol $kw3$TIMES

$kw4$RESULTS

public static final SubLSymbol $kw4$RESULTS

$kw5$ARGS

public static final SubLSymbol $kw5$ARGS

$kw6$ARG_LIST

public static final SubLSymbol $kw6$ARG_LIST

$list7

public static final SubLList $list7

$kw8$FUNCTION

public static final SubLSymbol $kw8$FUNCTION

$sym9$NEW_DEFNS_ADMIT_

public static final SubLSymbol $sym9$NEW_DEFNS_ADMIT_

$kw10$RESET

public static final SubLSymbol $kw10$RESET

$sym11$RESET_NEW_DEFNS_ADMIT__METERS

public static final SubLSymbol $sym11$RESET_NEW_DEFNS_ADMIT__METERS

$kw12$ADMITTED

public static final SubLSymbol $kw12$ADMITTED

$kw13$REJECTED

public static final SubLSymbol $kw13$REJECTED

$sym14$_NEW_DEFNS_REJECT__METERS_

public static final SubLSymbol $sym14$_NEW_DEFNS_REJECT__METERS_

$str15$metering_cache_for_calls_to_defn_

public static final SubLString $str15$metering_cache_for_calls_to_defn_

$sym16$NEW_DEFNS_REJECT_

public static final SubLSymbol $sym16$NEW_DEFNS_REJECT_

$sym17$RESET_NEW_DEFNS_REJECT__METERS

public static final SubLSymbol $sym17$RESET_NEW_DEFNS_REJECT__METERS

$sym18$_NEW_QUOTED_DEFNS_ADMIT__METERS_

public static final SubLSymbol $sym18$_NEW_QUOTED_DEFNS_ADMIT__METERS_

$str19$metering_cache_for_calls_to_defn_

public static final SubLString $str19$metering_cache_for_calls_to_defn_

$sym20$NEW_QUOTED_DEFNS_ADMIT_

public static final SubLSymbol $sym20$NEW_QUOTED_DEFNS_ADMIT_

$sym21$RESET_NEW_QUOTED_DEFNS_ADMIT__METERS

public static final SubLSymbol $sym21$RESET_NEW_QUOTED_DEFNS_ADMIT__METERS

$sym22$_NEW_QUOTED_DEFNS_REJECT__METERS_

public static final SubLSymbol $sym22$_NEW_QUOTED_DEFNS_REJECT__METERS_

$str23$metering_cache_for_calls_to_defn_

public static final SubLString $str23$metering_cache_for_calls_to_defn_

$sym24$NEW_QUOTED_DEFNS_REJECT_

public static final SubLSymbol $sym24$NEW_QUOTED_DEFNS_REJECT_

$sym25$RESET_NEW_QUOTED_DEFNS_REJECT__METERS

public static final SubLSymbol $sym25$RESET_NEW_QUOTED_DEFNS_REJECT__METERS

$kw26$BREADTH

public static final SubLSymbol $kw26$BREADTH

$kw27$QUEUE

public static final SubLSymbol $kw27$QUEUE

$kw28$STACK

public static final SubLSymbol $kw28$STACK

$sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw30$ERROR

public static final SubLSymbol $kw30$ERROR

$str31$_A_is_not_a__A

public static final SubLString $str31$_A_is_not_a__A

$sym32$SBHL_TRUE_TV_P

public static final SubLSymbol $sym32$SBHL_TRUE_TV_P

$kw33$CERROR

public static final SubLSymbol $kw33$CERROR

$str34$continue_anyway

public static final SubLString $str34$continue_anyway

$kw35$WARN

public static final SubLSymbol $kw35$WARN

$str36$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str36$_A_is_not_a_valid__sbhl_type_erro

$const37$genls

public static final SubLObject $const37$genls

$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$COL_QUOTED_DEFN_ADMITS_

public static final SubLSymbol $sym40$COL_QUOTED_DEFN_ADMITS_

$sym41$COL_DEFN_ADMITS_

public static final SubLSymbol $sym41$COL_DEFN_ADMITS_

$list42

public static final SubLList $list42

$kw43$AT_CONSTRAINT_GAF

public static final SubLSymbol $kw43$AT_CONSTRAINT_GAF

$kw44$MAL_ARG_WRT_QUOTED_SUF_DEFNS

public static final SubLSymbol $kw44$MAL_ARG_WRT_QUOTED_SUF_DEFNS

$kw45$MAL_ARG_WRT_SUF_DEFNS

public static final SubLSymbol $kw45$MAL_ARG_WRT_SUF_DEFNS

$kw46$MAL_ARG_WRT_QUOTED_IFF_DEFN

public static final SubLSymbol $kw46$MAL_ARG_WRT_QUOTED_IFF_DEFN

$kw47$MAL_ARG_WRT_IFF_DEFN

public static final SubLSymbol $kw47$MAL_ARG_WRT_IFF_DEFN

$sym48$_NEC_DEFN_REJECTS__METERS_

public static final SubLSymbol $sym48$_NEC_DEFN_REJECTS__METERS_

$str49$metering_cache_for_calls_to_defn_

public static final SubLString $str49$metering_cache_for_calls_to_defn_

$list50

public static final SubLList $list50

$sym51$NEC_DEFN_REJECTS_

public static final SubLSymbol $sym51$NEC_DEFN_REJECTS_

$sym52$RESET_NEC_DEFN_REJECTS__METERS

public static final SubLSymbol $sym52$RESET_NEC_DEFN_REJECTS__METERS

$kw53$MAL_ARG_WRT_QUOTED_NEC_DEFN

public static final SubLSymbol $kw53$MAL_ARG_WRT_QUOTED_NEC_DEFN

$kw54$MAL_ARG_WRT_NEC_DEFN

public static final SubLSymbol $kw54$MAL_ARG_WRT_NEC_DEFN

$const55$EverythingPSC

public static final SubLObject $const55$EverythingPSC

$kw56$GENLS

public static final SubLSymbol $kw56$GENLS

$sym57$ADMITTING_QUOTED_DEFN_ASSERTION

public static final SubLSymbol $sym57$ADMITTING_QUOTED_DEFN_ASSERTION

$sym58$ADMITTING_DEFN_ASSERTION

public static final SubLSymbol $sym58$ADMITTING_DEFN_ASSERTION

$sym59$ADMITTING_QUOTED_DEFN_ASSERTIONS

public static final SubLSymbol $sym59$ADMITTING_QUOTED_DEFN_ASSERTIONS

$sym60$ADMITTING_DEFN_ASSERTIONS

public static final SubLSymbol $sym60$ADMITTING_DEFN_ASSERTIONS

$list61

public static final SubLList $list61

$list62

public static final SubLList $list62

$kw63$ASCENDING

public static final SubLSymbol $kw63$ASCENDING

$list64

public static final SubLList $list64

$list65

public static final SubLList $list65

$kw66$IFF

public static final SubLSymbol $kw66$IFF

$sym67$NEW_ADD_IFF_DEFN

public static final SubLSymbol $sym67$NEW_ADD_IFF_DEFN

$sym68$NEW_REMOVE_IFF_DEFN

public static final SubLSymbol $sym68$NEW_REMOVE_IFF_DEFN

$kw69$SUF

public static final SubLSymbol $kw69$SUF

$sym70$NEW_ADD_SUF_DEFN

public static final SubLSymbol $sym70$NEW_ADD_SUF_DEFN

$sym71$NEW_REMOVE_SUF_DEFN

public static final SubLSymbol $sym71$NEW_REMOVE_SUF_DEFN

$kw72$NEC

public static final SubLSymbol $kw72$NEC

$sym73$ADD_NEC_DEFN

public static final SubLSymbol $sym73$ADD_NEC_DEFN

$sym74$REMOVE_NEC_DEFN

public static final SubLSymbol $sym74$REMOVE_NEC_DEFN

$kw75$QIFF

public static final SubLSymbol $kw75$QIFF

$sym76$NEW_ADD_IFF_QUOTED_DEFN

public static final SubLSymbol $sym76$NEW_ADD_IFF_QUOTED_DEFN

$sym77$NEW_REMOVE_IFF_QUOTED_DEFN

public static final SubLSymbol $sym77$NEW_REMOVE_IFF_QUOTED_DEFN

$kw78$QSUF

public static final SubLSymbol $kw78$QSUF

$sym79$NEW_ADD_SUF_QUOTED_DEFN

public static final SubLSymbol $sym79$NEW_ADD_SUF_QUOTED_DEFN

$sym80$NEW_REMOVE_SUF_QUOTED_DEFN

public static final SubLSymbol $sym80$NEW_REMOVE_SUF_QUOTED_DEFN

$kw81$QNEC

public static final SubLSymbol $kw81$QNEC

$sym82$ADD_NEC_QUOTED_DEFN

public static final SubLSymbol $sym82$ADD_NEC_QUOTED_DEFN

$sym83$REMOVE_NEC_QUOTED_DEFN

public static final SubLSymbol $sym83$REMOVE_NEC_QUOTED_DEFN

$sym84$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym84$RELEVANT_MT_IS_EVERYTHING

$sym85$_NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS_

public static final SubLSymbol $sym85$_NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS_

$str86$metering_cache_for_calls_to_defn_

public static final SubLString $str86$metering_cache_for_calls_to_defn_

$list87

public static final SubLList $list87

$sym88$NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS

public static final SubLSymbol $sym88$NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS

$sym89$RESET_NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS

public static final SubLSymbol $sym89$RESET_NEW_HANDLE_ADDED_GENL_FOR_SUF_DEFNS_METERS

$sym90$_NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

public static final SubLSymbol $sym90$_NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

$str91$metering_cache_for_calls_to_defn_

public static final SubLString $str91$metering_cache_for_calls_to_defn_

$sym92$NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS

public static final SubLSymbol $sym92$NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS

$sym93$RESET_NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

public static final SubLSymbol $sym93$RESET_NEW_HANDLE_ADDED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

$sym94$_NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS_

public static final SubLSymbol $sym94$_NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS_

$str95$metering_cache_for_calls_to_defn_

public static final SubLString $str95$metering_cache_for_calls_to_defn_

$sym96$NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS

public static final SubLSymbol $sym96$NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS

$sym97$RESET_NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS

public static final SubLSymbol $sym97$RESET_NEW_HANDLE_REMOVED_GENL_FOR_SUF_DEFNS_METERS

$sym98$_NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

public static final SubLSymbol $sym98$_NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS_

$str99$metering_cache_for_calls_to_defn_

public static final SubLString $str99$metering_cache_for_calls_to_defn_

$sym100$NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS

public static final SubLSymbol $sym100$NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS

$sym101$RESET_NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

public static final SubLSymbol $sym101$RESET_NEW_HANDLE_REMOVED_GENL_FOR_SUF_QUOTED_DEFNS_METERS

$int102$400

public static final SubLInteger $int102$400

$int103$100

public static final SubLInteger $int103$100

$str104$Initializing_defns___

public static final SubLString $str104$Initializing_defns___

$const105$defnIff

public static final SubLObject $const105$defnIff

$kw106$GAF

public static final SubLSymbol $kw106$GAF

$kw107$TRUE

public static final SubLSymbol $kw107$TRUE

$const108$defnSufficient

public static final SubLObject $const108$defnSufficient

$const109$defnNecessary

public static final SubLObject $const109$defnNecessary

$const110$quotedDefnIff

public static final SubLObject $const110$quotedDefnIff

$const111$quotedDefnSufficient

public static final SubLObject $const111$quotedDefnSufficient

$const112$quotedDefnNecessary

public static final SubLObject $const112$quotedDefnNecessary

Method Detail

suf_defn_count

public static final SubLObject suf_defn_count(SubLObject col,
                                              SubLObject quotedP)

has_suf_defn_somewhereP

public static final SubLObject has_suf_defn_somewhereP(SubLObject col,
                                                       SubLObject quotedP)

iff_defn

public static final SubLObject iff_defn(SubLObject col,
                                        SubLObject quotedP)

suf_defns

public static final SubLObject suf_defns(SubLObject col,
                                         SubLObject quotedP)

nec_defns

public static final SubLObject nec_defns(SubLObject col,
                                         SubLObject quotedP)

has_some_defnP

public static final SubLObject has_some_defnP(SubLObject col,
                                              SubLObject quotedP)

reset_new_defns_admitP_meters

public static final SubLObject reset_new_defns_admitP_meters()

new_defns_admitP_metered

public static final SubLObject new_defns_admitP_metered(SubLObject col,
                                                        SubLObject v_term,
                                                        SubLObject mt)

new_defns_admitP

public static final SubLObject new_defns_admitP(SubLObject col,
                                                SubLObject v_term,
                                                SubLObject mt)

defns_admitP_int

public static final SubLObject defns_admitP_int(SubLObject col,
                                                SubLObject v_term,
                                                SubLObject mt,
                                                SubLObject quotedP)

reset_new_defns_rejectP_meters

public static final SubLObject reset_new_defns_rejectP_meters()

new_defns_rejectP_metered

public static final SubLObject new_defns_rejectP_metered(SubLObject col,
                                                         SubLObject v_term,
                                                         SubLObject mt)

new_defns_rejectP

public static final SubLObject new_defns_rejectP(SubLObject col,
                                                 SubLObject v_term,
                                                 SubLObject mt)

defns_rejectP_int

public static final SubLObject defns_rejectP_int(SubLObject col,
                                                 SubLObject v_term,
                                                 SubLObject mt,
                                                 SubLObject quotedP)

reset_new_quoted_defns_admitP_meters

public static final SubLObject reset_new_quoted_defns_admitP_meters()

new_quoted_defns_admitP_metered

public static final SubLObject new_quoted_defns_admitP_metered(SubLObject col,
                                                               SubLObject v_term,
                                                               SubLObject mt)

new_quoted_defns_admitP

public static final SubLObject new_quoted_defns_admitP(SubLObject col,
                                                       SubLObject v_term,
                                                       SubLObject mt)

reset_new_quoted_defns_rejectP_meters

public static final SubLObject reset_new_quoted_defns_rejectP_meters()

initial_check_defn_admit_status

public static final SubLObject initial_check_defn_admit_status(SubLObject col,
                                                               SubLObject v_term,
                                                               SubLObject mt,
                                                               SubLObject quotedP)

If the defnIff of the COL explicitly admits or rejects TERM, return result. Otherwise, return :rejected if a necessaryDefn of genls of COL rejects the TERM. Will delegate to the correct defns checks for quoted/non-quoted using QUOTED?

defns_walk_admitP

public static final SubLObject defns_walk_admitP(SubLObject col,
                                                 SubLObject v_term,
                                                 SubLObject mt,
                                                 SubLObject quotedP)

col_defn_admitsP

public static final SubLObject col_defn_admitsP(SubLObject col)

col_defn_admitsP_int

public static final SubLObject col_defn_admitsP_int(SubLObject col,
                                                    SubLObject v_term,
                                                    SubLObject mt,
                                                    SubLObject quotedP)

defining_defns_admitsP

public static final SubLObject defining_defns_admitsP(SubLObject col,
                                                      SubLObject v_term,
                                                      SubLObject mt,
                                                      SubLObject quotedP)

suf_defn_admitsP

public static final SubLObject suf_defn_admitsP(SubLObject col,
                                                SubLObject v_term,
                                                SubLObject mt,
                                                SubLObject quotedP)

nec_defn_permitsP

public static final SubLObject nec_defn_permitsP(SubLObject col,
                                                 SubLObject v_term,
                                                 SubLObject mt,
                                                 SubLObject quotedP,
                                                 SubLObject consider_iff_as_necP)

reset_nec_defn_rejectsP_meters

public static final SubLObject reset_nec_defn_rejectsP_meters()

nec_defn_rejectsP_metered

public static final SubLObject nec_defn_rejectsP_metered(SubLObject col,
                                                         SubLObject v_term,
                                                         SubLObject mt,
                                                         SubLObject quotedP,
                                                         SubLObject consider_iff_as_necP)

nec_defn_rejectsP

public static final SubLObject nec_defn_rejectsP(SubLObject col,
                                                 SubLObject v_term,
                                                 SubLObject mt,
                                                 SubLObject quotedP,
                                                 SubLObject consider_iff_as_necP)

handle_added_genl_for_suf_defns_int

public static final SubLObject handle_added_genl_for_suf_defns_int(SubLObject spec,
                                                                   SubLObject genl,
                                                                   SubLObject quotedP)

reset_new_handle_added_genl_for_suf_defns_meters

public static final SubLObject reset_new_handle_added_genl_for_suf_defns_meters()

new_handle_added_genl_for_suf_defns_metered

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

new_handle_added_genl_for_suf_defns

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

reset_new_handle_added_genl_for_suf_quoted_defns_meters

public static final SubLObject reset_new_handle_added_genl_for_suf_quoted_defns_meters()

new_handle_added_genl_for_suf_quoted_defns_metered

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

new_handle_added_genl_for_suf_quoted_defns

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

handle_removed_genl_for_suf_defns_int

public static final SubLObject handle_removed_genl_for_suf_defns_int(SubLObject spec,
                                                                     SubLObject genl,
                                                                     SubLObject quotedP)

reset_new_handle_removed_genl_for_suf_defns_meters

public static final SubLObject reset_new_handle_removed_genl_for_suf_defns_meters()

new_handle_removed_genl_for_suf_defns_metered

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

new_handle_removed_genl_for_suf_defns

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

reset_new_handle_removed_genl_for_suf_quoted_defns_meters

public static final SubLObject reset_new_handle_removed_genl_for_suf_quoted_defns_meters()

new_handle_removed_genl_for_suf_quoted_defns_metered

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

new_handle_removed_genl_for_suf_quoted_defns

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

clear_defns

public static final SubLObject clear_defns()

defns_cache_unbuiltP

public static final SubLObject defns_cache_unbuiltP()

clear_defns_cache

public static final SubLObject clear_defns_cache()

load_defns_cache_from_stream

public static final SubLObject load_defns_cache_from_stream(SubLObject stream)

declare_defns_file

public static final SubLObject declare_defns_file()

init_defns_file

public static final SubLObject init_defns_file()

setup_defns_file

public static final SubLObject setup_defns_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 defns

me

myName

$new_defns_admitP_meters$

$new_defns_rejectP_meters$

$new_quoted_defns_admitP_meters$

$new_quoted_defns_rejectP_meters$

$nec_defn_rejectsP_meters$

$new_handle_added_genl_for_suf_defns_meters$

$new_handle_added_genl_for_suf_quoted_defns_meters$

$new_handle_removed_genl_for_suf_defns_meters$

$new_handle_removed_genl_for_suf_quoted_defns_meters$

$sym0$_NEW_DEFNS_ADMIT__METERS_

$str1$metering_cache_for_calls_to_defn_

$kw2$CALLS

$kw3$TIMES

$kw4$RESULTS

$kw5$ARGS

$kw6$ARG_LIST

$list7

$kw8$FUNCTION

$sym9$NEW_DEFNS_ADMIT_

$kw10$RESET

$sym11$RESET_NEW_DEFNS_ADMIT__METERS

$kw12$ADMITTED

$kw13$REJECTED

$sym14$_NEW_DEFNS_REJECT__METERS_

$str15$metering_cache_for_calls_to_defn_

$sym16$NEW_DEFNS_REJECT_

$sym17$RESET_NEW_DEFNS_REJECT__METERS

$sym18$_NEW_QUOTED_DEFNS_ADMIT__METERS_

$str19$metering_cache_for_calls_to_defn_

$sym20$NEW_QUOTED_DEFNS_ADMIT_

$sym21$RESET_NEW_QUOTED_DEFNS_ADMIT__METERS

$sym22$_NEW_QUOTED_DEFNS_REJECT__METERS_

$str23$metering_cache_for_calls_to_defn_

$sym24$NEW_QUOTED_DEFNS_REJECT_

$sym25$RESET_NEW_QUOTED_DEFNS_REJECT__METERS

$kw26$BREADTH

$kw27$QUEUE

$kw28$STACK

$sym29$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw30$ERROR

$str31$_A_is_not_a__A

$sym32$SBHL_TRUE_TV_P

$kw33$CERROR

$str34$continue_anyway

$kw35$WARN

$str36$_A_is_not_a_valid__sbhl_type_erro

$const37$genls

$str38$attempting_to_bind_direction_link

$str39$Node__a_does_not_pass_sbhl_type_t

$sym40$COL_QUOTED_DEFN_ADMITS_

$sym41$COL_DEFN_ADMITS_

$list42

$kw43$AT_CONSTRAINT_GAF

$kw44$MAL_ARG_WRT_QUOTED_SUF_DEFNS

$kw45$MAL_ARG_WRT_SUF_DEFNS

$kw46$MAL_ARG_WRT_QUOTED_IFF_DEFN

$kw47$MAL_ARG_WRT_IFF_DEFN

$sym48$_NEC_DEFN_REJECTS__METERS_

$str49$metering_cache_for_calls_to_defn_

$list50

$sym51$NEC_DEFN_REJECTS_

$sym52$RESET_NEC_DEFN_REJECTS__METERS

$kw53$MAL_ARG_WRT_QUOTED_NEC_DEFN

$kw54$MAL_ARG_WRT_NEC_DEFN

$const55$EverythingPSC

$kw56$GENLS

$sym57$ADMITTING_QUOTED_DEFN_ASSERTION

$sym58$ADMITTING_DEFN_ASSERTION

$sym59$ADMITTING_QUOTED_DEFN_ASSERTIONS

$sym60$ADMITTING_DEFN_ASSERTIONS

$list61

$list62

$kw63$ASCENDING

$list64

$list65

$kw66$IFF

$sym67$NEW_ADD_IFF_DEFN

com.cyc.cycjava.cycl
Class defns