com.cyc.cycjava.cycl
Class genl_mts

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class genl_mts
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$genlMt
static SubLObject	$const1$Microtheory
static SubLObject	$const3$EverythingPSC
static SubLInteger	$int13$1000
static SubLInteger	$int24$10000
static SubLSymbol	$kw14$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw25$GAF
static SubLSymbol	$kw26$TRUE
static SubLList	$list10
static SubLList	$list15
static SubLList	$list7
static SubLList	$list9
static SubLSymbol	$min_mts_2_enabledP$ This controls whether or not MIN-MTS implements a special case for exactly 2 mts.
static SubLString	$str8$_any_genl_mt__spec_genls__is_t_if
static SubLSymbol	$sym11$ALL_BASE_MTS
static SubLSymbol	$sym12$_ALL_BASE_MTS_CACHING_STATE_
static SubLSymbol	$sym16$BASE_MT
static SubLSymbol	$sym17$CDOLIST
static SubLSymbol	$sym18$WITH_MT
static SubLSymbol	$sym19$MAX_FLOOR_MONAD_MTS
static SubLSymbol	$sym2$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym20$UNION
static SubLSymbol	$sym21$MAX_FLOOR_MTS
static SubLSymbol	$sym22$CACHED_MAX_FLOOR_MTS_FROM_MT_SETS
static SubLSymbol	$sym23$_CACHED_MAX_FLOOR_MTS_FROM_MT_SETS_CACHING_STATE_
static SubLSymbol	$sym27$ADD_BASE_MT
static SubLSymbol	$sym28$ADD_GENL_MT
static SubLSymbol	$sym29$REMOVE_BASE_MT
static SubLSymbol	$sym30$REMOVE_GENL_MT
static SubLSymbol	$sym4$EL_FORT_P
static SubLSymbol	$sym5$CORE_MICROTHEORY_P
static SubLSymbol	$sym6$ANY_GENL_MT_
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	add_base_mt(SubLObject source, SubLObject assertion) Modifier.
static SubLObject	add_genl_mt(SubLObject source, SubLObject assertion) Modifier.
static SubLObject	all_genl_mts(SubLObject mt, SubLObject mt_mt, SubLObject tv) returns all genls of microtheory (ascending transitive closure; inexpensive)
static SubLObject	clear_all_base_mts()
static SubLObject	declare_genl_mts_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	genl_mtP(SubLObject spec, SubLObject genl, SubLObject mt_mt, SubLObject tv) is mt a genl-mt of ? (ascending transitive search; inexpensive)
static SubLObject	init_genl_mts_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	max_floor_monad_mts_internal(SubLObject mts, SubLObject candidates, SubLObject mt_mt)
static SubLObject	max_floor_monad_mts_with_cycles_pruned(SubLObject mts, SubLObject candidates, SubLObject mt_mt)
static SubLObject	max_floor_monad_mts(SubLObject mts, SubLObject candidates, SubLObject mt_mt)
static SubLObject	max_floor_mts_with_cycles_pruned(SubLObject mts, SubLObject candidates, SubLObject mt_mt) the most general common specializations among microtheories such that only one node from any given cycle is returned.
static SubLObject	max_floor_mts(SubLObject mts, SubLObject candidates, SubLObject mt_mt) the most general common specializations among microtheories (if is non-nil, then result is a subset of )
static SubLObject	min_mts_before_floors(SubLObject mts, SubLObject mt_mt) version of min-mts called inside max-floor-mts
static SubLObject	min_mts(SubLObject mts, SubLObject mt_mt) the most-specific among microtheories
static SubLObject	monad_genl_mtP(SubLObject spec, SubLObject genl, SubLObject mt_mt, SubLObject tv) is monad mt a genl-mt of ? (ascending transitive search; inexpensive)
static SubLObject	proper_genl_mtP(SubLObject spec, SubLObject genl, SubLObject mt_mt, SubLObject tv)
static SubLObject	remove_base_mt(SubLObject source, SubLObject assertion) Modifier.
static SubLObject	remove_genl_mt(SubLObject source, SubLObject assertion) Modifier.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_genl_mts_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

$min_mts_2_enabledP$

public static SubLSymbol $min_mts_2_enabledP$

This controls whether or not MIN-MTS implements a special case for exactly 2 mts.

$const0$genlMt

public static final SubLObject $const0$genlMt

$const1$Microtheory

public static final SubLObject $const1$Microtheory

$sym2$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym2$RELEVANT_MT_IS_EVERYTHING

$const3$EverythingPSC

public static final SubLObject $const3$EverythingPSC

$sym4$EL_FORT_P

public static final SubLSymbol $sym4$EL_FORT_P

$sym5$CORE_MICROTHEORY_P

public static final SubLSymbol $sym5$CORE_MICROTHEORY_P

$sym6$ANY_GENL_MT_

public static final SubLSymbol $sym6$ANY_GENL_MT_

$list7

public static final SubLList $list7

$str8$_any_genl_mt__spec_genls__is_t_if

