org.processmining.prabhakardixit.fcnets.expansion

Class ChoiceTransitionL

java.lang.Object

org.processmining.prabhakardixit.fcnets.expansion.ChoiceTransitionL

public class ChoiceTransitionL
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ChoiceTransitionL()

Method Summary

Modifier and Type	Method and Description
static void	addChoiceTransition(org.processmining.models.graphbased.directed.petrinet.elements.Place pStart, org.processmining.models.graphbased.directed.petrinet.elements.Place pEnd, java.lang.String transitionName, InteractivePetriNetL ipn, int newTranID, boolean isSilent)
static void	addChoiceTransition(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pStartSet, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pEndSet, java.lang.String transitionName, InteractivePetriNetL ipn, int newTranID, boolean isSilent)
static void	updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd, InteractiveMatrixNetL imn, org.processmining.models.graphbased.directed.petrinet.elements.Transition tNew)

Methods inherited from class java.lang.Object

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

Constructor Detail

ChoiceTransitionL

public ChoiceTransitionL()

Method Detail

addChoiceTransition

public static void addChoiceTransition(org.processmining.models.graphbased.directed.petrinet.elements.Place pStart,
                                       org.processmining.models.graphbased.directed.petrinet.elements.Place pEnd,
                                       java.lang.String transitionName,
                                       InteractivePetriNetL ipn,
                                       int newTranID,
                                       boolean isSilent)

addChoiceTransition

public static void addChoiceTransition(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pStartSet,
                                       java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> pEndSet,
                                       java.lang.String transitionName,
                                       InteractivePetriNetL ipn,
                                       int newTranID,
                                       boolean isSilent)

updateLDSets

public static void updateLDSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeStart,
                                java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd,
                                InteractiveMatrixNetL imn,
                                org.processmining.models.graphbased.directed.petrinet.elements.Transition tNew)