org.spaceroots.rkcheck

Class DerivationTreesSetGenerator

java.lang.Object

org.spaceroots.rkcheck.DerivationTreesSetGenerator

public class DerivationTreesSetGenerator
extends java.lang.Object

This class generates all trees set for any order.

See Also:

DerivationTree

Constructor Summary

Constructors

Constructor and Description
DerivationTreesSetGenerator() Build an empty generator.

Method Summary

Modifier and Type	Method and Description
java.util.TreeSet	getTreesSet(int order) Get the trees set for the specified order.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DerivationTreesSetGenerator

public DerivationTreesSetGenerator()

Build an empty generator.

Method Detail

getTreesSet

public java.util.TreeSet getTreesSet(int order)

Get the trees set for the specified order.

Parameters:

order - order of the desired trees (must be strictly positive)

Returns:

the set of trees of the specified order, this set contains DerivationTree elements