public static final SubLString $str8$_any_genl_mt__spec_genls__is_t_if

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$sym11$ALL_BASE_MTS

public static final SubLSymbol $sym11$ALL_BASE_MTS

$sym12$_ALL_BASE_MTS_CACHING_STATE_

public static final SubLSymbol $sym12$_ALL_BASE_MTS_CACHING_STATE_

$int13$1000

public static final SubLInteger $int13$1000

$kw14$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw14$_MEMOIZED_ITEM_NOT_FOUND_

$list15

public static final SubLList $list15

$sym16$BASE_MT

public static final SubLSymbol $sym16$BASE_MT

$sym17$CDOLIST

public static final SubLSymbol $sym17$CDOLIST

$sym18$WITH_MT

public static final SubLSymbol $sym18$WITH_MT

$sym19$MAX_FLOOR_MONAD_MTS

public static final SubLSymbol $sym19$MAX_FLOOR_MONAD_MTS

$sym20$UNION

public static final SubLSymbol $sym20$UNION

$sym21$MAX_FLOOR_MTS

public static final SubLSymbol $sym21$MAX_FLOOR_MTS

$sym22$CACHED_MAX_FLOOR_MTS_FROM_MT_SETS

public static final SubLSymbol $sym22$CACHED_MAX_FLOOR_MTS_FROM_MT_SETS

$sym23$_CACHED_MAX_FLOOR_MTS_FROM_MT_SETS_CACHING_STATE_

public static final SubLSymbol $sym23$_CACHED_MAX_FLOOR_MTS_FROM_MT_SETS_CACHING_STATE_

$int24$10000

public static final SubLInteger $int24$10000

$kw25$GAF

public static final SubLSymbol $kw25$GAF

$kw26$TRUE

public static final SubLSymbol $kw26$TRUE

$sym27$ADD_BASE_MT

public static final SubLSymbol $sym27$ADD_BASE_MT

$sym28$ADD_GENL_MT

public static final SubLSymbol $sym28$ADD_GENL_MT

$sym29$REMOVE_BASE_MT

public static final SubLSymbol $sym29$REMOVE_BASE_MT

$sym30$REMOVE_GENL_MT

public static final SubLSymbol $sym30$REMOVE_GENL_MT

Method Detail

all_genl_mts

public static final SubLObject all_genl_mts(SubLObject mt,
                                            SubLObject mt_mt,
                                            SubLObject tv)

returns all genls of microtheory (ascending transitive closure; inexpensive)

genl_mtP

public static final SubLObject genl_mtP(SubLObject spec,
                                        SubLObject genl,
                                        SubLObject mt_mt,
                                        SubLObject tv)

is mt a genl-mt of ? (ascending transitive search; inexpensive)

proper_genl_mtP

public static final SubLObject proper_genl_mtP(SubLObject spec,
                                               SubLObject genl,
                                               SubLObject mt_mt,
                                               SubLObject tv)

monad_genl_mtP

public static final SubLObject monad_genl_mtP(SubLObject spec,
                                              SubLObject genl,
                                              SubLObject mt_mt,
                                              SubLObject tv)

is monad mt a genl-mt of ? (ascending transitive search; inexpensive)

clear_all_base_mts

public static final SubLObject clear_all_base_mts()

min_mts

public static final SubLObject min_mts(SubLObject mts,
                                       SubLObject mt_mt)

the most-specific among microtheories

min_mts_before_floors

public static final SubLObject min_mts_before_floors(SubLObject mts,
                                                     SubLObject mt_mt)

version of min-mts called inside max-floor-mts

max_floor_mts

public static final SubLObject max_floor_mts(SubLObject mts,
                                             SubLObject candidates,
                                             SubLObject mt_mt)

the most general common specializations among microtheories (if is non-nil, then result is a subset of )

max_floor_monad_mts_internal

public static final SubLObject max_floor_monad_mts_internal(SubLObject mts,
                                                            SubLObject candidates,
                                                            SubLObject mt_mt)

max_floor_monad_mts

public static final SubLObject max_floor_monad_mts(SubLObject mts,
                                                   SubLObject candidates,
                                                   SubLObject mt_mt)

max_floor_mts_with_cycles_pruned

public static final SubLObject max_floor_mts_with_cycles_pruned(SubLObject mts,
                                                                SubLObject candidates,
                                                                SubLObject mt_mt)

the most general common specializations among microtheories such that only one node from any given cycle is returned. if CANDIDATES is non-nil, the result is a subset of CANDIDATES.

max_floor_monad_mts_with_cycles_pruned

public static final SubLObject max_floor_monad_mts_with_cycles_pruned(SubLObject mts,
                                                                      SubLObject candidates,
                                                                      SubLObject mt_mt)

add_base_mt

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

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

add_genl_mt

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

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

remove_base_mt

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

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

remove_genl_mt

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

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

declare_genl_mts_file

public static final SubLObject declare_genl_mts_file()

init_genl_mts_file

public static final SubLObject init_genl_mts_file()

setup_genl_mts_file

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