CPSolver.Objective (Fixpoint v0.8.28)

Summary

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)

@spec 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

update_bound_impl(bound_handle, value)