com.cyc.cycjava.cycl
Class mt_relevance_macros

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class mt_relevance_macros
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const29$EverythingPSC
static SubLObject	$const34$InferencePSC
static SubLObject	$const83$MtUnionFn
static SubLList	$list0
static SubLList	$list21
static SubLList	$list25
static SubLList	$list28
static SubLList	$list3
static SubLList	$list31
static SubLList	$list33
static SubLList	$list37
static SubLList	$list40
static SubLList	$list43
static SubLList	$list44
static SubLList	$list47
static SubLList	$list48
static SubLList	$list6
static SubLList	$list66
static SubLList	$list7
static SubLList	$list73
static SubLList	$list75
static SubLList	$list84
static SubLList	$list87
static SubLList	$list88
static SubLList	$list91
static SubLList	$list93
static SubLSymbol	$mt$ A ubiquitous parameter used to dynamically bind the current mt assumptions, if they can be expressed by a single mt.
static SubLSymbol	$relevant_mt_function$
static SubLSymbol	$relevant_mts$
static SubLString	$str24$MT_and_all_its_genl_mts_are_relev
static SubLString	$str32$All_mts_are_relevant_within_BODY_
static SubLString	$str36$Any_mt_can_be_used_for_relevance_
static SubLString	$str39$Only_MT_is_relevant_within_BODY__
static SubLString	$str42$Each_mt_in_the_list_MT_LIST_is_re
static SubLString	$str62$BODY_evaluated_with_the_same_rele
static SubLString	$str64$No_microtheory_was_specified_
static SubLString	$str95$Iterate_over_all_microtheories__b
static SubLSymbol	$sym1$CLET
static SubLSymbol	$sym10$SPECIAL_CORE_LOOP_MT_P
static SubLSymbol	$sym11$CORE_MICROTHEORY_P
static SubLSymbol	$sym12$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym13$RELEVANT_MT_IS_ANY_MT
static SubLSymbol	$sym14$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym15$RELEVANT_MT_IS_EQ
static SubLSymbol	$sym16$RELEVANT_MT_IS_IN_LIST
static SubLSymbol	$sym17$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER
static SubLSymbol	$sym18$RELEVANT_MT_IS_GENL_MT_WITH_ANY_TIME
static SubLSymbol	$sym19$RELEVANT_MT_IS_SPEC_MT
static SubLSymbol	$sym2$_RELEVANT_MT_FUNCTION_
static SubLSymbol	$sym20$WITH_MT_FUNCTION
static SubLSymbol	$sym22$IN_MT
static SubLSymbol	$sym23$WITH_GENL_MTS
static SubLSymbol	$sym26$CANONICALIZE_HLMT
static SubLSymbol	$sym27$WITH_MT
static SubLSymbol	$sym30$WITH_ALL_MTS
static SubLSymbol	$sym35$WITH_ANY_MT
static SubLSymbol	$sym38$WITH_JUST_MT
static SubLSymbol	$sym4$_MT_
static SubLSymbol	$sym41$WITH_MT_LIST
static SubLSymbol	$sym45$WITH_MT_LIST_AND_GENL_MTS
static SubLSymbol	$sym46$MT_UNION_MTS
static SubLSymbol	$sym49$PROGN
static SubLSymbol	$sym5$IN_MT_LIST
static SubLSymbol	$sym50$MT_VAR
static SubLSymbol	$sym51$POSSIBLY_IN_MT_DETERMINE_FUNCTION
static SubLSymbol	$sym52$POSSIBLY_IN_MT_DETERMINE_MT
static SubLSymbol	$sym53$POSSIBLY_IN_MT
static SubLSymbol	$sym54$MT_VAR
static SubLSymbol	$sym55$POSSIBLY_WITH_JUST_MT_DETERMINE_FUNCTION
static SubLSymbol	$sym56$POSSIBLY_WITH_JUST_MT_DETERMINE_MT
static SubLSymbol	$sym57$POSSIBLY_WITH_JUST_MT
static SubLSymbol	$sym58$HLMT_P
static SubLSymbol	$sym59$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE_INTERNAL
static SubLSymbol	$sym60$WITH_INFERENCE_MT_RELEVANCE_VALIDATE
static SubLSymbol	$sym61$WITH_INFERENCE_MT_RELEVANCE
static SubLSymbol	$sym63$DETERMINE_INFERENCE_MT_RELEVANCE_EL_SPEC
static SubLSymbol	$sym65$WITH_INFERENCE_MT_RELEVANCE_EL
static SubLSymbol	$sym67$MT_VAR
static SubLSymbol	$sym68$UPDATE_INFERENCE_MT_RELEVANCE_MT
static SubLSymbol	$sym69$UPDATE_INFERENCE_MT_RELEVANCE_FUNCTION
static SubLSymbol	$sym70$UPDATE_INFERENCE_MT_RELEVANCE_MT_LIST
static SubLSymbol	$sym71$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE
static SubLSymbol	$sym72$DETERMINE_POSSIBLY_WITH_INFERENCE_MT_RELEVANCE_MT_AND_SPEC
static SubLSymbol	$sym74$WITH_INFERENCE_ANY_MT_RELEVANCE_
static SubLSymbol	$sym76$PSC_INFERENCE
static SubLSymbol	$sym77$WITH_INFERENCE_MT_RELEVANCE_ALL_MTS_
static SubLSymbol	$sym78$ALL_MTS_INFERENCE
static SubLSymbol	$sym79$WITH_MT_UNION_RELEVANCE_
static SubLSymbol	$sym8$_RELEVANT_MTS_
static SubLSymbol	$sym80$MT_UNION_INFERENCE
static SubLSymbol	$sym81$WITH_INFERENCE_ANYTIME_RELEVANCE_
static SubLSymbol	$sym82$ANYTIME_PSC_INFERENCE
static SubLSymbol	$sym85$PCOND
static SubLSymbol	$sym86$MT_FUNCTION_EQ
static SubLSymbol	$sym89$MT_UNION_NAUT_P
static SubLSymbol	$sym9$HLMT_EQUAL
static SubLSymbol	$sym90$WITH_GENL_MTS_OF_UNION
static SubLSymbol	$sym92$DO_ALL_FORT_INSTANCES
static SubLSymbol	$sym94$MAP_MTS
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	all_mts_are_relevantP()
static SubLObject	any_mt_is_relevantP()
static SubLObject	any_or_all_mts_are_relevantP()
static SubLObject	any_or_all_mts_relevant_to_mtP(SubLObject mt)
static SubLObject	any_relevant_mtP(SubLObject mts)
static SubLObject	any_time_is_relevantP()
static SubLObject	conservative_constraint_mt(SubLObject mt) Assuming that relevance is being established from MT, and we are imposing a constraint about which we need to be conservative, return the mt in which we should look for such constraints.
static SubLObject	current_mt_relevance_mt()
static SubLObject	declare_mt_relevance_macros_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	genl_mts_are_relevantP()
static SubLObject	genl_mts_of_listed_mts_are_relevantP()
static SubLObject	inference_relevant_mt() From the dynamic mt context, return an mt suitable for passing to
static SubLObject	init_mt_relevance_macros_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	mt_function_eq(SubLObject mt_function, SubLObject symbol) Return T iff relevant-mt function MT-FUNCTION matches that specified by SYMBOL
static SubLObject	mt_info(SubLObject mt)
static SubLObject	only_specified_mt_is_relevantP()
static SubLObject	possibly_in_mt_determine_function(SubLObject mt)
static SubLObject	possibly_in_mt_determine_mt(SubLObject mt)
static SubLObject	possibly_with_just_mt_determine_function(SubLObject mt)
static SubLObject	possibly_with_just_mt_determine_mt(SubLObject mt)
static SubLObject	relevant_mt_function_eq(SubLObject symbol) Return T iff the currently relevant mt-function matches that specified by SYMBOL
static SubLObject	relevant_mt_is_any_mt(SubLObject mt)
static SubLObject	relevant_mt_is_eq(SubLObject mt)
static SubLObject	relevant_mt_is_everything(SubLObject mt)
static SubLObject	relevant_mt_is_genl_mt(SubLObject mt)
static SubLObject	relevant_mtP(SubLObject mt) Return T iff MT is relevant with respect to the current dynamic mt scope.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_mt_relevance_macros_file()
static SubLObject	update_inference_mt_relevance_function(SubLObject mt)
static SubLObject	update_inference_mt_relevance_mt_list(SubLObject mt)
static SubLObject	update_inference_mt_relevance_mt(SubLObject mt)
static SubLObject	with_inference_any_mt_relevanceP(SubLObject mt)
static SubLObject	with_inference_anytime_relevanceP(SubLObject mt)
static SubLObject	with_inference_mt_relevance_all_mtsP(SubLObject mt)
static SubLObject	with_inference_mt_relevance_validate(SubLObject mt)
static SubLObject	with_mt_union_relevanceP(SubLObject mt)

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

