org.processmining.framework.models.petrinet.pattern
Class MarkedGraphComponent

java.lang.Object
  extended by org.processmining.framework.models.petrinet.pattern.Component
      extended by org.processmining.framework.models.petrinet.pattern.MarkedGraphComponent

public class MarkedGraphComponent
extends Component


Constructor Summary
MarkedGraphComponent(PetriNet wfnet)
           
 
Method Summary
 Component cloneComponent()
           
 java.lang.String toString()
           
 
Methods inherited from class org.processmining.framework.models.petrinet.pattern.Component
getWfnet
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MarkedGraphComponent

public MarkedGraphComponent(PetriNet wfnet)
Method Detail

cloneComponent

public Component cloneComponent()
Specified by:
cloneComponent in class Component

toString

public java.lang.String toString()
Specified by:
toString in class Component
See Also:
Object.toString()