public class IncrementalLayoutCalculations
extends java.lang.Object
Constructor and Description |
---|
IncrementalLayoutCalculations(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
Modifier and Type | Method and Description |
---|---|
static java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> |
getNodePos() |
static void |
setNodePos(java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> nodePos) |
void |
useAbstractionRule(java.util.Set<java.lang.Integer> att1,
java.util.Set<java.lang.Integer> att2,
InteractivePetriNet ipn,
int newPlaceID,
int newTranID) |
static void |
useAbstractionRule(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> prevNode,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> nextNodes,
org.processmining.models.graphbased.directed.petrinet.elements.Transition newTran,
org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace) |
void |
useLDRule(InteractivePetriNet ipn,
java.util.Set<java.lang.Integer> preInt,
java.util.Set<java.lang.Integer> postInt,
int newPlaceID,
boolean isPlaceLD) |
static void |
useLDRule(java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> preNodes,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> postNodes,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode node) |
public IncrementalLayoutCalculations(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static void useLDRule(java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> preNodes, java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> postNodes, org.processmining.models.graphbased.directed.petrinet.PetrinetNode node)
public static void useAbstractionRule(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> prevNode, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> nextNodes, org.processmining.models.graphbased.directed.petrinet.elements.Transition newTran, org.processmining.models.graphbased.directed.petrinet.elements.Place newPlace)
public void useAbstractionRule(java.util.Set<java.lang.Integer> att1, java.util.Set<java.lang.Integer> att2, InteractivePetriNet ipn, int newPlaceID, int newTranID)
public void useLDRule(InteractivePetriNet ipn, java.util.Set<java.lang.Integer> preInt, java.util.Set<java.lang.Integer> postInt, int newPlaceID, boolean isPlaceLD)
public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> getNodePos()
public static void setNodePos(java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.framework.util.Pair<java.lang.Short,java.lang.Short>> nodePos)