JSim.plan

Class DerivBuilder

java.lang.Object

JSim.plan.DerivBuilder

public class DerivBuilder
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DerivBuilder(ToolBox box)

Method Summary

Modifier and Type	Method and Description
void	log(java.lang.String msg)
Logger	logger()
TModel	model()
java.util.ArrayList<Tool>	tools()

Methods inherited from class java.lang.Object

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

Constructor Detail

DerivBuilder

public DerivBuilder(ToolBox box)

Method Detail

model

public TModel model()

log

public void log(java.lang.String msg)

logger

public Logger logger()

tools

public java.util.ArrayList<Tool> tools()