public class StandardPddlEncoder extends AbstractPddlEncoder
DUMMY, INVISIBLE_TRANSITION_PREFIX, LOG_MOVE_PREFIX, MODEL_MOVE_PREFIX, movesOnModelBuffer, parameters, pddlIdToEventClassMapping, pddlIdToOccurrencesMapping, pddlIdToPetrinetNodeMapping, petrinet, petrinetNodeToPddlIdMapping, SEPARATOR, SYNCH_MOVE_PREFIX| Constructor and Description |
|---|
StandardPddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters) |
| Modifier and Type | Method and Description |
|---|---|
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.
|
encode, encode, encode, encode, getPddlEncoding, getPddlIdToEventClassMapping, getPddlIdToPetrinetNodeMappingpublic StandardPddlEncoder(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters)
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.