Overview Package Tree Index Deprecated About
Prev Class | Next ClassFrames | No Frames
Summary: Nested | Field | Method | ConstrDetail: Nested | Field | Method | Constr

org.grinvin.conjecture.engine.apengine

Class LabeledTreeGenerator

public class LabeledTreeGenerator
extends java.lang.Object
Author:
adpeeter

Constructor Summary

LabeledTreeGenerator(TreeGenerator treeGenerator, int nrOfInvariants, int mainInvariant)
LabeledTreeGenerator(int nrOfInvariants, int mainInvariant)

Method Summary

boolean
hasMore()
LabeledBinaryTree
nextLabeledTree()
Return the next LabeledBinaryTree or null when no more tree is available.

Constructor Details

LabeledTreeGenerator

public LabeledTreeGenerator(TreeGenerator treeGenerator,
                            int nrOfInvariants,
                            int mainInvariant)

LabeledTreeGenerator

public LabeledTreeGenerator(int nrOfInvariants,
                            int mainInvariant)

Method Details

hasMore

public boolean hasMore()

nextLabeledTree

public LabeledBinaryTree nextLabeledTree()
Return the next LabeledBinaryTree or null when no more tree is available.

Overview Package Tree Index Deprecated About