treebolic.generator.tree
Class TopWrapper

java.lang.Object
  treebolic.generator.tree.SettingsWrapper
      treebolic.generator.tree.TopWrapper

public class TopWrapper
extends SettingsWrapper

Top element wrapper

Author:

Bernard Bou

Field Summary

Fields inherited from class treebolic.generator.tree.SettingsWrapper

theSettings

Constructor Summary

TopWrapper(Settings theseSettings)
Constructor

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

TopWrapper

public TopWrapper(Settings theseSettings)

Constructor

Parameters:

theseSettings - settings