org.grinvin.conjecture.engine.apengine
Class StateStack<E>
java.lang.Object
org.grinvin.conjecture.engine.apengine.StateStack<E>
public abstract class StateStack<E>
extends java.lang.Object
Abstract class for handling state in the tree generators.
StateStack
public StateStack()
Create a new StateStack.
createArray
protected abstract E[] createArray(int size)
empty
public final boolean empty()
emptyState
protected abstract E emptyState()
extend
protected void extend()
Extend the size of the stack.
peek
public final E peek()