public class EntropyResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
automatonSizeDeterministic
The size of the automaton after making it deterministic
|
int |
automatonSizeMinimal
the size of the minimal automaton
|
int |
automatonSizeOrig
the size of the automaton right after transformation from the model
|
long |
computationMillis |
boolean |
converged
Stores whether the power method converged and the result is reliable
|
double |
largestEigenvalue
The largest eigenvalue of the eigenvalue decomposition
|
java.lang.String |
name |
static java.lang.String |
SEPARATOR |
int |
size |
long |
timeAutomatonDeterminization |
long |
timeAutomatonMinimization |
long |
timeEigenDecomposition |
long |
timeMatrixConversion |
double |
topologicalEntropy
The topological entropy is just the logarithm of the largest eigenvalue
|
Constructor and Description |
---|
EntropyResult(int automatonSizeOrig,
int automatonSizeDeterministic,
int automatonSizeMinimal,
long timeAutomatonDeterminization,
long timeAutomatonMinimization,
double largestEigenvalue,
double topologicalEntropy,
long timeEigenDecomposition,
long timeMatrixConversion,
boolean converged) |
EntropyResult(java.lang.String name,
int size,
long millis,
int automatonSizeOrig,
int automatonSizeDeterministic,
int automatonSizeMinimal,
long timeAutomatonDeterminization,
long timeAutomatonMinimization,
double largestEigenvalue,
double topologicalEntropy,
long timeEigenDecomposition,
long timeMatrixConversion,
boolean converged) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getHeader() |
double |
getResult() |
java.lang.String |
resultString() |
java.lang.String |
toString() |
public static final java.lang.String SEPARATOR
public int automatonSizeOrig
public int automatonSizeDeterministic
public int automatonSizeMinimal
public double largestEigenvalue
public double topologicalEntropy
public boolean converged
public final long timeMatrixConversion
public final long timeAutomatonDeterminization
public final long timeAutomatonMinimization
public final long timeEigenDecomposition
public java.lang.String name
public long computationMillis
public int size
public EntropyResult(int automatonSizeOrig, int automatonSizeDeterministic, int automatonSizeMinimal, long timeAutomatonDeterminization, long timeAutomatonMinimization, double largestEigenvalue, double topologicalEntropy, long timeEigenDecomposition, long timeMatrixConversion, boolean converged)
public EntropyResult(java.lang.String name, int size, long millis, int automatonSizeOrig, int automatonSizeDeterministic, int automatonSizeMinimal, long timeAutomatonDeterminization, long timeAutomatonMinimization, double largestEigenvalue, double topologicalEntropy, long timeEigenDecomposition, long timeMatrixConversion, boolean converged)