public abstract class AbstractPddlEncoder
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
protected static java.lang.String |
DUMMY |
protected static java.lang.String |
INVISIBLE_TRANSITION_PREFIX |
static java.lang.String |
LOG_MOVE_PREFIX |
static java.lang.String |
MODEL_MOVE_PREFIX |
protected java.lang.StringBuffer |
movesOnModelBuffer
The encoding of the moves on model that is independent from the traces in the
event log.
|
protected PlanningBasedAlignmentParameters |
parameters |
protected java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass> |
pddlIdToEventClassMapping
The mapping between PDDL ids and related event classes.
|
protected java.util.Map<java.lang.String,java.lang.Integer> |
pddlIdToOccurrencesMapping
The mapping between PDDL ids and their occurrences.
|
protected java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
pddlIdToPetrinetNodeMapping
The mapping between PDDL ids and related Petri net nodes.
|
protected org.processmining.models.graphbased.directed.petrinet.Petrinet |
petrinet |
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.lang.String> |
petrinetNodeToPddlIdMapping
The mapping between Petri net nodes and related PDDL ids.
|
static java.lang.String |
SEPARATOR |
static java.lang.String |
SYNCH_MOVE_PREFIX |
| Modifier | Constructor and Description |
|---|---|
protected |
AbstractPddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters) |
| Modifier and Type | Method and Description |
|---|---|
protected abstract java.lang.String |
createPropositionalDomain(org.deckfour.xes.model.XTrace trace)
Create PDDL Domain for the given log trace.
|
protected abstract java.lang.String |
createPropositionalProblem(org.deckfour.xes.model.XTrace trace)
Create PDDL Domain for the given log trace.
|
protected java.lang.String |
encode(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
Return a valid PDDL id for the given place.
|
protected java.lang.String |
encode(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
Return a valid PDDL id for the given transition.
|
protected java.lang.String |
encode(org.deckfour.xes.model.XEvent event)
Return a valid PDDL id for the given event, that is the same we would get by
encoding the class this event belongs to (acording to the event log
classifier).
|
protected java.lang.String |
encode(org.deckfour.xes.classification.XEventClass eventLabel)
Return a valid PDDL id for the given event class.
|
java.lang.String[] |
getPddlEncoding(org.deckfour.xes.model.XTrace trace)
Return the encoding of the alignment problem for the given trace in PDDL.
|
java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass> |
getPddlIdToEventClassMapping() |
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
getPddlIdToPetrinetNodeMapping() |
public static final java.lang.String SYNCH_MOVE_PREFIX
public static final java.lang.String MODEL_MOVE_PREFIX
public static final java.lang.String LOG_MOVE_PREFIX
public static final java.lang.String SEPARATOR
protected static final java.lang.String INVISIBLE_TRANSITION_PREFIX
protected static final java.lang.String DUMMY
protected org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet
protected PlanningBasedAlignmentParameters parameters
protected java.util.Map<java.lang.String,java.lang.Integer> pddlIdToOccurrencesMapping
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.lang.String> petrinetNodeToPddlIdMapping
protected java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> pddlIdToPetrinetNodeMapping
protected java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass> pddlIdToEventClassMapping
protected java.lang.StringBuffer movesOnModelBuffer
protected AbstractPddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters)
public java.lang.String[] getPddlEncoding(org.deckfour.xes.model.XTrace trace)
trace - The event log trace whose alignment has to be encoded.protected abstract java.lang.String createPropositionalDomain(org.deckfour.xes.model.XTrace trace)
trace - The event log trace whose alignment has to be encoded.String containing the PDDL Domain.protected abstract java.lang.String createPropositionalProblem(org.deckfour.xes.model.XTrace trace)
trace - The event log trace whose alignment has to be encoded.String containing the PDDL Problem.protected java.lang.String encode(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
transition - protected java.lang.String encode(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
place - protected java.lang.String encode(org.deckfour.xes.classification.XEventClass eventLabel)
eventLabel - protected java.lang.String encode(org.deckfour.xes.model.XEvent event)
event - public java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> getPddlIdToPetrinetNodeMapping()
public java.util.Map<java.lang.String,org.deckfour.xes.classification.XEventClass> getPddlIdToEventClassMapping()