```
public class PrecisionAdjustmentResult
extends java.lang.Object
```
This is the result of PrecisionAdjustment, namely an AbstractState and Precision.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`AbstractState`	`getAbstractState()`	Returns the abstract state.
`Precision`	`getPrecision()`	Returns the precision.

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

public PrecisionAdjustmentResult(AbstractState abstractState,
                                 Precision precision)

Create a precision adjustment result tuple.

Class PrecisionAdjustmentResult