CPSolver.Objective (Fixpoint v0.14.4)
Link to this section Summary
Link to this section Functions
Link to this function
get_bound(handle)
Link to this function
get_bound_impl(handle)
Link to this function
get_objective_value(objective)
Link to this function
init_bound_handle()
Link to this function
maximize(variable)
Link to this function
minimize(variable)
Specs
minimize(Variable.t() | View.t()) :: %{
propagator: Propagator.t(),
variable: Variable.t() | View.t(),
bound_handle: reference()
}
Link to this function
reset_bound(objective)
Link to this function
reset_bound_impl(ref)
Link to this function
tighten(objective)
Link to this function
tighten(variable, bound_handle)
Link to this function
update_bound(handle, value)
Link to this function