public class EscapingEdgesPrecisionResult
extends java.lang.Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- EscapingEdgesPrecisionResult
```
public EscapingEdgesPrecisionResult()
```

public void setWeightedExecuted(double weightedExecuted)

public void setWeightedAvailable(double weightedAvailable)

public void setPrecision(double precision)

public EscapingEdgesPrecisionAutomaton getAutomaton()

public void setAutomaton(EscapingEdgesPrecisionAutomaton automaton)

Class EscapingEdgesPrecisionResult