lmf.formula.csp.node
Class ACspRefinementCheckExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PCheckExpr
lmf.formula.csp.node.ACspRefinementCheckExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspRefinementCheckExpr
- extends PCheckExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspRefinementCheckExpr
public ACspRefinementCheckExpr()
ACspRefinementCheckExpr
public ACspRefinementCheckExpr(TName _leftProcess_,
TLBracket _lBracket_,
PModel _model_,
TDefs _defs_,
TName _rightProcess_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getLeftProcess
public TName getLeftProcess()
setLeftProcess
public void setLeftProcess(TName node)
getLBracket
public TLBracket getLBracket()
setLBracket
public void setLBracket(TLBracket node)
getModel
public PModel getModel()
setModel
public void setModel(PModel node)
getDefs
public TDefs getDefs()
setDefs
public void setDefs(TDefs node)
getRightProcess
public TName getRightProcess()
setRightProcess
public void setRightProcess(TName node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object