public static class PtidesPlatform.PtidesNetworkModelTimeType extends RecordType
Modifier and Type | Field and Description |
---|---|
static java.lang.String[] |
LABELS
The labels of the RecordType fields.
|
static Type[] |
TYPES
The types of the RecordType fields.
|
EMPTY_RECORD
MAXDEPTHBOUND
HASH_INVALID
Constructor and Description |
---|
PtidesNetworkModelTimeType()
Create a new default PtidesNetworkType.
|
_compare, _getRepresentative, _greatestLowerBound, _leastUpperBound, clone, convert, depth, equals, get, getTokenClass, getTypeTerm, hashCode, initialize, isAbstract, isCompatible, isConstant, isInstantiable, isSubstitutionInstance, labelSet, toString, updateType
add, divide, getTypeHash, modulo, multiply, one, subtract, zero
public static Type[] TYPES
public static java.lang.String[] LABELS