public class MeasurmentLogger
extends java.lang.Object
Constructor and Description |
---|
MeasurmentLogger(int amountOfRecords,
int amountOfPlaces,
int amountOfTransitions) |
MeasurmentLogger(int amountOfRecords,
org.processmining.models.graphbased.directed.petrinet.Petrinet knowledge,
java.lang.String header,
java.lang.String sufix) |
Modifier and Type | Method and Description |
---|---|
void |
AddLine(java.lang.String line) |
public MeasurmentLogger(int amountOfRecords, int amountOfPlaces, int amountOfTransitions)
public MeasurmentLogger(int amountOfRecords, org.processmining.models.graphbased.directed.petrinet.Petrinet knowledge, java.lang.String header, java.lang.String sufix)