public class LogGeneratorParameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.Integer |
maxTraceLength |
java.lang.Double |
prInserting |
java.lang.Double |
prSkipping |
java.lang.Double |
prUncompleteness |
java.lang.Integer |
wantedTraces |
Constructor and Description |
---|
LogGeneratorParameters() |
LogGeneratorParameters(java.lang.Integer wantedTraces,
java.lang.Double prUncompleteness,
java.lang.Double prSkipping,
java.lang.Double prInserting,
java.lang.Integer maxTraceLength) |