public class StatisticResult
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CACHE_HITS |
static java.lang.String |
CACHE_SIZE |
static java.lang.String |
FITNESS |
static java.lang.String |
IGNORED_LOOPS |
static java.lang.String |
MILP_PROBLEMS_SOLVED |
static java.lang.String |
QUEUED_STATES |
static java.lang.String |
TIME_PER_TRACE |
static java.lang.String |
TRACE_LENGTH |
static java.lang.String |
UNRELIABLE_ALIGNMENTS |
Constructor and Description |
---|
StatisticResult(java.lang.String name,
boolean[] data,
java.lang.String xAxis,
java.lang.String yAxis) |
StatisticResult(java.lang.String name,
double[] data,
java.lang.String xAxis,
java.lang.String yAxis) |
Modifier and Type | Method and Description |
---|---|
double[] |
getData() |
boolean[] |
getDataBool() |
java.lang.String |
getName() |
java.lang.String |
getxAxis() |
java.lang.String |
getyAxis() |
boolean |
isBoolean() |
public static final java.lang.String TIME_PER_TRACE
public static final java.lang.String CACHE_SIZE
public static final java.lang.String CACHE_HITS
public static final java.lang.String UNRELIABLE_ALIGNMENTS
public static final java.lang.String IGNORED_LOOPS
public static final java.lang.String QUEUED_STATES
public static final java.lang.String MILP_PROBLEMS_SOLVED
public static final java.lang.String FITNESS
public static final java.lang.String TRACE_LENGTH