public abstract class AbstractPDelegate<T extends nl.tue.astar.Tail> extends java.lang.Object implements nl.tue.astar.impl.memefficient.StorageAwareDelegate<PHead,T>
Modifier and Type | Field and Description |
---|---|
protected gnu.trove.map.TShortIntMap |
act2cost |
protected gnu.trove.map.TObjectShortMap<org.deckfour.xes.classification.XEventClass> |
act2int |
protected gnu.trove.map.TShortObjectMap<gnu.trove.list.TShortList> |
actIndex2trans |
protected short |
activities |
protected int |
arcs |
protected org.deckfour.xes.classification.XEventClasses |
classes |
protected java.util.Set<nl.tue.astar.util.ShortShortMultiset> |
finalMarkings |
protected PHeadCompressor<T> |
headCompressor |
static short |
INHIBITED |
protected int |
inhibitors |
protected gnu.trove.map.TShortObjectMap<org.deckfour.xes.classification.XEventClass> |
int2act |
protected gnu.trove.map.TShortObjectMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
int2place |
protected gnu.trove.map.TShortObjectMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
int2trans |
protected org.deckfour.xes.model.XLog |
log |
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
net |
static short |
NEV |
protected gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
place2int |
protected short |
places |
protected int |
resetArcs |
protected gnu.trove.map.TShortIntMap |
sync2cost |
protected gnu.trove.map.TShortIntMap |
trans2cost |
protected gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
trans2int |
protected gnu.trove.map.TShortObjectMap<gnu.trove.set.TShortSet> |
transIndex2act |
protected gnu.trove.map.TShortObjectMap<short[]> |
transIndex2input |
protected gnu.trove.map.TShortObjectMap<short[]> |
transIndex2output |
protected short |
transitions |
protected gnu.trove.list.TShortList |
unmapped |
Modifier | Constructor and Description |
---|---|
protected |
AbstractPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
int delta,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor without cost of move synchronous.
|
protected |
AbstractPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
int delta,
org.processmining.models.semantics.petrinet.Marking... set)
Constructor with cost of move synchronous.
|
Modifier and Type | Method and Description |
---|---|
protected PHeadCompressor<T> |
constructHeadCompressor(short places2,
short activities2)
Overrideable method to change head compressor
|
nl.tue.astar.Record |
createInitialRecord(PHead head,
nl.tue.astar.Trace trace)
instantiates a record for the given head.
|
gnu.trove.set.TShortSet |
getActivitiesFor(short transition) |
int |
getActivityOf(int trace,
int event) |
org.deckfour.xes.classification.XEventClass |
getClassOf(org.deckfour.xes.model.XEvent event) |
int |
getCostFor(int modelMove,
int activity) |
int |
getCostForMoveLog(short activity)
Cost for move log (but not on model), scaled with delta and added with 1
|
int |
getCostForMoveModel(short transition)
Cost for move model (but not on log), scaled with delta and added with 1
|
int |
getCostForMoveSync(short transition)
Cost for move synchronous, scaled with delta and added with epsilon
|
double |
getDelta() |
gnu.trove.list.TIntList |
getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking) |
int |
getEpsilon()
Get epsilon value: value added to ensure we can go out of infinite firing
sequence of transitions with cost 0
|
org.deckfour.xes.classification.XEventClass |
getEventClass(short i) |
java.util.Set<nl.tue.astar.util.ShortShortMultiset> |
getFinalMarkings() |
nl.tue.storage.EqualOperation<nl.tue.astar.impl.State<PHead,T>> |
getHeadBasedEqualOperation() |
nl.tue.storage.HashOperation<nl.tue.astar.impl.State<PHead,T>> |
getHeadBasedHashOperation() |
PHeadCompressor<T> |
getHeadDeflater() |
PHeadCompressor<T> |
getHeadInflater() |
short |
getIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
short |
getIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
short |
getIndexOf(org.deckfour.xes.classification.XEventClass c) |
short[] |
getInputOf(short transition) |
short[] |
getOutputOf(short transition) |
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
getPetrinet() |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getPlace(short i) |
org.deckfour.xes.model.XTrace |
getTrace(int t) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition(short i) |
gnu.trove.list.TShortList |
getTransitions(short activity) |
boolean |
hasEnabledTransitions(nl.tue.astar.util.ShortShortMultiset marking) |
boolean |
hasResetArc(int transition) |
protected void |
initialize(java.util.Collection<org.deckfour.xes.classification.XEventClass> eventClasses,
TransEvClassMapping map,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost,
java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost,
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost,
org.processmining.models.semantics.petrinet.Marking... set) |
boolean |
isEnabled(int transition,
nl.tue.astar.util.ShortShortMultiset marking) |
boolean |
isFinal(nl.tue.astar.util.ShortShortMultiset marking) |
short |
numEventClasses() |
short |
numPlaces() |
short |
numTransitions() |
void |
setEpsilon(int i)
Set epsilon value: value added to ensure we can go out of infinite firing
sequence of transitions with cost 0
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static final short NEV
public static final short INHIBITED
protected final PHeadCompressor<T extends nl.tue.astar.Tail> headCompressor
protected final gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> place2int
protected final gnu.trove.map.TShortObjectMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> int2place
protected final short places
protected final gnu.trove.map.TObjectShortMap<org.deckfour.xes.classification.XEventClass> act2int
protected final gnu.trove.map.TShortObjectMap<org.deckfour.xes.classification.XEventClass> int2act
protected final short activities
protected final gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int
protected final gnu.trove.map.TShortObjectMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> int2trans
protected final gnu.trove.map.TShortObjectMap<gnu.trove.list.TShortList> actIndex2trans
protected final gnu.trove.map.TShortObjectMap<short[]> transIndex2input
protected final gnu.trove.map.TShortObjectMap<short[]> transIndex2output
protected final gnu.trove.map.TShortObjectMap<gnu.trove.set.TShortSet> transIndex2act
protected final short transitions
protected final gnu.trove.map.TShortIntMap trans2cost
protected final gnu.trove.map.TShortIntMap sync2cost
protected final gnu.trove.map.TShortIntMap act2cost
protected final org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net
protected final org.deckfour.xes.classification.XEventClasses classes
protected final java.util.Set<nl.tue.astar.util.ShortShortMultiset> finalMarkings
protected final org.deckfour.xes.model.XLog log
protected final gnu.trove.list.TShortList unmapped
protected int resetArcs
protected int arcs
protected int inhibitors
protected AbstractPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, int delta, org.processmining.models.semantics.petrinet.Marking... set)
net
- log
- classes
- map
- mapTrans2Cost
- mapEvClass2Cost
- delta
- set
- protected AbstractPDelegate(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, int delta, org.processmining.models.semantics.petrinet.Marking... set)
net
- log
- classes
- map
- mapTrans2Cost
- mapEvClass2Cost
- mapSync2Cost
- delta
- set
- protected void initialize(java.util.Collection<org.deckfour.xes.classification.XEventClass> eventClasses, TransEvClassMapping map, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Cost, java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEvClass2Cost, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapSync2Cost, org.processmining.models.semantics.petrinet.Marking... set)
protected PHeadCompressor<T> constructHeadCompressor(short places2, short activities2)
places2
- activities2
- public boolean isEnabled(int transition, nl.tue.astar.util.ShortShortMultiset marking)
public short getIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public short numPlaces()
public org.processmining.models.graphbased.directed.petrinet.elements.Place getPlace(short i)
public short getIndexOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public short numTransitions()
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(short i)
public short getIndexOf(org.deckfour.xes.classification.XEventClass c)
public short numEventClasses()
public org.deckfour.xes.classification.XEventClass getEventClass(short i)
public nl.tue.astar.Record createInitialRecord(PHead head, nl.tue.astar.Trace trace)
nl.tue.astar.Delegate
public PHeadCompressor<T> getHeadInflater()
public PHeadCompressor<T> getHeadDeflater()
public org.deckfour.xes.classification.XEventClass getClassOf(org.deckfour.xes.model.XEvent event)
public int getActivityOf(int trace, int event)
public boolean isFinal(nl.tue.astar.util.ShortShortMultiset marking)
public nl.tue.storage.HashOperation<nl.tue.astar.impl.State<PHead,T>> getHeadBasedHashOperation()
public nl.tue.storage.EqualOperation<nl.tue.astar.impl.State<PHead,T>> getHeadBasedEqualOperation()
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph getPetrinet()
public org.deckfour.xes.model.XTrace getTrace(int t)
public int getCostFor(int modelMove, int activity)
public int getCostForMoveLog(short activity)
activity
- public int getCostForMoveModel(short transition)
transition
- public int getCostForMoveSync(short transition)
transition
- public int getEpsilon()
public void setEpsilon(int i)
public gnu.trove.list.TShortList getTransitions(short activity)
public gnu.trove.set.TShortSet getActivitiesFor(short transition)
public boolean hasEnabledTransitions(nl.tue.astar.util.ShortShortMultiset marking)
public gnu.trove.list.TIntList getEnabledTransitionsChangingMarking(nl.tue.astar.util.ShortShortMultiset marking)
public short[] getInputOf(short transition)
public short[] getOutputOf(short transition)
public java.util.Set<nl.tue.astar.util.ShortShortMultiset> getFinalMarkings()
public double getDelta()
public boolean hasResetArc(int transition)