org.processmining.plugins.petra.monotonicity.paretofront

Class MonotonicityOrderGlobalLazy

java.lang.Object

org.processmining.plugins.petra.monotonicity.paretofront.MonotonicityOrderGlobalImpl

org.processmining.plugins.petra.monotonicity.paretofront.MonotonicityOrderGlobalLazy

All Implemented Interfaces:

MonotonicityOrderGlobal

public class MonotonicityOrderGlobalLazy
extends MonotonicityOrderGlobalImpl

Field Summary

Fields inherited from class org.processmining.plugins.petra.monotonicity.paretofront.MonotonicityOrderGlobalImpl

localMonotonicity, monotonicityNotions

Constructor Summary

Constructors

Constructor and Description
MonotonicityOrderGlobalLazy()

Method Summary

Modifier and Type	Method and Description
void	addMonotonicityNotion(Monotonicity monotonicity) add an extra notion of monotonicity

Methods inherited from class org.processmining.plugins.petra.monotonicity.paretofront.MonotonicityOrderGlobalImpl

addProcessTree, addProcessTree, getMonotonicityOrderLocals, getNext, getNodes, hasNext, printOrdering, removedFromParetoFront

Methods inherited from class java.lang.Object

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

Constructor Detail

MonotonicityOrderGlobalLazy

public MonotonicityOrderGlobalLazy()

Method Detail

addMonotonicityNotion

public void addMonotonicityNotion(Monotonicity monotonicity)

Description copied from interface: MonotonicityOrderGlobal

add an extra notion of monotonicity