public class TokenFlowResults
extends java.lang.Object
Constructor and Description |
---|
TokenFlowResults() |
TokenFlowResults(java.util.Map<org.processmining.models.graphbased.LocalNodeID,java.util.Vector<TransitionEvent>> tEvents) |
Modifier and Type | Method and Description |
---|---|
void |
addSubnetEvents(INetDataSource source,
java.util.Vector<SubNetDataSource> subnets) |
java.util.Vector<TransitionEvent> |
getAllTransitionEvents() |
java.util.Vector<TransitionEvent> |
getTransitionEventsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
void |
Init(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph newNet) |
void |
ProjectTransition(ITraceAlignment ta,
PetriNet1toManyMapping map,
org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
public TokenFlowResults()
public TokenFlowResults(java.util.Map<org.processmining.models.graphbased.LocalNodeID,java.util.Vector<TransitionEvent>> tEvents)
public void Init(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph newNet)
public void ProjectTransition(ITraceAlignment ta, PetriNet1toManyMapping map, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public java.util.Vector<TransitionEvent> getTransitionEventsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public void addSubnetEvents(INetDataSource source, java.util.Vector<SubNetDataSource> subnets)
public java.util.Vector<TransitionEvent> getAllTransitionEvents()