Package org.processmining.projectionminer.parameters

Class ProjectionMinerParameters

java.lang.Object

org.processmining.projectionminer.parameters.ProjectionMinerParameters

public class ProjectionMinerParameters
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ProjectionMinerParameters()
ProjectionMinerParameters(DiscoveryPlugin discoveryPlugin, boolean initialPlaceMerge, int maxRecursionDepth, boolean reduceSilentTransitions)

Method Summary

Modifier and Type	Method	Description
DiscoveryPlugin	getDiscoveryPlugin()
AbstractFiringSequenceChooser	getFiringSequenceChooser()
int	getMaxRecursionDepth()
int	getSequenceGeneratorDepth()
boolean	shouldInitialPlaceMerge()
boolean	shouldReduceSilentTransitions()

Methods inherited from class java.lang.Object

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

Constructor Detail

ProjectionMinerParameters

public ProjectionMinerParameters()

ProjectionMinerParameters

public ProjectionMinerParameters(DiscoveryPlugin discoveryPlugin,
                                 boolean initialPlaceMerge,
                                 int maxRecursionDepth,
                                 boolean reduceSilentTransitions)

Method Detail

getDiscoveryPlugin

public DiscoveryPlugin getDiscoveryPlugin()

shouldInitialPlaceMerge

public boolean shouldInitialPlaceMerge()

getMaxRecursionDepth

public int getMaxRecursionDepth()

shouldReduceSilentTransitions

public boolean shouldReduceSilentTransitions()

getSequenceGeneratorDepth

public int getSequenceGeneratorDepth()

getFiringSequenceChooser

public AbstractFiringSequenceChooser getFiringSequenceChooser()