lmf.formula.csp.node
Class ACspGuardedProcess

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PGuardedProcess
          extended by lmf.formula.csp.node.ACspGuardedProcess
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspGuardedProcess
extends PGuardedProcess


Constructor Summary
ACspGuardedProcess()
           
ACspGuardedProcess(PExpr _guardExpr_, TGuard _guard_, PHelp _process_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TGuard getGuard()
           
 PExpr getGuardExpr()
           
 PHelp getProcess()
           
 void setGuard(TGuard node)
           
 void setGuardExpr(PExpr node)
           
 void setProcess(PHelp node)
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ACspGuardedProcess

public ACspGuardedProcess()

ACspGuardedProcess

public ACspGuardedProcess(PExpr _guardExpr_,
                          TGuard _guard_,
                          PHelp _process_)
Method Detail

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