JSim.plan

Class DETool

java.lang.Object

JSim.plan.Tool

JSim.plan.DETool

All Implemented Interfaces:

SeqItem

public class DETool
extends Tool

Field Summary

Fields

Modifier and Type	Field and Description
JSim.mml.Domain	t
DomainSet	tcandidates
int	torder
DomainSet	txs
JSim.mml.Var	v
JSim.mml.Var	vtmax
DomainSet	xs

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
DETool(TModel model, JSim.mml.Var v)

Method Summary

Modifier and Type	Method and Description
void	addCon(DECon con)
DECon	bc(TSubDom sd)
java.lang.String	deString()
PDEFactors	factors()
boolean	isPDE()
boolean	needsBC(JSim.mml.Domain x, boolean onLeft)
java.lang.String	nodeString()
JSim.mml.Domain	t()
java.lang.String	toolType()
java.lang.String	toString()
JSim.mml.Var	v()

Methods inherited from class JSim.plan.Tool

lineNoMessage, log, logger, seqLoops, vreqs

Methods inherited from class java.lang.Object

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

Field Detail

v

public JSim.mml.Var v

txs

public DomainSet txs

tcandidates

public DomainSet tcandidates

t

public JSim.mml.Domain t

xs

public DomainSet xs

vtmax

public JSim.mml.Var vtmax

torder

public int torder

Constructor Detail

DETool

public DETool(TModel model,
              JSim.mml.Var v)
       throws Xcept

Throws:

Xcept

Method Detail

addCon

public void addCon(DECon con)
            throws Xcept

Throws:

Xcept

needsBC

public boolean needsBC(JSim.mml.Domain x,
                       boolean onLeft)

v

public JSim.mml.Var v()

t

public JSim.mml.Domain t()

Specified by:

t in interface SeqItem

Overrides:

t in class Tool

nodeString

public java.lang.String nodeString()

Specified by:

nodeString in interface SeqItem

Overrides:

nodeString in class Tool

isPDE

public boolean isPDE()

deString

public java.lang.String deString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

bc

public DECon bc(TSubDom sd)

toolType

public java.lang.String toolType()

Specified by:

toolType in class Tool

factors

public PDEFactors factors()