lmf.formula.csp.node
Class ACspGuardedProcess
java.lang.Object
lmf.formula.csp.node.Node
lmf.formula.csp.node.PGuardedProcess
lmf.formula.csp.node.ACspGuardedProcess
- All Implemented Interfaces:
- java.lang.Cloneable, Switchable
public final class ACspGuardedProcess
- extends PGuardedProcess
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
ACspGuardedProcess
public ACspGuardedProcess()
ACspGuardedProcess
public ACspGuardedProcess(PExpr _guardExpr_,
TGuard _guard_,
PHelp _process_)
clone
public java.lang.Object clone()
- Specified by:
clone
in class Node
apply
public void apply(Switch sw)
getGuardExpr
public PExpr getGuardExpr()
setGuardExpr
public void setGuardExpr(PExpr node)
getGuard
public TGuard getGuard()
setGuard
public void setGuard(TGuard node)
getProcess
public PHelp getProcess()
setProcess
public void setProcess(PHelp node)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object