JSim.plan

Class ToolBox

java.lang.Object

JSim.plan.ToolBox

public class ToolBox
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
TModel	model
Plan	plan
java.util.ArrayList<Tool>	tools

Constructor Summary

Constructors

Constructor and Description
ToolBox(Plan plan)

Method Summary

Modifier and Type	Method and Description
boolean	isInput(Tool tool)
void	log(java.lang.String msg)
Logger	logger()
java.util.LinkedHashSet<Tool>	seqTools()
VarUsages	unknown(VarUsages src, int maxNVar)

Methods inherited from class java.lang.Object

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

Field Detail

plan

public Plan plan

model

public TModel model

tools

public java.util.ArrayList<Tool> tools

Constructor Detail

ToolBox

public ToolBox(Plan plan)
        throws Xcept

Throws:

Xcept

Method Detail

unknown

public VarUsages unknown(VarUsages src,
                         int maxNVar)
                  throws Xcept

Throws:

Xcept

seqTools

public java.util.LinkedHashSet<Tool> seqTools()

isInput

public boolean isInput(Tool tool)

logger

public Logger logger()

log

public void log(java.lang.String msg)