org.abora.white.tumbler
Class BeforeSequence

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.edgeregion.TransitionEdge
              |
              +--org.abora.white.tumbler.SequenceEdge
                    |
                    +--org.abora.white.tumbler.BeforeSequence

public class BeforeSequence

extends SequenceEdge

Field Summary

Fields inherited from class org.abora.white.tumbler.SequenceEdge

mySequence

Constructor Summary

BeforeSequence(Rcvr receiver)

BeforeSequence(Sequence sequence)

Method Summary

boolean	follows(Position pos) Whether the position is strictly less than this edge
boolean	isEqual(Heaper other) Return true if the two objects are equal.
boolean	isFollowedBy(TransitionEdge next) Whether there is precisely one position between this edge and the next one
boolean	isGE(TransitionEdge other) Defines a full ordering among all edges in a given CoordinateSpace
static SequenceEdge	make(Sequence sequence)
Position	position()
void	printTransitionOn(java.io.PrintWriter oo, boolean entering, boolean touchesPrevious) Print a description of this transition
void	sendSelfTo(Xmtr xmtr)
boolean	touches(TransitionEdge other) Whether this edge touches the same position the other does
SequenceEdge	transformedBy(SequenceMapping dsp) Transform the edge by the given mapping

Methods inherited from class org.abora.white.tumbler.SequenceEdge

actualHashForEqual, printOn, sequence

Methods inherited from class org.abora.white.edgeregion.TransitionEdge

ceiling, floor

Methods inherited from class org.abora.white.xpp.basic.Heaper

destroy, destruct, equals, hashForEqual, printContentsOn, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BeforeSequence

public BeforeSequence(Sequence sequence)

BeforeSequence

public BeforeSequence(Rcvr receiver)

Method Detail

follows

public boolean follows(Position pos)

Description copied from class: SequenceEdge

Whether the position is strictly less than this edge

Specified by:

follows in class SequenceEdge

isEqual

public boolean isEqual(Heaper other)

Description copied from class: Heaper

Return true if the two objects are equal.

Specified by:

isEqual in class SequenceEdge

isFollowedBy

public boolean isFollowedBy(TransitionEdge next)

Description copied from class: SequenceEdge

Whether there is precisely one position between this edge and the next one

Specified by:

isFollowedBy in class SequenceEdge

isGE

public boolean isGE(TransitionEdge other)

Description copied from class: SequenceEdge

Defines a full ordering among all edges in a given CoordinateSpace

Specified by:

isGE in class SequenceEdge

touches

public boolean touches(TransitionEdge other)

Description copied from class: SequenceEdge

Whether this edge touches the same position the other does

Specified by:

touches in class SequenceEdge

position

public Position position()

transformedBy

public SequenceEdge transformedBy(SequenceMapping dsp)

Description copied from class: SequenceEdge

Transform the edge by the given mapping

Specified by:

transformedBy in class SequenceEdge

printTransitionOn

public void printTransitionOn(java.io.PrintWriter oo,
                              boolean entering,
                              boolean touchesPrevious)

Description copied from class: SequenceEdge

Print a description of this transition

Specified by:

printTransitionOn in class SequenceEdge

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class SequenceEdge

make

public static SequenceEdge make(Sequence sequence)