public class PartialOrderAwarePddlEncoder extends AbstractPddlEncoder
| Modifier and Type | Field and Description |
|---|---|
protected java.util.Map<org.deckfour.xes.model.XEvent,java.lang.String> |
eventToLabelMapping
The mapping between the events in the trace and their (positional, unique) labels, used to refer to them in the
PDDL encding.
|
protected java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>> |
groupIdToEventsMapping
The mapping between isochronous groups ids and the related events.
|
protected java.util.Map<java.lang.String,java.lang.Integer> |
timestampToGroupIdMapping
The mapping between isochronous groups timestamps (that are the unique timestamps in the trace) and their ids.
|
DUMMY, INVISIBLE_TRANSITION_PREFIX, LOG_MOVE_PREFIX, MODEL_MOVE_PREFIX, movesOnModelBuffer, parameters, pddlIdToEventClassMapping, pddlIdToOccurrencesMapping, pddlIdToPetrinetNodeMapping, petrinet, petrinetNodeToPddlIdMapping, SEPARATOR, SYNCH_MOVE_PREFIX| Constructor and Description |
|---|
PartialOrderAwarePddlEncoder() |
PartialOrderAwarePddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters) |
| Modifier and Type | Method and Description |
|---|---|
void |
buildIsochronousGroups(org.deckfour.xes.model.XTrace trace)
Initialize the data structures needed for dealing with the partially ordered events in the current trace.
|
protected java.lang.String |
createPropositionalDomain(org.deckfour.xes.model.XTrace trace)
Create PDDL Domain for the given log trace.
|
protected java.lang.String |
createPropositionalProblem(org.deckfour.xes.model.XTrace trace)
Create PDDL Domain for the given log trace.
|
java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>> |
getGroupIdToEventsMapping() |
java.lang.String[] |
getPddlEncoding(org.deckfour.xes.model.XTrace trace)
Return the encoding of the alignment problem for the given trace in PDDL.
|
encode, encode, encode, encode, getPddlIdToEventClassMapping, getPddlIdToPetrinetNodeMappingprotected java.util.Map<org.deckfour.xes.model.XEvent,java.lang.String> eventToLabelMapping
protected java.util.Map<java.lang.String,java.lang.Integer> timestampToGroupIdMapping
protected java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>> groupIdToEventsMapping
public PartialOrderAwarePddlEncoder()
public PartialOrderAwarePddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters)
public java.lang.String[] getPddlEncoding(org.deckfour.xes.model.XTrace trace)
AbstractPddlEncodergetPddlEncoding in class AbstractPddlEncodertrace - The event log trace whose alignment has to be encoded.public void buildIsochronousGroups(org.deckfour.xes.model.XTrace trace)
trace - The event log trace whose alignment has to be encoded.protected java.lang.String createPropositionalDomain(org.deckfour.xes.model.XTrace trace)
AbstractPddlEncodercreatePropositionalDomain in class AbstractPddlEncodertrace - The event log trace whose alignment has to be encoded.String containing the PDDL Domain.protected java.lang.String createPropositionalProblem(org.deckfour.xes.model.XTrace trace)
AbstractPddlEncodercreatePropositionalProblem in class AbstractPddlEncodertrace - The event log trace whose alignment has to be encoded.String containing the PDDL Problem.public java.util.Map<java.lang.Integer,java.util.ArrayList<org.deckfour.xes.model.XEvent>> getGroupIdToEventsMapping()