$relevant_mt_function$

public static SubLSymbol $relevant_mt_function$

$mt$

public static SubLSymbol $mt$

A ubiquitous parameter used to dynamically bind the current mt assumptions, if they can be expressed by a single mt.

$relevant_mts$

public static SubLSymbol $relevant_mts$

$list0

public static final SubLList $list0

$sym1$CLET

public static final SubLSymbol $sym1$CLET

$sym2$_RELEVANT_MT_FUNCTION_

public static final SubLSymbol $sym2$_RELEVANT_MT_FUNCTION_

$list3

public static final SubLList $list3

$sym4$_MT_

public static final SubLSymbol $sym4$_MT_

$sym5$IN_MT_LIST

public static final SubLSymbol $sym5$IN_MT_LIST

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$sym8$_RELEVANT_MTS_

public static final SubLSymbol $sym8$_RELEVANT_MTS_

$sym9$HLMT_EQUAL

public static final SubLSymbol $sym9$HLMT_EQUAL

$sym10$SPECIAL_CORE_LOOP_MT_P

public static final SubLSymbol $sym10$SPECIAL_CORE_LOOP_MT_P

$sym11$CORE_MICROTHEORY_P

public static final SubLSymbol $sym11$CORE_MICROTHEORY_P

$sym12$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym12$RELEVANT_MT_IS_GENL_MT

