org.abora.white.tumbler
Class RealManager

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.edge.EdgeManager
              |
              +--org.abora.white.tumbler.RealManager

public class RealManager

extends EdgeManager

Constructor Summary

protected	RealManager()
protected	RealManager(Rcvr receiver)

Method Summary

Position	edgePosition(TransitionEdge edge) The position associated with the given edge.
XnRegion	makeNew(boolean startsInside, PtrArray transitions) Make a new region of the right type
XnRegion	makeNew(boolean startsInside, PtrArray transitions, int count) Make a new region of the right type
PtrArray	posTransitions(Position pos)
void	sendSelfTo(Xmtr xmtr)
boolean	startsInside(XnRegion region)
PtrArray	transitions(XnRegion region)
int	transitionsCount(XnRegion region)

Methods inherited from class org.abora.white.edge.EdgeManager

actualHashForEqual, asSimpleRegion, complement, count, distinctions, edgeAccumulator, edgeStepper, greatestLowerBound, hasMember, intersect, isBoundedLeft, isBoundedRight, isEmpty, isEqual, isFinite, isFull, isSimple, isSubsetOf, leastUpperBound, lowerEdge, printRegionOn, simpleRegions, simpleUnion, singleEdgeStepper, unionWith, upperEdge, with

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

destroy, destruct, equals, hashForEqual, printContentsOn, printOn, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

RealManager

protected RealManager()

RealManager

protected RealManager(Rcvr receiver)

Method Detail

edgePosition

public Position edgePosition(TransitionEdge edge)

Description copied from class: EdgeManager

The position associated with the given edge. Blast if there is none

Specified by:

edgePosition in class EdgeManager

makeNew

public XnRegion makeNew(boolean startsInside,
                        PtrArray transitions)

Description copied from class: EdgeManager

Make a new region of the right type

Specified by:

makeNew in class EdgeManager

makeNew

public XnRegion makeNew(boolean startsInside,
                        PtrArray transitions,
                        int count)

Description copied from class: EdgeManager

Make a new region of the right type

Specified by:

makeNew in class EdgeManager

posTransitions

public PtrArray posTransitions(Position pos)

Specified by:

posTransitions in class EdgeManager

startsInside

public boolean startsInside(XnRegion region)

Specified by:

startsInside in class EdgeManager

transitions

public PtrArray transitions(XnRegion region)

Specified by:

transitions in class EdgeManager

transitionsCount

public int transitionsCount(XnRegion region)

Specified by:

transitionsCount in class EdgeManager

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class Heaper