Package org.processmining.plugins.pnml.simple

Class PNMLFinalMarkings

java.lang.Object

org.processmining.plugins.pnml.simple.PNMLFinalMarkings

public class PNMLFinalMarkings
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
PNMLFinalMarkings()

Method Summary

Modifier and Type	Method	Description
java.util.List<PNMLMarking>	getMarkings()
void	setMarkings(java.util.List<PNMLMarking> markings)

Methods inherited from class java.lang.Object

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

Constructor Detail

PNMLFinalMarkings

public PNMLFinalMarkings()

Method Detail

getMarkings

public java.util.List<PNMLMarking> getMarkings()

setMarkings

public void setMarkings(java.util.List<PNMLMarking> markings)