$sym13$RELEVANT_MT_IS_ANY_MT

public static final SubLSymbol $sym13$RELEVANT_MT_IS_ANY_MT

$sym14$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym14$RELEVANT_MT_IS_EVERYTHING

$sym15$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym15$RELEVANT_MT_IS_EQ

$sym16$RELEVANT_MT_IS_IN_LIST

public static final SubLSymbol $sym16$RELEVANT_MT_IS_IN_LIST

$sym17$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

public static final SubLSymbol $sym17$RELEVANT_MT_IS_GENL_MT_OF_LIST_MEMBER

$sym18$RELEVANT_MT_IS_GENL_MT_WITH_ANY_TIME

public static final SubLSymbol $sym18$RELEVANT_MT_IS_GENL_MT_WITH_ANY_TIME

$sym19$RELEVANT_MT_IS_SPEC_MT

public static final SubLSymbol $sym19$RELEVANT_MT_IS_SPEC_MT

$sym20$WITH_MT_FUNCTION

public static final SubLSymbol $sym20$WITH_MT_FUNCTION

$list21

public static final SubLList $list21

$sym22$IN_MT

public static final SubLSymbol $sym22$IN_MT

$sym23$WITH_GENL_MTS

public static final SubLSymbol $sym23$WITH_GENL_MTS

$str24$MT_and_all_its_genl_mts_are_relev

public static final SubLString $str24$MT_and_all_its_genl_mts_are_relev

$list25

public static final SubLList $list25

