public final class DataViewBuilder
extends java.lang.Object
Constructor and Description |
---|
DataViewBuilder(org.processmining.datapetrinets.DataPetriNet net,
org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate,
org.deckfour.xes.classification.XEventClasses classes,
LogMapping logMapping) |
Modifier and Type | Method and Description |
---|---|
short |
buildEventDataView(short writeDataView,
int eventIndex) |
short |
buildGuardDataView(int transitionIndex) |
short |
buildWriteDataView(int transitionIndex) |
boolean |
hasWriteOps() |
short |
nextSafeIndex() |
public DataViewBuilder(org.processmining.datapetrinets.DataPetriNet net, org.processmining.plugins.astar.petrinet.impl.AbstractPDelegate<? extends nl.tue.astar.Tail> delegate, org.deckfour.xes.classification.XEventClasses classes, LogMapping logMapping)
public short buildWriteDataView(int transitionIndex)
public short buildGuardDataView(int transitionIndex)
public short buildEventDataView(short writeDataView, int eventIndex)
public short nextSafeIndex()
public boolean hasWriteOps()