org.processmining.streamconformance.local.model

Class LocalModelStructure

java.lang.Object

org.processmining.streamconformance.local.model.LocalModelStructure

public class LocalModelStructure
extends java.lang.Object

This class is a container of all structures needed for local online conformance checking.

Author:

Andrea Burattin

Constructor Summary

Constructors

Constructor and Description
LocalModelStructure(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraph, org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphUnfolded, org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphDualUnfolded) Initializes the local model structure
LocalModelStructure(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking) Initializes the local model structure

Method Summary

Modifier and Type	Method and Description
java.lang.Double	getMaxOfMinRelationsAfter()
org.processmining.framework.util.Pair<java.lang.Integer,java.lang.Integer>	getMinMaxRelationsBefore(DirectFollowingRelation relation)
java.lang.Integer	getMinRelationsAfter(DirectFollowingRelation relation)
boolean	isAllowed(DirectFollowingRelation relation) This method checks if the given relation is allowed by the model or not
protected void	populateDirectFollowingRelations(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraph)
protected void	populateMinAfter(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphDualUnfolded)
protected void	populateMinMaxBefore(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphUnfolded)
protected void	populateStructure(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraph, org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphUnfolded, org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphDualUnfolded)
protected void	populateStructure(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking)
void	printNicely(java.io.PrintStream out)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalModelStructure

public LocalModelStructure(org.processmining.framework.plugin.PluginContext context,
                           org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                           org.processmining.models.semantics.petrinet.Marking initMarking)
                    throws java.lang.Exception

Initializes the local model structure

Parameters:

context -

net -

initMarking -

Throws:

java.lang.Exception

LocalModelStructure

public LocalModelStructure(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraph,
                           org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphUnfolded,
                           org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphDualUnfolded)

Initializes the local model structure

Parameters:

coverabilityGraph -

coverabilityGraphUnfolded -

coverabilityGraphDualUnfolded -

Method Detail

isAllowed

public boolean isAllowed(DirectFollowingRelation relation)

This method checks if the given relation is allowed by the model or not

Parameters:

relation -

Returns:

getMinMaxRelationsBefore

public org.processmining.framework.util.Pair<java.lang.Integer,java.lang.Integer> getMinMaxRelationsBefore(DirectFollowingRelation relation)

getMinRelationsAfter

public java.lang.Integer getMinRelationsAfter(DirectFollowingRelation relation)

getMaxOfMinRelationsAfter

public java.lang.Double getMaxOfMinRelationsAfter()

populateStructure

protected void populateStructure(org.processmining.framework.plugin.PluginContext context,
                                 org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                 org.processmining.models.semantics.petrinet.Marking initMarking)
                          throws java.lang.Exception

Throws:

java.lang.Exception

populateStructure

protected void populateStructure(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraph,
                                 org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphUnfolded,
                                 org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphDualUnfolded)

populateDirectFollowingRelations

protected void populateDirectFollowingRelations(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraph)

populateMinMaxBefore

protected void populateMinMaxBefore(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphUnfolded)

populateMinAfter

protected void populateMinAfter(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphDualUnfolded)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

printNicely

public void printNicely(java.io.PrintStream out)