lmf.formula.csp.node
Class ACspInterleaveProcess

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

public final class ACspInterleaveProcess
extends PInterleaveProcess


Constructor Summary
ACspInterleaveProcess()
           
ACspInterleaveProcess(PParallelProcess _leftProcess_, TInterleave _interleave_, PInterleaveProcess _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TInterleave getInterleave()
           
 PParallelProcess getLeftProcess()
           
 PInterleaveProcess getRightProcess()
           
 void setInterleave(TInterleave node)
           
 void setLeftProcess(PParallelProcess node)
           
 void setRightProcess(PInterleaveProcess 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

ACspInterleaveProcess

public ACspInterleaveProcess()

ACspInterleaveProcess

public ACspInterleaveProcess(PParallelProcess _leftProcess_,
                             TInterleave _interleave_,
                             PInterleaveProcess _rightProcess_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getLeftProcess

public PParallelProcess getLeftProcess()

setLeftProcess

public void setLeftProcess(PParallelProcess node)

getInterleave

public TInterleave getInterleave()

setInterleave

public void setInterleave(TInterleave node)

getRightProcess

public PInterleaveProcess getRightProcess()

setRightProcess

public void setRightProcess(PInterleaveProcess node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object