JSim.plan

Class DECon

java.lang.Object

JSim.plan.DECon

public class DECon
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DECon(VarUsages vus, TEqn eqn)
DECon(VarUsages vus, Tool tool)

Method Summary

Modifier and Type	Method and Description
void	common(VarUsages vus)
TEqn	eqn()
boolean	isBC()
boolean	isBC(JSim.mml.Var v0, int stat)
boolean	isEqn()
boolean	isLHBC(JSim.mml.Var v0)
boolean	isRHBC(JSim.mml.Var v0)
boolean	isState()
boolean	isTool()
void	log(java.lang.String msg)
TModel	model()
Tool	tool()
java.lang.String	toString()
java.util.ArrayList<JSim.mml.Var>	v0s()
VarUsages	vreqs()
VarUsages	vus()

Methods inherited from class java.lang.Object

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

Constructor Detail

DECon

public DECon(VarUsages vus,
             Tool tool)
      throws Xcept

Throws:

Xcept

DECon

public DECon(VarUsages vus,
             TEqn eqn)
      throws Xcept

Throws:

Xcept

Method Detail

common

public void common(VarUsages vus)
            throws Xcept

Throws:

Xcept

model

public TModel model()

vus

public VarUsages vus()

vreqs

public VarUsages vreqs()

v0s

public java.util.ArrayList<JSim.mml.Var> v0s()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isState

public boolean isState()

isBC

public boolean isBC()

isEqn

public boolean isEqn()

isTool

public boolean isTool()

tool

public Tool tool()

eqn

public TEqn eqn()

isLHBC

public boolean isLHBC(JSim.mml.Var v0)
               throws Xcept

Throws:

Xcept

isRHBC

public boolean isRHBC(JSim.mml.Var v0)
               throws Xcept

Throws:

Xcept

isBC

public boolean isBC(JSim.mml.Var v0,
                    int stat)
             throws Xcept

Throws:

Xcept

log

public void log(java.lang.String msg)