public class LocalModelStructure
extends java.lang.Object
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
|
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() |
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
context
- net
- initMarking
- java.lang.Exception
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)
coverabilityGraph
- coverabilityGraphUnfolded
- coverabilityGraphDualUnfolded
- public boolean isAllowed(DirectFollowingRelation relation)
relation
- public org.processmining.framework.util.Pair<java.lang.Integer,java.lang.Integer> getMinMaxRelationsBefore(DirectFollowingRelation relation)
public java.lang.Integer getMinRelationsAfter(DirectFollowingRelation relation)
public java.lang.Double getMaxOfMinRelationsAfter()
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
java.lang.Exception
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 populateDirectFollowingRelations(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraph)
protected void populateMinMaxBefore(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphUnfolded)
protected void populateMinAfter(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph coverabilityGraphDualUnfolded)
public java.lang.String toString()
toString
in class java.lang.Object
public void printNicely(java.io.PrintStream out)