org.processmining.plugins.pnml.elements

Class PnmlPage.PageMap

java.lang.Object

org.processmining.plugins.pnml.elements.PnmlPage.PageMap

Enclosing class:

PnmlPage

protected class PnmlPage.PageMap
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PageMap()

Method Summary

Modifier and Type	Method and Description
PnmlPage	get(ExpandableSubNet group)
void	put(ExpandableSubNet group, PnmlPage page)

Methods inherited from class java.lang.Object

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

Constructor Detail

PageMap

public PageMap()

Method Detail

put

public void put(ExpandableSubNet group,
                PnmlPage page)

get

public PnmlPage get(ExpandableSubNet group)