public class TraceAlignmentProjection extends java.lang.Object implements ITraceAlignment
Constructor and Description |
---|
TraceAlignmentProjection(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph newNet,
ITraceAlignment ta,
PetriNet1toManyMapping map) |
Modifier and Type | Method and Description |
---|---|
void |
addSubnetEvents(INetDataSource source,
java.util.Vector<SubNetDataSource> subnets) |
java.util.Vector<TransitionEvent> |
getAllTransitionEvents() |
TokenFlowResults |
getFlowResults() |
ITraceAlignment |
getOriginalAlignment() |
java.util.Vector<TransitionEvent> |
getTransitionEventsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
boolean |
isValidTrace() |
public TraceAlignmentProjection(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph newNet, ITraceAlignment ta, PetriNet1toManyMapping map)
public ITraceAlignment getOriginalAlignment()
public boolean isValidTrace()
isValidTrace
in interface ITraceAlignment
public void addSubnetEvents(INetDataSource source, java.util.Vector<SubNetDataSource> subnets)
addSubnetEvents
in interface ITraceAlignment
public java.util.Vector<TransitionEvent> getTransitionEventsFor(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
getTransitionEventsFor
in interface ITraceAlignment
public java.util.Vector<TransitionEvent> getAllTransitionEvents()
getAllTransitionEvents
in interface ITraceAlignment
public TokenFlowResults getFlowResults()
getFlowResults
in interface ITraceAlignment