public class LocationType extends RecordType
Red (tfeng) |
Yellow (tfeng) |
EMPTY_RECORD
MAXDEPTHBOUND
HASH_INVALID
Constructor and Description |
---|
LocationType()
Construct a location type as a record type with x and y fields, which
are both integers.
|
_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