Because Edge Regions should only be used on infinitely divisible spaces (like rationals), if it's finite then it is bounded on both sides, and all the internal intervals are singletons
Create an accumulator which takes edges and creates a region
The position associated with the given edge. Blast if there is none
Overridden by: RealManager SequenceManager
Create a stepper for iterating through the edges of the region
The largest position such that no other positions in the region are any less than it. In other words, this is the lower bounding element. We choose to avoid the terms 'lowerBound' and 'upperBound' as their meanings in IntegerRegion are significantly different. Here, both 'all numbers >= 3' and 'all numbers > 3' have a 'greatestLowerBound' of 3 even though the latter doesn't include 3. To tell whether a bound is included, good old 'hasMember' should do a fine job.
Same meaning as IntegerRegion::isBoundedLeft
Same meaning as IntegerRegion::isBoundedRight
Here is one place where the *infinite* of the infinite divisibility assumed by OrderedRegion about the full ordering comes in (see class comment).
An interval whose left edge is not the same as the right edge is assumed to contain an infinite number of positions
The smallest position such that no other positions in the region are
any greater than it. In other words, this is the upper bounding element.
We choose to avoid the terms 'lowerBound' and 'upperBound' as
their meanings in IntegerRegion are significantly different. Here, both
'all numbers <= 3' and 'all numbers < 3' have a 'leastUpperBound'
of 3 even though the latter doesn't include 3. To tell whether a
bound is included, good old 'hasMember' should do a fine job.
Make a new region of the right type
Overridden by: RealManager SequenceManager
Make a new region of the right type
Overridden by: RealManager SequenceManager
Overridden by: RealManager SequenceManager
Create a stepper for iterating through the edges of the region
Overridden by: RealManager SequenceManager
Overridden by: RealManager SequenceManager
Overridden by: RealManager SequenceManager