$sym26$CANONICALIZE_HLMT

public static final SubLSymbol $sym26$CANONICALIZE_HLMT

$sym27$WITH_MT

public static final SubLSymbol $sym27$WITH_MT

$list28

public static final SubLList $list28

$const29$EverythingPSC

public static final SubLObject $const29$EverythingPSC

$sym30$WITH_ALL_MTS

public static final SubLSymbol $sym30$WITH_ALL_MTS

$list31

public static final SubLList $list31

$str32$All_mts_are_relevant_within_BODY_

public static final SubLString $str32$All_mts_are_relevant_within_BODY_

$list33

public static final SubLList $list33

$const34$InferencePSC

public static final SubLObject $const34$InferencePSC

$sym35$WITH_ANY_MT

public static final SubLSymbol $sym35$WITH_ANY_MT

$str36$Any_mt_can_be_used_for_relevance_

public static final SubLString $str36$Any_mt_can_be_used_for_relevance_

$list37

public static final SubLList $list37

$sym38$WITH_JUST_MT

public static final SubLSymbol $sym38$WITH_JUST_MT

$str39$Only_MT_is_relevant_within_BODY__

public static final SubLString $str39$Only_MT_is_relevant_within_BODY__

$list40

public static final SubLList $list40

$sym41$WITH_MT_LIST

public static final SubLSymbol $sym41$WITH_MT_LIST

$str42$Each_mt_in_the_list_MT_LIST_is_re

public static final SubLString $str42$Each_mt_in_the_list_MT_LIST_is_re

$list43

public static final SubLList $list43

$list44

public static final SubLList $list44

$sym45$WITH_MT_LIST_AND_GENL_MTS

public static final SubLSymbol $sym45$WITH_MT_LIST_AND_GENL_MTS

$sym46$MT_UNION_MTS

public static final SubLSymbol $sym46$MT_UNION_MTS

$list47

public static final SubLList $list47

$list48

public static final SubLList $list48

$sym49$PROGN

public static final SubLSymbol $sym49$PROGN

$sym50$MT_VAR

public static final SubLSymbol $sym50$MT_VAR

$sym51$POSSIBLY_IN_MT_DETERMINE_FUNCTION

public static final SubLSymbol $sym51$POSSIBLY_IN_MT_DETERMINE_FUNCTION

$sym52$POSSIBLY_IN_MT_DETERMINE_MT

public static final SubLSymbol $sym52$POSSIBLY_IN_MT_DETERMINE_MT

$sym53$POSSIBLY_IN_MT

public static final SubLSymbol $sym53$POSSIBLY_IN_MT

$sym54$MT_VAR

public static final SubLSymbol $sym54$MT_VAR

$sym55$POSSIBLY_WITH_JUST_MT_DETERMINE_FUNCTION

public static final SubLSymbol $sym55$POSSIBLY_WITH_JUST_MT_DETERMINE_FUNCTION

$sym56$POSSIBLY_WITH_JUST_MT_DETERMINE_MT

public static final SubLSymbol $sym56$POSSIBLY_WITH_JUST_MT_DETERMINE_MT

$sym57$POSSIBLY_WITH_JUST_MT

public static final SubLSymbol $sym57$POSSIBLY_WITH_JUST_MT

$sym58$HLMT_P

public static final SubLSymbol $sym58$HLMT_P

$sym59$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE_INTERNAL

public static final SubLSymbol $sym59$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE_INTERNAL

$sym60$WITH_INFERENCE_MT_RELEVANCE_VALIDATE

public static final SubLSymbol $sym60$WITH_INFERENCE_MT_RELEVANCE_VALIDATE

$sym61$WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym61$WITH_INFERENCE_MT_RELEVANCE

$str62$BODY_evaluated_with_the_same_rele

public static final SubLString $str62$BODY_evaluated_with_the_same_rele

$sym63$DETERMINE_INFERENCE_MT_RELEVANCE_EL_SPEC

public static final SubLSymbol $sym63$DETERMINE_INFERENCE_MT_RELEVANCE_EL_SPEC

