lmf.formula.csp.node
Class PReplicatedProcess

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PReplicatedProcess
All Implemented Interfaces:
java.lang.Cloneable, Switchable
Direct Known Subclasses:
ACspAlphabetisedReplicatedProcess, ACspBaseReplicatedProcess, ACspExternalReplicatedProcess, ACspInterleaveReplicatedProcess, ACspInternalReplicatedProcess, ACspLinkedReplicatedProcess, ACspSequentialReplicatedProcess, ACspSharingReplicatedProcess

public abstract class PReplicatedProcess
extends Node


Constructor Summary
PReplicatedProcess()
           
 
Method Summary
 
Methods inherited from class lmf.formula.csp.node.Node
clone, parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface lmf.formula.csp.node.Switchable
apply
 

Constructor Detail

PReplicatedProcess

public PReplicatedProcess()