org.processmining.plugins.uma

Class Uma_UnfoldPN.UnfoldingConfiguration

java.lang.Object

org.processmining.plugins.uma.Uma_UnfoldPN.UnfoldingConfiguration

Enclosing class:

Uma_UnfoldPN

public static class Uma_UnfoldPN.UnfoldingConfiguration
extends java.lang.Object

Parameter class to configure the unfolding algorithm either by command-line or by user interface.

Author:

dfahland

Field Summary

Fields

Modifier and Type	Field and Description
int	bound
static int	BUILD_PREFIX
static int	CHECK_SOUNDNESS_FC
int	mode

Constructor Summary

Constructors

Constructor and Description
UnfoldingConfiguration()

Method Summary

Modifier and Type	Method and Description
static Uma_UnfoldPN.UnfoldingConfiguration	getDefault_soundnessFC()
static Uma_UnfoldPN.UnfoldingConfiguration	getDefault_unfolding()

Methods inherited from class java.lang.Object

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

Field Detail

BUILD_PREFIX

public static final int BUILD_PREFIX

See Also:

Constant Field Values

CHECK_SOUNDNESS_FC

public static final int CHECK_SOUNDNESS_FC

See Also:

Constant Field Values

bound

public int bound

mode

public int mode

Constructor Detail

UnfoldingConfiguration

public UnfoldingConfiguration()

Method Detail

getDefault_unfolding

public static Uma_UnfoldPN.UnfoldingConfiguration getDefault_unfolding()

Returns:

default parameters for building a complete finite prefix of a 1-bounded system

getDefault_soundnessFC

public static Uma_UnfoldPN.UnfoldingConfiguration getDefault_soundnessFC()

Returns:

default parameters for checking soundness of a free-choice Petri net