com.cyc.cycjava.cycl
Class hlmt

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class hlmt
extends SubLTranslatedFile

Nested Class Summary

static class	hlmt.$closed_hlmt_p$UnaryFunction
static class	hlmt.$hlmt_equal$BinaryFunction
static class	hlmt.$hlmtP$UnaryFunction
static class	hlmt.$monad_cycl_mtP$UnaryFunction
static class	hlmt.$monad_mt_p$UnaryFunction
static class	hlmt.$mt_union_mts_recursive_int$UnaryFunction
static class	hlmt.$single_dimension_mt_dimension$UnaryFunction
static class	hlmt.$temporal_dimension_mt_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const12$AnytimePSC
static SubLObject	$const13$AnytimeDuringPSCFn
static SubLObject	$const15$MtUnionFn
static SubLObject	$const16$MtTimeWithGranularityDimFn
static SubLObject	$const17$MtTimeDimFn
static SubLObject	$const21$EverythingPSC
static SubLObject	$const22$InferencePSC
static SubLObject	$const25$MicrotheoryDimensionPredicate
static SubLObject	$const4$UniversalVocabularyMt
static SubLObject	$const5$Null_TimeParameter
static SubLObject	$const52$MtDim
static SubLObject	$const53$mtMonad
static SubLObject	$const54$mtTimeIndex
static SubLObject	$const55$mtTimeParameter
static SubLObject	$const6$TimePoint
static SubLObject	$const62$Microtheory
static SubLObject	$const64$TimeInterval
static SubLObject	$const65$TemporalThing
static SubLObject	$const66$TimeParameter
static SubLObject	$const67$SomeTimeInIntervalFn
static SubLObject	$const7$Always_TimeInterval
static SubLObject	$const8$MtSpace
static SubLSymbol	$default_atemporal_genlmt_time_parameter$
static SubLSymbol	$default_atemporal_specmt_time_parameter$
static SubLSymbol	$default_atemporal_time_parameter$
static SubLSymbol	$default_monad_mt$
static SubLSymbol	$default_mt_time_interval$
static SubLSymbol	$default_mt_time_parameter$
static SubLSymbol	$default_temporal_mt_time_parameter$
static SubLSymbol	$hlmts_supportedP$ Whether we allow non-atomic unreified mts.
static SubLSymbol	$kw28$ALLOW_OTHER_KEYS
static SubLSymbol	$kw29$DONE
static SubLSymbol	$kw49$MONAD
static SubLSymbol	$kw50$TIME
static SubLSymbol	$kw51$UNKNOWN
static SubLSymbol	$kw60$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw75$ERROR
static SubLList	$list1
static SubLList	$list10
static SubLList	$list11
static SubLList	$list14
static SubLList	$list26
static SubLList	$list27
static SubLList	$list35
static SubLList	$list45
static SubLList	$list47
static SubLList	$list63
static SubLList	$list71
static SubLList	$list76
static SubLList	$list80
static SubLList	$list81
static SubLList	$list84
static SubLList	$list85
static SubLList	$list86
static SubLList	$list9
static SubLString	$str2$Continue_without_temporal_support
static SubLString	$str3$Need__Cyc_Time_feature_for_tempor
static SubLString	$str69$Continue_Anyway_
static SubLString	$str70$We_should_never_test_two_some_tim
static SubLString	$str74$DIM_NAT__a_is_not_a_microtheory_t
static SubLSymbol	$sym0$CLET
static SubLSymbol	$sym18$LISTP
static SubLSymbol	$sym19$MT_UNION_MTS_RECURSIVE_INT
static SubLSymbol	$sym20$UNION_MT_RELEVANCE_CONTEXTS
static SubLSymbol	$sym23$ANYTIME_PSC_HLMT_
static SubLSymbol	$sym24$HLMT_MONAD_MT
static SubLSymbol	$sym30$ARGS
static SubLSymbol	$sym31$ARG
static SubLSymbol	$sym32$PCOND
static SubLSymbol	$sym33$MONAD_MT_P
static SubLSymbol	$sym34$PUNLESS
static SubLSymbol	$sym36$MT_DIM_NAUT_P
static SubLSymbol	$sym37$MT_DIM_NAT_DIMENSION
static SubLSymbol	$sym38$MT_SPACE_NAUT_P
static SubLSymbol	$sym39$NAUT_ARGS
static SubLSymbol	$sym40$CSOME
static SubLSymbol	$sym41$MT_DIMENSION_OF_ARG
static SubLSymbol	$sym42$COR
static SubLSymbol	$sym43$ANYTIME_PSC_P
static SubLSymbol	$sym44$ANYTIME_DURING_PSC_FN_NAUT_P
static SubLSymbol	$sym46$CLOSED_POSSIBLY_HLMT_P
static SubLSymbol	$sym48$DO_MT_DIMENSIONS
static SubLSymbol	$sym56$INTERESTING_HLMT_
static SubLSymbol	$sym57$REDUCE_MT_UNION_HLMT_INT
static SubLSymbol	$sym58$_REDUCE_MT_UNION_HLMT_INT_CACHING_STATE_
static SubLSymbol	$sym59$CLEAR_REDUCE_MT_UNION_HLMT_INT
static SubLSymbol	$sym61$MONAD_MT_
static SubLSymbol	$sym68$INDETERMINATE_TIME_INTERVAL_P
static SubLSymbol	$sym72$CMULTIPLE_VALUE_SETQ
static SubLSymbol	$sym73$MT_TIME_DIM_NAT_TEMPORAL_VALUES
static SubLSymbol	$sym77$EXPLODE_HLMT_TEMPORAL_FACETS_WITH_DEFAULTS
static SubLSymbol	$sym78$HLMT_MONAD_MT_WITHOUT_DEFAULT
static SubLSymbol	$sym79$EXPLODE_HLMT_TEMPORAL_FACETS
static SubLSymbol	$sym82$PROGN
static SubLSymbol	$sym83$IGNORE
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	anytime_during_psc_fn_naut_p(SubLObject object)
static SubLObject	anytime_psc_p(SubLObject object)
static SubLObject	chlmt_p(SubLObject object) Shorthand for @xref closed-hlmt-p.
static SubLObject	closed_hlmt_p(SubLObject object)
static SubLObject	declare_hlmt_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	disable_hlmts()
static SubLObject	fort_or_chlmt_p(SubLObject object)
static SubLObject	get_hlmt_dimension(SubLObject dim, SubLObject v_hlmt)
static SubLObject	hlmt_equal(SubLObject object0, SubLObject object1)
static SubLObject	hlmt_equalP(SubLObject object0, SubLObject object1)
static SubLObject	hlmt_monad_mt_without_default(SubLObject v_hlmt)
static SubLObject	hlmt_monad_mt(SubLObject v_hlmt)
static SubLObject	hlmt_naut_p(SubLObject object)
static SubLObject	hlmt_p_no_time(SubLObject object)
static SubLObject	hlmt_p(SubLObject object)
static SubLObject	hlmt_temporal_mt(SubLObject v_hlmt)
static SubLObject	hlmt_with_anytime_psc_p(SubLObject v_hlmt)
static SubLObject	hlmtP_int(SubLObject object)
static SubLObject	hlmtP_no_time(SubLObject object)
static SubLObject	hlmtP(SubLObject object) Like @xref hlmt-p but also does fort-types checks that the relevant bits have fort-types of microtheories, and arity checks on all the dimensions.
static SubLObject	hlmts_supportedP() Whether we allow non-atomic unreified mts.
static SubLObject	init_hlmt_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	monad_mt_p(SubLObject object)
static SubLObject	monad_mtP(SubLObject object)
static SubLObject	mt_space_naut_p(SubLObject object)
static SubLObject	mt_union_function_p(SubLObject object)
static SubLObject	mt_union_naut_p(SubLObject object)
static SubLObject	mt_union_nautP(SubLObject object)
static SubLObject	possibly_hlmt_naut_p(SubLObject object)
static SubLObject	possibly_hlmt_p(SubLObject object)
static SubLObject	possibly_mt_p(SubLObject object)
static SubLObject	reduce_hlmt(SubLObject v_hlmt, SubLObject minimize_mt_union_mtsP) Removes default values from HLMT, for more compact storage.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_hlmt_file()
static SubLObject	transform_mt_union_nauts(SubLObject v_hlmt, SubLObject minimize_mt_union_mtsP)
static SubLObject	valid_hlmt_p(SubLObject v_hlmt, SubLObject robust)
static SubLObject	valid_monad_mt_p(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

$hlmts_supportedP$

public static SubLSymbol $hlmts_supportedP$

Whether we allow non-atomic unreified mts.

$default_monad_mt$

public static SubLSymbol $default_monad_mt$

$default_temporal_mt_time_parameter$

public static SubLSymbol $default_temporal_mt_time_parameter$

$default_atemporal_time_parameter$

public static SubLSymbol $default_atemporal_time_parameter$

$default_atemporal_genlmt_time_parameter$

public static SubLSymbol $default_atemporal_genlmt_time_parameter$

$default_atemporal_specmt_time_parameter$

public static SubLSymbol $default_atemporal_specmt_time_parameter$

$default_mt_time_interval$

public static SubLSymbol $default_mt_time_interval$

$default_mt_time_parameter$

public static SubLSymbol $default_mt_time_parameter$

$sym0$CLET

public static final SubLSymbol $sym0$CLET

$list1

public static final SubLList $list1

$str2$Continue_without_temporal_support

public static final SubLString $str2$Continue_without_temporal_support

$str3$Need__Cyc_Time_feature_for_tempor

public static final SubLString $str3$Need__Cyc_Time_feature_for_tempor

$const4$UniversalVocabularyMt

public static final SubLObject $const4$UniversalVocabularyMt

$const5$Null_TimeParameter

public static final SubLObject $const5$Null_TimeParameter

$const6$TimePoint

public static final SubLObject $const6$TimePoint

$const7$Always_TimeInterval

public static final SubLObject $const7$Always_TimeInterval

$const8$MtSpace

public static final SubLObject $const8$MtSpace

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$list11

public static final SubLList $list11

$const12$AnytimePSC

public static final SubLObject $const12$AnytimePSC

$const13$AnytimeDuringPSCFn

public static final SubLObject $const13$AnytimeDuringPSCFn

$list14

public static final SubLList $list14

$const15$MtUnionFn

public static final SubLObject $const15$MtUnionFn

$const16$MtTimeWithGranularityDimFn

public static final SubLObject $const16$MtTimeWithGranularityDimFn

$const17$MtTimeDimFn

public static final SubLObject $const17$MtTimeDimFn

$sym18$LISTP

public static final SubLSymbol $sym18$LISTP

$sym19$MT_UNION_MTS_RECURSIVE_INT

public static final SubLSymbol $sym19$MT_UNION_MTS_RECURSIVE_INT

$sym20$UNION_MT_RELEVANCE_CONTEXTS

public static final SubLSymbol $sym20$UNION_MT_RELEVANCE_CONTEXTS

$const21$EverythingPSC

public static final SubLObject $const21$EverythingPSC

$const22$InferencePSC

public static final SubLObject $const22$InferencePSC

$sym23$ANYTIME_PSC_HLMT_

public static final SubLSymbol $sym23$ANYTIME_PSC_HLMT_

$sym24$HLMT_MONAD_MT

public static final SubLSymbol $sym24$HLMT_MONAD_MT

$const25$MicrotheoryDimensionPredicate

public static final SubLObject $const25$MicrotheoryDimensionPredicate

$list26

public static final SubLList $list26

$list27

public static final SubLList $list27

$kw28$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw28$ALLOW_OTHER_KEYS

$kw29$DONE

public static final SubLSymbol $kw29$DONE

$sym30$ARGS

public static final SubLSymbol $sym30$ARGS

$sym31$ARG

public static final SubLSymbol $sym31$ARG

$sym32$PCOND

public static final SubLSymbol $sym32$PCOND

$sym33$MONAD_MT_P

public static final SubLSymbol $sym33$MONAD_MT_P

$sym34$PUNLESS

public static final SubLSymbol $sym34$PUNLESS

$list35

public static final SubLList $list35

$sym36$MT_DIM_NAUT_P

public static final SubLSymbol $sym36$MT_DIM_NAUT_P

$sym37$MT_DIM_NAT_DIMENSION

public static final SubLSymbol $sym37$MT_DIM_NAT_DIMENSION

$sym38$MT_SPACE_NAUT_P

public static final SubLSymbol $sym38$MT_SPACE_NAUT_P

$sym39$NAUT_ARGS

public static final SubLSymbol $sym39$NAUT_ARGS

$sym40$CSOME

public static final SubLSymbol $sym40$CSOME

$sym41$MT_DIMENSION_OF_ARG

public static final SubLSymbol $sym41$MT_DIMENSION_OF_ARG

$sym42$COR

public static final SubLSymbol $sym42$COR

$sym43$ANYTIME_PSC_P

public static final SubLSymbol $sym43$ANYTIME_PSC_P

$sym44$ANYTIME_DURING_PSC_FN_NAUT_P

public static final SubLSymbol $sym44$ANYTIME_DURING_PSC_FN_NAUT_P

$list45

public static final SubLList $list45

$sym46$CLOSED_POSSIBLY_HLMT_P

public static final SubLSymbol $sym46$CLOSED_POSSIBLY_HLMT_P

$list47

public static final SubLList $list47

$sym48$DO_MT_DIMENSIONS

public static final SubLSymbol $sym48$DO_MT_DIMENSIONS

$kw49$MONAD

public static final SubLSymbol $kw49$MONAD

$kw50$TIME

public static final SubLSymbol $kw50$TIME

$kw51$UNKNOWN

public static final SubLSymbol $kw51$UNKNOWN

$const52$MtDim

public static final SubLObject $const52$MtDim

$const53$mtMonad

public static final SubLObject $const53$mtMonad

$const54$mtTimeIndex

public static final SubLObject $const54$mtTimeIndex

$const55$mtTimeParameter

public static final SubLObject $const55$mtTimeParameter

$sym56$INTERESTING_HLMT_

public static final SubLSymbol $sym56$INTERESTING_HLMT_

$sym57$REDUCE_MT_UNION_HLMT_INT

public static final SubLSymbol $sym57$REDUCE_MT_UNION_HLMT_INT

$sym58$_REDUCE_MT_UNION_HLMT_INT_CACHING_STATE_

public static final SubLSymbol $sym58$_REDUCE_MT_UNION_HLMT_INT_CACHING_STATE_

$sym59$CLEAR_REDUCE_MT_UNION_HLMT_INT

public static final SubLSymbol $sym59$CLEAR_REDUCE_MT_UNION_HLMT_INT

$kw60$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw60$_MEMOIZED_ITEM_NOT_FOUND_

$sym61$MONAD_MT_

public static final SubLSymbol $sym61$MONAD_MT_

$const62$Microtheory

public static final SubLObject $const62$Microtheory

$list63

public static final SubLList $list63

$const64$TimeInterval

public static final SubLObject $const64$TimeInterval

$const65$TemporalThing

public static final SubLObject $const65$TemporalThing

$const66$TimeParameter

public static final SubLObject $const66$TimeParameter

$const67$SomeTimeInIntervalFn

public static final SubLObject $const67$SomeTimeInIntervalFn

$sym68$INDETERMINATE_TIME_INTERVAL_P

public static final SubLSymbol $sym68$INDETERMINATE_TIME_INTERVAL_P

$str69$Continue_Anyway_

public static final SubLString $str69$Continue_Anyway_

$str70$We_should_never_test_two_some_tim

public static final SubLString $str70$We_should_never_test_two_some_tim

$list71

public static final SubLList $list71

$sym72$CMULTIPLE_VALUE_SETQ

public static final SubLSymbol $sym72$CMULTIPLE_VALUE_SETQ

$sym73$MT_TIME_DIM_NAT_TEMPORAL_VALUES

public static final SubLSymbol $sym73$MT_TIME_DIM_NAT_TEMPORAL_VALUES

$str74$DIM_NAT__a_is_not_a_microtheory_t

public static final SubLString $str74$DIM_NAT__a_is_not_a_microtheory_t

$kw75$ERROR

public static final SubLSymbol $kw75$ERROR

$list76

public static final SubLList $list76

$sym77$EXPLODE_HLMT_TEMPORAL_FACETS_WITH_DEFAULTS

public static final SubLSymbol $sym77$EXPLODE_HLMT_TEMPORAL_FACETS_WITH_DEFAULTS

$sym78$HLMT_MONAD_MT_WITHOUT_DEFAULT

public static final SubLSymbol $sym78$HLMT_MONAD_MT_WITHOUT_DEFAULT

$sym79$EXPLODE_HLMT_TEMPORAL_FACETS

public static final SubLSymbol $sym79$EXPLODE_HLMT_TEMPORAL_FACETS

$list80

public static final SubLList $list80

$list81

public static final SubLList $list81

$sym82$PROGN

public static final SubLSymbol $sym82$PROGN

$sym83$IGNORE

public static final SubLSymbol $sym83$IGNORE

$list84

public static final SubLList $list84

$list85

public static final SubLList $list85

$list86

public static final SubLList $list86

Method Detail

hlmts_supportedP

public static final SubLObject hlmts_supportedP()

Whether we allow non-atomic unreified mts.

disable_hlmts

public static final SubLObject disable_hlmts()

possibly_mt_p

public static final SubLObject possibly_mt_p(SubLObject object)

possibly_hlmt_p

public static final SubLObject possibly_hlmt_p(SubLObject object)

fort_or_chlmt_p

public static final SubLObject fort_or_chlmt_p(SubLObject object)

Returns:

booleanp; Whether OBJECT is a fort-p or closed-hlmt-p.

chlmt_p

public static final SubLObject chlmt_p(SubLObject object)

Shorthand for @xref closed-hlmt-p.

closed_hlmt_p

public static final SubLObject closed_hlmt_p(SubLObject object)

Returns:

boolean; t iff OBJECT is an HLMT, and is closed

hlmt_p

public static final SubLObject hlmt_p(SubLObject object)

Returns:

boolean; t if OBJECT might be an HLMT, that is, an HL representation of a microtheory. Hence it must be closed.

hlmt_p_no_time

public static final SubLObject hlmt_p_no_time(SubLObject object)

possibly_hlmt_naut_p

public static final SubLObject possibly_hlmt_naut_p(SubLObject object)

hlmt_naut_p

public static final SubLObject hlmt_naut_p(SubLObject object)

mt_space_naut_p

public static final SubLObject mt_space_naut_p(SubLObject object)

mt_union_naut_p

public static final SubLObject mt_union_naut_p(SubLObject object)

mt_union_function_p

public static final SubLObject mt_union_function_p(SubLObject object)

hlmtP

public static final SubLObject hlmtP(SubLObject object)

Like @xref hlmt-p but also does fort-types checks that the relevant bits have fort-types of microtheories, and arity checks on all the dimensions.

hlmtP_int

public static final SubLObject hlmtP_int(SubLObject object)

hlmtP_no_time

public static final SubLObject hlmtP_no_time(SubLObject object)

mt_union_nautP

public static final SubLObject mt_union_nautP(SubLObject object)

hlmt_equal

public static final SubLObject hlmt_equal(SubLObject object0,
                                          SubLObject object1)

Returns:

booleanp; Whether OBJECT0 is equal to OBJECT1.

hlmt_equalP

public static final SubLObject hlmt_equalP(SubLObject object0,
                                           SubLObject object1)

Returns:

booleanp; Whether OBJECT0 is equal to OBJECT1 insofar as all of their dimensions are equal. What constitutes equality for a given dimension is dependent on that dimension.

get_hlmt_dimension

public static final SubLObject get_hlmt_dimension(SubLObject dim,
                                                  SubLObject v_hlmt)

Parameters:

DIM - mt-dimension-type-p

HLMT - hlmt-p

Returns:

mt-p; The dimension of HLMT specified by DIM.

reduce_hlmt

public static final SubLObject reduce_hlmt(SubLObject v_hlmt,
                                           SubLObject minimize_mt_union_mtsP)

Removes default values from HLMT, for more compact storage. @note result is destructible.

transform_mt_union_nauts

public static final SubLObject transform_mt_union_nauts(SubLObject v_hlmt,
                                                        SubLObject minimize_mt_union_mtsP)

valid_hlmt_p

public static final SubLObject valid_hlmt_p(SubLObject v_hlmt,
                                            SubLObject robust)

monad_mt_p

public static final SubLObject monad_mt_p(SubLObject object)

valid_monad_mt_p

public static final SubLObject valid_monad_mt_p(SubLObject mt)

monad_mtP

public static final SubLObject monad_mtP(SubLObject object)

hlmt_monad_mt

public static final SubLObject hlmt_monad_mt(SubLObject v_hlmt)

Returns:

monad-mt-p

hlmt_monad_mt_without_default

public static final SubLObject hlmt_monad_mt_without_default(SubLObject v_hlmt)

Returns:

nil or monad-mt-p

anytime_psc_p

public static final SubLObject anytime_psc_p(SubLObject object)

anytime_during_psc_fn_naut_p

public static final SubLObject anytime_during_psc_fn_naut_p(SubLObject object)

hlmt_with_anytime_psc_p

public static final SubLObject hlmt_with_anytime_psc_p(SubLObject v_hlmt)

hlmt_temporal_mt

public static final SubLObject hlmt_temporal_mt(SubLObject v_hlmt)

declare_hlmt_file

public static final SubLObject declare_hlmt_file()

init_hlmt_file

public static final SubLObject init_hlmt_file()

setup_hlmt_file

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