OptimizationResult (JavaSMT Solver Library)

public abstract class OptimizationResult
extends Object

Result of the optimization query.

Constructors
Constructor and Description
`OptimizationResult()`

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`abstract Optional<org.sosy_lab.solver.basicimpl.cache.CachedModel>`	`model()` Cached stored model.
`abstract ImmutableMap<Integer,Optional<Rational>>`	`objectiveValues()` Cached values of the objective functions.
`abstract OptimizationProverEnvironment.OptStatus`	`result()` The result of the optimization problem, does not depend on the objectives.
`OptimizationResult`	`withModel(org.sosy_lab.solver.basicimpl.cache.CachedModel pModel)`
`OptimizationResult`	`withObjectiveValue(int handle, Optional<Rational> value)`

result
```
public abstract OptimizationProverEnvironment.OptStatus result()
```
The result of the optimization problem, does not depend on the objectives.

public abstract ImmutableMap<Integer,Optional<Rational>> objectiveValues()

Cached values of the objective functions.

public abstract Optional<org.sosy_lab.solver.basicimpl.cache.CachedModel> model()

Cached stored model.

public OptimizationResult withObjectiveValue(int handle,
                                             Optional<Rational> value)

public OptimizationResult withModel(org.sosy_lab.solver.basicimpl.cache.CachedModel pModel)

Class OptimizationResult