$str64$No_microtheory_was_specified_

public static final SubLString $str64$No_microtheory_was_specified_

$sym65$WITH_INFERENCE_MT_RELEVANCE_EL

public static final SubLSymbol $sym65$WITH_INFERENCE_MT_RELEVANCE_EL

$list66

public static final SubLList $list66

$sym67$MT_VAR

public static final SubLSymbol $sym67$MT_VAR

$sym68$UPDATE_INFERENCE_MT_RELEVANCE_MT

public static final SubLSymbol $sym68$UPDATE_INFERENCE_MT_RELEVANCE_MT

$sym69$UPDATE_INFERENCE_MT_RELEVANCE_FUNCTION

public static final SubLSymbol $sym69$UPDATE_INFERENCE_MT_RELEVANCE_FUNCTION

$sym70$UPDATE_INFERENCE_MT_RELEVANCE_MT_LIST

public static final SubLSymbol $sym70$UPDATE_INFERENCE_MT_RELEVANCE_MT_LIST

$sym71$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

public static final SubLSymbol $sym71$POSSIBLY_WITH_INFERENCE_MT_RELEVANCE

$sym72$DETERMINE_POSSIBLY_WITH_INFERENCE_MT_RELEVANCE_MT_AND_SPEC

public static final SubLSymbol $sym72$DETERMINE_POSSIBLY_WITH_INFERENCE_MT_RELEVANCE_MT_AND_SPEC

$list73

public static final SubLList $list73

$sym74$WITH_INFERENCE_ANY_MT_RELEVANCE_

public static final SubLSymbol $sym74$WITH_INFERENCE_ANY_MT_RELEVANCE_

$list75

public static final SubLList $list75

$sym76$PSC_INFERENCE

public static final SubLSymbol $sym76$PSC_INFERENCE

$sym77$WITH_INFERENCE_MT_RELEVANCE_ALL_MTS_

public static final SubLSymbol $sym77$WITH_INFERENCE_MT_RELEVANCE_ALL_MTS_

$sym78$ALL_MTS_INFERENCE

public static final SubLSymbol $sym78$ALL_MTS_INFERENCE

$sym79$WITH_MT_UNION_RELEVANCE_

public static final SubLSymbol $sym79$WITH_MT_UNION_RELEVANCE_

$sym80$MT_UNION_INFERENCE

public static final SubLSymbol $sym80$MT_UNION_INFERENCE

$sym81$WITH_INFERENCE_ANYTIME_RELEVANCE_

public static final SubLSymbol $sym81$WITH_INFERENCE_ANYTIME_RELEVANCE_

$sym82$ANYTIME_PSC_INFERENCE

public static final SubLSymbol $sym82$ANYTIME_PSC_INFERENCE

$const83$MtUnionFn

public static final SubLObject $const83$MtUnionFn

$list84

public static final SubLList $list84

$sym85$PCOND

public static final SubLSymbol $sym85$PCOND

$sym86$MT_FUNCTION_EQ

public static final SubLSymbol $sym86$MT_FUNCTION_EQ

$list87

public static final SubLList $list87

$list88

public static final SubLList $list88

$sym89$MT_UNION_NAUT_P

public static final SubLSymbol $sym89$MT_UNION_NAUT_P

$sym90$WITH_GENL_MTS_OF_UNION

public static final SubLSymbol $sym90$WITH_GENL_MTS_OF_UNION

$list91

public static final SubLList $list91

$sym92$DO_ALL_FORT_INSTANCES

public static final SubLSymbol $sym92$DO_ALL_FORT_INSTANCES

$list93

public static final SubLList $list93

$sym94$MAP_MTS

public static final SubLSymbol $sym94$MAP_MTS

$str95$Iterate_over_all_microtheories__b

public static final SubLString $str95$Iterate_over_all_microtheories__b

Method Detail

mt_function_eq

public static final SubLObject mt_function_eq(SubLObject mt_function,
                                              SubLObject symbol)

