org.processmining.hybrid.config

Class Timers

java.lang.Object

org.processmining.hybrid.config.Timers

public class Timers
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Timer	ConstructModel
Timer	Declare
Timer	DeclareExistentials
Timer	IM
Timer	QualityDimensions
Timer	SplitLog
Timer	WIRESPrecisionPT

Constructor Summary

Constructors

Constructor and Description
Timers()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

IM

public Timer IM

Declare

public Timer Declare

DeclareExistentials

public Timer DeclareExistentials

ConstructModel

public Timer ConstructModel

QualityDimensions

public Timer QualityDimensions

SplitLog

public Timer SplitLog

WIRESPrecisionPT

public Timer WIRESPrecisionPT

Constructor Detail

Timers

public Timers()