Package org.processmining.plugins.pnml.elements.extensions

Class DefaultExtensionsFactory

java.lang.Object

org.processmining.plugins.pnml.elements.extensions.DefaultExtensionsFactory

public class DefaultExtensionsFactory
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
DefaultExtensionsFactory()

Method Summary

Modifier and Type	Method	Description
PnmlArcType	createPnmlArcType(java.lang.String tag)
PnmlInitialMarking	createPnmlInitialMarking()
PnmlInscription	createPnmlInscription()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultExtensionsFactory

public DefaultExtensionsFactory()

Method Detail

createPnmlInitialMarking

public PnmlInitialMarking createPnmlInitialMarking()

createPnmlArcType

public PnmlArcType createPnmlArcType(java.lang.String tag)

createPnmlInscription

public PnmlInscription createPnmlInscription()