JSim.plan

Class ReuseTool

java.lang.Object

JSim.plan.Tool

JSim.plan.ReuseTool

All Implemented Interfaces:

SeqItem

public class ReuseTool
extends Tool

Field Summary

Fields

Modifier and Type	Field and Description
TSubDom	lhbc
Tool	tool
JSim.mml.Domain	x

Fields inherited from class JSim.plan.Tool

CURR, DELAY, eqns, EXPR, icTools, MAX, MIN, model, QUERY, seqLoops, vreqs, vsols, XEXPR

Constructor Summary

Constructors

Constructor and Description
ReuseTool(Tool tool, JSim.mml.Domain x)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toolType()
java.lang.String	toString()

Methods inherited from class JSim.plan.Tool

lineNoMessage, log, logger, nodeString, seqLoops, t, vreqs

Methods inherited from class java.lang.Object

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

Field Detail

tool

public Tool tool

x

public JSim.mml.Domain x

lhbc

public TSubDom lhbc

Constructor Detail

ReuseTool

public ReuseTool(Tool tool,
                 JSim.mml.Domain x)
          throws Xcept

Throws:

Xcept

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toolType

public java.lang.String toolType()

Specified by:

toolType in class Tool