public class IncrementalDiscoveryUtils
extends java.lang.Object
Constructor and Description |
---|
IncrementalDiscoveryUtils() |
Modifier and Type | Method and Description |
---|---|
static void |
addChoiceTransition(IncrementalModel m,
java.util.Set<java.lang.Integer> source,
java.util.Set<java.lang.Integer> target,
java.lang.String label,
boolean calcSynthSpace) |
static void |
addNewTransition(IncrementalModel m,
int t,
int p,
java.lang.String newLabel,
int newPlaceId,
int newTranId,
boolean calcSynthSpace) |
static void |
addNewTransition(IncrementalModel 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(IncrementalModel 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(IncrementalModel m,
java.util.Set<java.lang.Integer> source,
java.util.Set<java.lang.Integer> target,
java.lang.String label,
boolean calcSynthSpace) |
static void |
addSilentTransitions(IncrementalModel m1,
IncrementalModel m2,
java.lang.Integer tranId,
boolean calcSynthSpace) |
public static void addNewTransition(IncrementalModel m, int t, int p, java.lang.String newLabel, int newPlaceId, int newTranId, boolean calcSynthSpace)
public static void addNewTransition(IncrementalModel 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(IncrementalModel 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(IncrementalModel 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(IncrementalModel 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(IncrementalModel m1, IncrementalModel m2, java.lang.Integer tranId, boolean calcSynthSpace)