treebolic.generator.tree
Class ToolsWrapper

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

public class ToolsWrapper
extends SettingsWrapper

Tools wrapper

Author:

Bernard Bou

Field Summary

Fields inherited from class treebolic.generator.tree.SettingsWrapper

theSettings

Constructor Summary

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

ToolsWrapper

public ToolsWrapper(Settings theseSettings)

Constructor

Parameters:

theseSettings - settings