org.processmining.plugins.ltlchecker

Class MethodsForWorkflowLogDataStructures

java.lang.Object

org.processmining.plugins.ltlchecker.MethodsForWorkflowLogDataStructures

public class MethodsForWorkflowLogDataStructures
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2004

Company:

Version:

1.0

Author:

not attributable

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	NUM_SIMILAR_INSTANCES

Constructor Summary

Constructors

Constructor and Description
MethodsForWorkflowLogDataStructures()

Method Summary

Modifier and Type	Method and Description
static int	getNumberSimilarProcessInstances(org.deckfour.xes.model.XTrace pi)

Methods inherited from class java.lang.Object

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

Field Detail

NUM_SIMILAR_INSTANCES

public static final java.lang.String NUM_SIMILAR_INSTANCES

See Also:

Constant Field Values

Constructor Detail

MethodsForWorkflowLogDataStructures

public MethodsForWorkflowLogDataStructures()

Method Detail

getNumberSimilarProcessInstances

public static int getNumberSimilarProcessInstances(org.deckfour.xes.model.XTrace pi)