public class AlignmentPddlEncoding
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
DEFAULT_TIME_UNIT |
protected static int |
EMPTY_TRACE_POS |
protected static java.lang.String |
MAPPING_FILE_NAME |
protected java.io.File |
parentDir
The input directory for the planner.
|
protected static java.lang.String |
PDDL_DOMAIN_FILE_PREFIX |
protected static java.lang.String |
PDDL_EXT |
protected static java.lang.String |
PDDL_FILES_DIR_PREFIX |
protected static int |
PDDL_FILES_PER_TRACE |
protected static java.lang.String |
PDDL_PROBLEM_FILE_PREFIX |
protected AbstractPddlEncoder |
pddlEncoder
The object used to generate the PDDL encodings.
|
protected java.lang.Thread |
pddlEncodingProgressChecker
The separated thread that check PDDL encoding progress.
|
protected java.io.File |
pddlFilesDir
The input directory for the planner.
|
protected java.util.Map<java.lang.Integer,java.lang.String> |
positionToCaseIdMapping
The mapping between the position of a trace in a log (starting from 1) and the relate case id.
|
protected org.apache.commons.math3.stat.descriptive.SummaryStatistics |
preprocessingTimeSummary
The summary containing the relevant statistics about traces pre-processing time.
|
protected static int |
PROGRESS_CHECKER_DELAY |
protected long |
startTime
The timestamp of the execution start.
|
protected java.util.List<java.lang.Integer> |
tracesToAlign
The positions in the log of the traces to align.
|
| Constructor and Description |
|---|
AlignmentPddlEncoding() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
buildPlannerInput(java.io.File parentDir,
org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters)
Produces the PDDL input files (representing the instances of the alignment problem) to be fed to the planner.
|
protected void |
killSubprocesses()
Shut down all active computations.
|
protected static final java.lang.String PDDL_EXT
protected static final java.lang.String PDDL_FILES_DIR_PREFIX
protected static final java.lang.String PDDL_DOMAIN_FILE_PREFIX
protected static final java.lang.String PDDL_PROBLEM_FILE_PREFIX
protected static final java.lang.String MAPPING_FILE_NAME
protected static final int EMPTY_TRACE_POS
protected static final int PDDL_FILES_PER_TRACE
protected static final int PROGRESS_CHECKER_DELAY
public static final java.lang.String DEFAULT_TIME_UNIT
protected AbstractPddlEncoder pddlEncoder
protected java.io.File parentDir
protected java.io.File pddlFilesDir
protected long startTime
protected java.lang.Thread pddlEncodingProgressChecker
protected java.util.Map<java.lang.Integer,java.lang.String> positionToCaseIdMapping
protected java.util.List<java.lang.Integer> tracesToAlign
protected org.apache.commons.math3.stat.descriptive.SummaryStatistics preprocessingTimeSummary
protected void buildPlannerInput(java.io.File parentDir,
org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log,
org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
PlanningBasedAlignmentParameters parameters)
throws java.io.IOException
log - The event log to replay.petrinet - The Petri net on which the log has to be replayed.parameters - The parameters to be used by the encoding algorithm.java.io.IOExceptionprotected void killSubprocesses()