Index - All Packages - All Categories - All Classes
Class BoxProjectionStepper
Steps over all projections of some boxes. was nota.type but this prevented compilation
Package: Udanax-Gold
All Superclasses: Object Heaper Stepper
Protocols: Object
Categories: Xanadu-Spaces-Cross
Class MethodsinitTimeNonInherited
Overrides: Stepper class
linkTimeNonInherited
Overrides: Stepper class
make: region
make: region with: boxIndex with: boxLimit
Instance Methodscopy
Return a new stepper which steps independently of me, but whose current
value is the same as mine, and which must produce a future history of values
which satisfies the same obligation that my contract obligates me to produce
now. Typically, this will mean that he must produce the same future history
that I'm going to produce. However, let's say that I am enumerating the
elements of a partial order in some full order which is consistent with the
partial order. If a copy of me is made after I'm part way through, then me
and my copy may produce any future history compatable both with the partial
order and the elements I've already produced by the time of the copy. Of
course, a subclass or a Stepper creating message (like
IntegerRegion::stepper()) may specify the more stringent requirement (that a
copy must produce the same sequence).
To prevent aliasing, Steppers should typically be passed by copy. See class
comment.
Overrides: Stepper
create: region
create: region with: boxIndex with: boxLimit
create: region with: boxIndex with: boxLimit with: dimension
destroy
Overrides: Heaper
dimension
fetch
Overrides: Stepper
hasValue
Overrides: Stepper
projection
step
Overrides: Stepper
Index - All Packages - All Categories - All Classes