Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.conjecture.engine.apengine.LabeledTreeGenerator
public class LabeledTreeGenerator
extends java.lang.Object
Constructor Summary | |
| |
|
Method Summary | |
boolean |
|
LabeledBinaryTree |
|
public LabeledTreeGenerator(TreeGeneratortreeGenerator, int nrOfInvariants, int mainInvariant)
public LabeledTreeGenerator(int nrOfInvariants, int mainInvariant)
public boolean hasMore()
public LabeledBinaryTree nextLabeledTree()
Return the nextLabeledBinaryTree
ornull
when no more tree is available.