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.

Version:

$Id: DerivationTreesSetGenerator.java,v 1.2 2002/08/18 13:42:25 luc Exp $

Author:

L. Maisonobe

See Also:

DerivationTree

Constructor Summary

DerivationTreesSetGenerator()
Build an empty generator.

Method Summary

java.util.TreeSet

getTreesSet(int order) Get the trees set for the specified order.

Methods inherited from class java.lang.Object

clone, equals, finalize, 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