public interface ITraceAlignment
Modifier and Type | Method and Description |
---|---|
void |
addSubnetEvents(INetDataSource source,
java.util.Vector<SubNetDataSource> subnets) |
java.util.Vector<TransitionEvent> |
getAllTransitionEvents() |
TokenFlowResults |
getFlowResults() |
java.util.Vector<TransitionEvent> |
getTransitionEventsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
boolean |
isValidTrace() |
boolean isValidTrace()
void addSubnetEvents(INetDataSource source, java.util.Vector<SubNetDataSource> subnets)
java.util.Vector<TransitionEvent> getTransitionEventsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
java.util.Vector<TransitionEvent> getAllTransitionEvents()
TokenFlowResults getFlowResults()