Return T iff relevant-mt function MT-FUNCTION matches that specified by SYMBOL

relevant_mt_function_eq

public static final SubLObject relevant_mt_function_eq(SubLObject symbol)

Return T iff the currently relevant mt-function matches that specified by SYMBOL

current_mt_relevance_mt

public static final SubLObject current_mt_relevance_mt()

relevant_mt_is_everything

public static final SubLObject relevant_mt_is_everything(SubLObject mt)

relevant_mt_is_any_mt

public static final SubLObject relevant_mt_is_any_mt(SubLObject mt)

relevant_mt_is_eq

public static final SubLObject relevant_mt_is_eq(SubLObject mt)

relevant_mt_is_genl_mt

public static final SubLObject relevant_mt_is_genl_mt(SubLObject mt)

relevant_mtP

public static final SubLObject relevant_mtP(SubLObject mt)

Return T iff MT is relevant with respect to the current dynamic mt scope.

genl_mts_are_relevantP

public static final SubLObject genl_mts_are_relevantP()

any_mt_is_relevantP

public static final SubLObject any_mt_is_relevantP()

all_mts_are_relevantP

public static final SubLObject all_mts_are_relevantP()

any_or_all_mts_are_relevantP

public static final SubLObject any_or_all_mts_are_relevantP()

genl_mts_of_listed_mts_are_relevantP

public static final SubLObject genl_mts_of_listed_mts_are_relevantP()

any_time_is_relevantP

public static final SubLObject any_time_is_relevantP()

only_specified_mt_is_relevantP

public static final SubLObject only_specified_mt_is_relevantP()

possibly_in_mt_determine_function

public static final SubLObject possibly_in_mt_determine_function(SubLObject mt)

possibly_in_mt_determine_mt

public static final SubLObject possibly_in_mt_determine_mt(SubLObject mt)

possibly_with_just_mt_determine_function

public static final SubLObject possibly_with_just_mt_determine_function(SubLObject mt)

possibly_with_just_mt_determine_mt

public static final SubLObject possibly_with_just_mt_determine_mt(SubLObject mt)

with_inference_mt_relevance_validate

public static final SubLObject with_inference_mt_relevance_validate(SubLObject mt)

update_inference_mt_relevance_mt

public static final SubLObject update_inference_mt_relevance_mt(SubLObject mt)

update_inference_mt_relevance_function

public static final SubLObject update_inference_mt_relevance_function(SubLObject mt)

update_inference_mt_relevance_mt_list

public static final SubLObject update_inference_mt_relevance_mt_list(SubLObject mt)

with_inference_any_mt_relevanceP

public static final SubLObject with_inference_any_mt_relevanceP(SubLObject mt)

with_inference_mt_relevance_all_mtsP

public static final SubLObject with_inference_mt_relevance_all_mtsP(SubLObject mt)

with_mt_union_relevanceP

public static final SubLObject with_mt_union_relevanceP(SubLObject mt)

with_inference_anytime_relevanceP

public static final SubLObject with_inference_anytime_relevanceP(SubLObject mt)

inference_relevant_mt

public static final SubLObject inference_relevant_mt()

From the dynamic mt context, return an mt suitable for passing to

mt_info

public static final SubLObject mt_info(SubLObject mt)

any_or_all_mts_relevant_to_mtP

public static final SubLObject any_or_all_mts_relevant_to_mtP(SubLObject mt)

conservative_constraint_mt

public static final SubLObject conservative_constraint_mt(SubLObject mt)

Assuming that relevance is being established from MT, and we are imposing a constraint about which we need to be conservative, return the mt in which we should look for such constraints.

any_relevant_mtP

public static final SubLObject any_relevant_mtP(SubLObject mts)

declare_mt_relevance_macros_file

public static final SubLObject declare_mt_relevance_macros_file()

init_mt_relevance_macros_file

public static final SubLObject init_mt_relevance_macros_file()

setup_mt_relevance_macros_file

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