OptimizationQuery (JavaSMT Solver Library)

public abstract class OptimizationQuery
extends Object

Serialization of the current query held by the solver.

Constructors
Constructor and Description
`OptimizationQuery()`

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`OptimizationQuery`	`addConstraint(BooleanFormula pConstraint)`
`OptimizationQuery`	`addObjective(OptimizationObjective pObjective, int handle)`
`abstract ImmutableSet<BooleanFormula>`	`constraints()`
`static OptimizationQuery`	`empty()`
`abstract ImmutableMap<Integer,OptimizationObjective>`	`objectives()`

public abstract ImmutableSet<BooleanFormula> constraints()

public abstract ImmutableMap<Integer,OptimizationObjective> objectives()

public OptimizationQuery addConstraint(BooleanFormula pConstraint)

public OptimizationQuery addObjective(OptimizationObjective pObjective,
                                      int handle)

public static OptimizationQuery empty()

Class OptimizationQuery