org.processmining.plugins.petra.monotonicity.map

Class MonoMap

java.lang.Object

org.processmining.plugins.petra.monotonicity.map.MonoMap

public class MonoMap
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MonoMap()
MonoMap(MonoMap map)
MonoMap(org.processmining.processtree.ProcessTree T, org.processmining.processtree.ProcessTree Tp)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<org.processmining.processtree.ProcessTreeElement>	getCodomain()
java.util.Collection<org.processmining.processtree.ProcessTreeElement>	getDomain()
<K extends org.processmining.processtree.Node> K	getMap(org.processmining.processtree.Node n)
<K extends org.processmining.processtree.Originator> K	getMap(org.processmining.processtree.Originator o)
org.processmining.processtree.ProcessTreeElement	getMap(org.processmining.processtree.ProcessTreeElement elem)
<K extends org.processmining.processtree.ProcessTreeElement> java.util.Set<K>	getMap(java.util.Set<K> elements)
void	putMap(org.processmining.processtree.ProcessTreeElement elem, org.processmining.processtree.ProcessTreeElement elemp)

Methods inherited from class java.lang.Object

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

Constructor Detail

MonoMap

public MonoMap()

MonoMap

public MonoMap(MonoMap map)

MonoMap

public MonoMap(org.processmining.processtree.ProcessTree T,
               org.processmining.processtree.ProcessTree Tp)

Method Detail

getMap

public org.processmining.processtree.ProcessTreeElement getMap(org.processmining.processtree.ProcessTreeElement elem)

getMap

public <K extends org.processmining.processtree.Node> K getMap(org.processmining.processtree.Node n)

getMap

public <K extends org.processmining.processtree.Originator> K getMap(org.processmining.processtree.Originator o)

getMap

public <K extends org.processmining.processtree.ProcessTreeElement> java.util.Set<K> getMap(java.util.Set<K> elements)

putMap

public void putMap(org.processmining.processtree.ProcessTreeElement elem,
                   org.processmining.processtree.ProcessTreeElement elemp)

getDomain

public java.util.Collection<org.processmining.processtree.ProcessTreeElement> getDomain()

getCodomain

public java.util.Collection<org.processmining.processtree.ProcessTreeElement> getCodomain()