public class EscapingEdgesPrecisionResult
extends java.lang.Object
Constructor and Description |
---|
EscapingEdgesPrecisionResult() |
Modifier and Type | Method and Description |
---|---|
EscapingEdgesPrecisionAutomaton |
getAutomaton() |
double |
getPrecision() |
double |
getWeightedAvailable() |
double |
getWeightedExecuted() |
void |
setAutomaton(EscapingEdgesPrecisionAutomaton automaton) |
void |
setPrecision(double precision) |
void |
setWeightedAvailable(double weightedAvailable) |
void |
setWeightedExecuted(double weightedExecuted) |
public double getWeightedExecuted()
public void setWeightedExecuted(double weightedExecuted)
public double getWeightedAvailable()
public void setWeightedAvailable(double weightedAvailable)
public double getPrecision()
public void setPrecision(double precision)
public EscapingEdgesPrecisionAutomaton getAutomaton()
public void setAutomaton(EscapingEdgesPrecisionAutomaton automaton)