org.processmining.databaseinductiveminer.parameters

Class PetrinetInfo

java.lang.Object

org.processmining.databaseinductiveminer.parameters.PetrinetInfo

public class PetrinetInfo
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.String	buttonText
long	miningDuration
java.lang.String	miningTime
org.processmining.models.graphbased.directed.petrinet.Petrinet	petrinet

Constructor Summary

Constructors

Constructor and Description
PetrinetInfo(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, java.lang.String miningTime, long miningDuration, java.lang.String buttonText)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

petrinet

public org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet

miningTime

public java.lang.String miningTime

miningDuration

public long miningDuration

buttonText

public java.lang.String buttonText

Constructor Detail

PetrinetInfo

public PetrinetInfo(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                    java.lang.String miningTime,
                    long miningDuration,
                    java.lang.String buttonText)