treebolic.generator.tree
Class TreeWrapper

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

public class TreeWrapper
extends SettingsWrapper

Tree wrapper

Author:

Bernard Bou

Field Summary

Fields inherited from class treebolic.generator.tree.SettingsWrapper

theSettings

Constructor Summary

TreeWrapper(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

TreeWrapper

public TreeWrapper(Settings theseSettings)

Constructor

Parameters:

theseSettings - settings