org.abora.white.spaces.integers
Class IntegerEdgeAccumulator

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.collection.steppers.Accumulator
              |
              +--org.abora.white.spaces.integers.IntegerEdgeAccumulator

public class IntegerEdgeAccumulator

extends Accumulator

Field Summary

protected boolean	havePending
protected IntegerVarArray	myEdges
protected int	myIndex
protected IntegerValue	myPending
protected boolean	myStartsInside
protected static InstanceCache	SomeAccumulators

Constructor Summary

IntegerEdgeAccumulator(boolean startsInside, int count)

IntegerEdgeAccumulator(boolean startsInside, IntegerVarArray edges, int index, boolean hasPending, IntegerValue pending)

Method Summary

Accumulator	copy() Return a new Accumulator just like the current one, except that from now on they accumulate separately
void	destroy()
void	edge(IntegerValue x) add a transition at the given position.
void	edges(IntegerEdgeStepper stepper) add a whole bunch of edges at once, assuming that they are sorted and there are no duplicates
static IntegerEdgeAccumulator	make(boolean startsInside, int count)
void	printOn(java.io.PrintWriter oo) This should rarely be overridden.
IntegerRegion	region() make a region out of the accumulated edges
void	step(Heaper someObj) Accumulate a new object into the Accumulator
Heaper	value() Return the object that results from accumulating all those objects

Methods inherited from class org.abora.white.collection.steppers.Accumulator

actualHashForEqual, isEqual, ptrArray

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

destruct, equals, hashForEqual, printContentsOn, sendSelfTo, toString

Methods inherited from class java.lang.Object

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

Field Detail

myStartsInside

protected boolean myStartsInside

myEdges

protected IntegerVarArray myEdges

myIndex

protected int myIndex

havePending

protected boolean havePending

myPending

protected IntegerValue myPending

SomeAccumulators

protected static InstanceCache SomeAccumulators

Constructor Detail

IntegerEdgeAccumulator

public IntegerEdgeAccumulator(boolean startsInside,
                              int count)

IntegerEdgeAccumulator

public IntegerEdgeAccumulator(boolean startsInside,
                              IntegerVarArray edges,
                              int index,
                              boolean hasPending,
                              IntegerValue pending)

Method Detail

copy

public Accumulator copy()

Description copied from class: Accumulator

Return a new Accumulator just like the current one, except that from now on they accumulate separately

Specified by:

copy in class Accumulator

destroy

public void destroy()

Overrides:

destroy in class Heaper

step

public void step(Heaper someObj)

Description copied from class: Accumulator

Accumulate a new object into the Accumulator

Specified by:

step in class Accumulator

value

public Heaper value()

Description copied from class: Accumulator

Return the object that results from accumulating all those objects

Specified by:

value in class Accumulator

printOn

public void printOn(java.io.PrintWriter oo)

Description copied from class: Heaper

This should rarely be overridden. In Tofu, it prints ClassName(...), where ... is either produced by printInsideOn or is ??? if printInsideOn it not overridden.

Overrides:

printOn in class Heaper

edge

public void edge(IntegerValue x)

add a transition at the given position. doing it again cancels it. This particular coding is used for C++ inlinability

edges

public void edges(IntegerEdgeStepper stepper)

add a whole bunch of edges at once, assuming that they are sorted and there are no duplicates

region

public IntegerRegion region()

make a region out of the accumulated edges

make

public static IntegerEdgeAccumulator make(boolean startsInside,
                                          int count)