Index - All Packages - All Categories - All Classes

Class SequenceRegion

Represents a Region of Sequences. We can efficiently represent unions of intervals, delimited either by individual sequences or by a match with all sequences prefixed by some sequence up to some index.

Package: Udanax-Gold
All Superclasses: Object Heaper XnRegion
Protocols: Object
Categories: Xanadu-tumbler

Class Methods

above: sequence


below: sequence


empty


EXCLUSIVE


full


INCLUSIVE


infostProtocol



Overrides: XnRegion class

initTimeNonInherited


linkTimeNonInherited


PREFIX


prefixedBy: sequence with: limit

All sequences matching the given up to and including the number at limit

strictlyAbove: sequence


strictlyBelow: sequence


usingx: startsInside with: transitions


with: sequence



Instance Methods

actualHashForEqual



Overrides: XnRegion

actualStepper: order



Overrides: XnRegion

asSimpleRegion



Overrides: XnRegion

complement



Overrides: XnRegion

coordinateSpace



Overrides: XnRegion

count



Overrides: XnRegion

create: startsInside with: transitions


create: startsInside with: transitions with: count


createRcvr: receiver


distinctions



Overrides: XnRegion

hasMember: position



Overrides: XnRegion

intersect: other



Overrides: XnRegion

intervals


intervals: order

Essential. Break this up into disjoint intervals

isBoundedAbove

Same meaning as IntegerRegion::isBoundedAbove

isBoundedBelow

Same meaning as IntegerRegion::isBoundedBelow

isEmpty



Overrides: XnRegion

isEnumerable: order



Overrides: XnRegion

isEqual: other



Overrides: XnRegion

isFinite



Overrides: XnRegion

isFull



Overrides: XnRegion

isInterval

Whether this Region is a non-empty interval, ie. if A, B in the Region and A <= C <= B then C is in the Region. This includes inequalities (eg. ) and the fullRegion in addition to ordinary two-ended intervals.

isSimple



Overrides: XnRegion

isSubsetOf: other



Overrides: XnRegion

lowerBound

The largest sequence such that all the positions in the region are >= it. Does not necessarily lie in the region. For example, the region of all numbers > 2.3 has a lowerBound of 2.3. Mathematically, this is called the 'greatest lower bound'.

lowerEdge

Essential. The Sequence associated with the lower edge of the Region. To find out where the boundary is in relation to this sequence, check lowerEdgeType. BLASTS if unbounded below.

lowerEdgePrefixLimit

Essential. If lowerEdgeType is prefix, then it includes an Sequence matching each integer in the lowerEdge up to and including lowerEdgePrefixLimit.

lowerEdgeType

Essential. The kind of Sequence associated with the lower edge of the Region. If SequenceRegion::inclusive then it includes the lowerEdge; if exclusive, then it does not; if prefix, then it includes any Sequence matching each integer in the lowerEdge up to and including lowerEdgePrefixLimit.

printOn: oo



Overrides: Object

receiveSequenceRegion: rcvr


secretTransitions


secretTransitionsCount


sendSelfTo: xmtr


sendSequenceRegion: xmtr


simpleRegions: order



Overrides: XnRegion

simpleUnion: other



Overrides: XnRegion

startsInside


stepper: order



Overrides: XnRegion

unionWith: other



Overrides: XnRegion

upperBound

The smallest Sequence such that all the positions in the region are <= it. Does not necessarily lie in the region. For example, the region of all numbers < 2.3 has an upperBound of 2.3. Mathematically, this is called the 'least upper bound'.

upperEdge

Essential. The Sequence associated with the upper edge of the Region. To find out where the boundary is in relation to this sequence, check upperEdgeType. BLASTS if unbounded below.

upperEdgePrefixLimit

Essential. If upperEdgeType is prefix, then it includes a Sequence matching each integer in the upperEdge up to and including upperEdgePrefixLimit.

upperEdgeType

Essential. The kind of Sequence associated with the upper edge of the Region. If SequenceRegion::inclusive then it includes the upperEdge; if exclusive, then it does not; if prefix, then it includes any Sequence matching each integer in the upperEdge up to and including upperEdgePrefixLimit.

with: pos



Overrides: XnRegion


Index - All Packages - All Categories - All Classes