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.