lmf.formula.csp.node
Class ACspCheckExpr
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PCheckExpr
lmf.formula.csp.node.ACspCheckExpr
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspCheckExpr
- extends PCheckExpr
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspCheckExpr
public ACspCheckExpr()
ACspCheckExpr
public ACspCheckExpr(PExpr _process_,
TLCheck _lCheck_,
PCheckCondition _checkCondition_,
TRBracket _rBracket_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getProcess
public PExpr getProcess()
setProcess
public void setProcess(PExpr node)
getLCheck
public TLCheck getLCheck()
setLCheck
public void setLCheck(TLCheck node)
getCheckCondition
public PCheckCondition getCheckCondition()
setCheckCondition
public void setCheckCondition(PCheckCondition node)
getRBracket
public TRBracket getRBracket()
setRBracket
public void setRBracket(TRBracket node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object