public class ETCResults
extends java.lang.Object
Constructor and Description |
---|
ETCResults()
Create a new Result object and set all the fields to default values.
|
Modifier and Type | Method and Description |
---|---|
double |
getAveSizeTraces() |
long |
getEsc0States() |
long |
getEscGStates() |
double |
getEscTh() |
double |
getEtcp() |
long |
getEtcpDenominator() |
long |
getEtcpNumerator() |
long |
getInStates() |
int |
getkConfidence() |
java.lang.String |
getLogName() |
double |
getLowerBound() |
java.lang.String |
getModelName() |
long |
getnNonDetTraces() |
long |
getnNonFitTraces() |
long |
getNonDetStates() |
long |
getNonFitStates() |
int |
getNTasks() |
long |
getNTraces() |
long |
getOuterStates() |
PrefixAutomaton |
getPA() |
double |
getSeverityTh() |
long |
getTotalStates() |
double |
getUpperBound() |
boolean |
isAutomaton() |
boolean |
isConfidence() |
boolean |
isLazyInv() |
boolean |
isMdt() |
boolean |
isRandomIndet() |
boolean |
isSeverity() |
void |
setAutomaton(boolean automaton) |
void |
setAveSizeTraces(double aveSizeTraces) |
void |
setConfidence(boolean confidence) |
void |
setEsc0States(long escStates) |
void |
setEscGStates(long escStates) |
void |
setEscTh(double escTh) |
void |
setEtcp(double etcp) |
void |
setEtcpDenominator(long etcpDenominator) |
void |
setEtcpNumerator(long etcpNumerator) |
void |
setInStates(long inStates) |
void |
setkConfidence(int kConfidence) |
void |
setLazyInv(boolean lazyInv) |
void |
setLogName(java.lang.String logName) |
void |
setLowerBound(double lowerBound) |
void |
setMdt(boolean mdt) |
void |
setModelName(java.lang.String modelName) |
void |
setnNonDetTraces(long nNonDetTraces) |
void |
setnNonFitTraces(long nNonFitTraces) |
void |
setNonDetStates(long nonDetStates) |
void |
setNonFitStates(long nonFitStates) |
void |
setNTasks(int nTasks) |
void |
setNTraces(long nTraces) |
void |
setOuterStates(long outerStates) |
void |
setPA(PrefixAutomaton pA) |
void |
setRandomIndet(boolean randomIndet) |
void |
setSeverity(boolean severity) |
void |
setSeverityTh(double severityTh) |
void |
setTotalStates(long totalStates) |
void |
setUpperBound(double upperBound) |
public ETCResults()
public long getnNonDetTraces()
public void setnNonDetTraces(long nNonDetTraces)
public java.lang.String getLogName()
public void setLogName(java.lang.String logName)
public java.lang.String getModelName()
public void setModelName(java.lang.String modelName)
public long getNTraces()
public void setNTraces(long nTraces)
public long getnNonFitTraces()
public void setnNonFitTraces(long nNonFitTraces)
public int getNTasks()
public void setNTasks(int nTasks)
public double getAveSizeTraces()
public void setAveSizeTraces(double aveSizeTraces)
public long getInStates()
public void setInStates(long inStates)
public long getEsc0States()
public void setEsc0States(long escStates)
public long getEscGStates()
public void setEscGStates(long escStates)
public long getOuterStates()
public void setOuterStates(long outerStates)
public long getNonFitStates()
public void setNonFitStates(long nonFitStates)
public long getTotalStates()
public void setTotalStates(long totalStates)
public double getUpperBound()
public void setUpperBound(double upperBound)
public double getLowerBound()
public void setLowerBound(double lowerBound)
public long getEtcpNumerator()
public void setEtcpNumerator(long etcpNumerator)
public long getEtcpDenominator()
public void setEtcpDenominator(long etcpDenominator)
public PrefixAutomaton getPA()
public void setPA(PrefixAutomaton pA)
public double getEtcp()
public void setEtcp(double etcp)
public double getEscTh()
public void setEscTh(double escTh)
public boolean isConfidence()
public void setConfidence(boolean confidence)
public int getkConfidence()
public void setkConfidence(int kConfidence)
public boolean isMdt()
public void setMdt(boolean mdt)
public boolean isSeverity()
public void setSeverity(boolean severity)
public double getSeverityTh()
public void setSeverityTh(double severityTh)
public boolean isAutomaton()
public void setAutomaton(boolean automaton)
public boolean isLazyInv()
public void setLazyInv(boolean lazyInv)
public boolean isRandomIndet()
public void setRandomIndet(boolean randomIndet)
public long getNonDetStates()
public void setNonDetStates(long nonDetStates)