| Prev Class | Next Class | Frames | No Frames |
| Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Objectorg.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree>org.grinvin.conjecture.engine.apengine.ExactTreeGenerator<T,extends,BinaryTree>public class ExactTreeGenerator<T,extends,BinaryTree>Nested Class Summary |
Nested classes/interfaces inherited from class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree> | |
TreeGenerator.TreeGeneratorStateStack | |
Field Summary |
Fields inherited from class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree> | |
completeWorkingTree, currentBinaryOperators, currentUnaryOperators, stateStack, treeFactory, workingTree | |
Constructor Summary | |
| |
Method Summary | |
T |
|
protected void | |
Methods inherited from class org.grinvin.conjecture.engine.apengine.TreeGenerator<T,extends,BinaryTree> | |
complete, correct, extend, nextTree, pushNextOperatorCount | |
public ExactTreeGenerator(int unaryOperators,
int binaryOperators,
TreeFactory treeFactory) public T nextTree()
Return the nextLabeledBinaryTreeornullwhen no more tree is available.
- Overrides:
- nextTree in interface TreeGenerator<T,extends,BinaryTree>
protected void pushNextOperatorCount()
- Overrides:
- pushNextOperatorCount in interface TreeGenerator<T,extends,BinaryTree>