public class IncrementalDiscoveryUtilsL
extends java.lang.Object
Constructor and Description |
---|
IncrementalDiscoveryUtilsL() |
Modifier and Type | Method and Description |
---|---|
static void |
addChoiceTransition(IncrementalModelL m,
java.util.Set<java.lang.Integer> source,
java.util.Set<java.lang.Integer> target,
java.lang.String label,
boolean calcSynthSpace) |
static void |
addNewTransition(IncrementalModelL m,
int t,
int p,
java.lang.String newLabel,
int newPlaceId,
int newTranId,
boolean calcSynthSpace) |
static void |
addNewTransition(IncrementalModelL m,
java.util.Set<java.lang.Integer> tSet,
java.util.Set<java.lang.Integer> pSet,
java.lang.String newLabel,
boolean calcSynthSpace) |
static org.processmining.models.graphbased.directed.petrinet.elements.Transition |
addNewTransition(IncrementalModelL m,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranSet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSet,
java.lang.String newLabel,
boolean isSilent,
boolean calcSynthSpace) |
static void |
addParallelPlaceAndSeq(IncrementalModelL m,
java.util.Set<java.lang.Integer> source,
java.util.Set<java.lang.Integer> target,
java.lang.String label,
boolean calcSynthSpace) |
static void |
addSilentTransitions(IncrementalModelL m1,
IncrementalModelL m2,
int tranId,
boolean calcSynthSpace) |
public static void addNewTransition(IncrementalModelL m, int t, int p, java.lang.String newLabel, int newPlaceId, int newTranId, boolean calcSynthSpace)
public static void addNewTransition(IncrementalModelL m, java.util.Set<java.lang.Integer> tSet, java.util.Set<java.lang.Integer> pSet, java.lang.String newLabel, boolean calcSynthSpace)
public static org.processmining.models.graphbased.directed.petrinet.elements.Transition addNewTransition(IncrementalModelL m, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> tranSet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSet, java.lang.String newLabel, boolean isSilent, boolean calcSynthSpace)
public static void addChoiceTransition(IncrementalModelL m, java.util.Set<java.lang.Integer> source, java.util.Set<java.lang.Integer> target, java.lang.String label, boolean calcSynthSpace)
public static void addParallelPlaceAndSeq(IncrementalModelL m, java.util.Set<java.lang.Integer> source, java.util.Set<java.lang.Integer> target, java.lang.String label, boolean calcSynthSpace)
public static void addSilentTransitions(IncrementalModelL m1, IncrementalModelL m2, int tranId, boolean calcSynthSpace)