CPSolver.Objective (Fixpoint v0.10.1)

Summary

Functions

get_bound(handle)

get_bound_impl(handle)

get_objective_value(objective)

init_bound_handle()

maximize(variable)

minimize(variable)

@spec minimize(Variable.t() | View.t()) :: %{
  propagator: Propagator.t(),
  variable: Variable.t() | View.t(),
  bound_handle: reference()
}

reset_bound(objective)

reset_bound_impl(ref)

tighten(objective)

tighten(variable, bound_handle)

update_bound(handle, value)

update_bound_impl(bound_handle, value)