org.processmining.planningbasedalignment.plugins.planningbasedalignment

Class AlignmentPddlEncodingPlugin

java.lang.Object

org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.AlignmentPddlEncoding

org.processmining.planningbasedalignment.plugins.planningbasedalignment.AlignmentPddlEncodingPlugin

public class AlignmentPddlEncodingPlugin
extends AlignmentPddlEncoding

The ProM plug-in for generating PDDL encodings for Planning-based Alignment.

Author:

Giacomo Lanciano

Field Summary

Fields inherited from class org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.AlignmentPddlEncoding

DEFAULT_TIME_UNIT, EMPTY_TRACE_POS, MAPPING_FILE_NAME, parentDir, PDDL_DOMAIN_FILE_PREFIX, PDDL_EXT, PDDL_FILES_DIR_PREFIX, PDDL_FILES_PER_TRACE, PDDL_PROBLEM_FILE_PREFIX, pddlEncoder, pddlEncodingProgressChecker, pddlFilesDir, positionToCaseIdMapping, preprocessingTimeSummary, PROGRESS_CHECKER_DELAY, startTime, tracesToAlign

Constructor Summary

Constructors

Constructor and Description
AlignmentPddlEncodingPlugin()

Method Summary

Modifier and Type	Method and Description
void	runUI(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet) The plug-in variant that runs in a UI context and prompt the user to get the parameters.

Methods inherited from class org.processmining.planningbasedalignment.plugins.planningbasedalignment.algorithms.AlignmentPddlEncoding

buildPlannerInput, killSubprocesses

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AlignmentPddlEncodingPlugin

public AlignmentPddlEncodingPlugin()

Method Detail

runUI

public void runUI(org.processmining.contexts.uitopia.UIPluginContext context,
                  org.deckfour.xes.model.XLog log,
                  org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)

The plug-in variant that runs in a UI context and prompt the user to get the parameters.

Parameters:

context - The context to run in.

log - The event log to replay.

petrinet - The Petri net on which the log has to be replayed.