public class EscapingEdgesDecomposedPrecisionResult extends EscapingEdgesPrecisionResult
Constructor and Description |
---|
EscapingEdgesDecomposedPrecisionResult() |
getAutomaton, getPrecision, getWeightedAvailable, getWeightedExecuted, setAutomaton, setPrecision, setWeightedAvailable, setWeightedExecuted