CPSolver.Objective (Fixpoint v0.8.30)

Summary

Functions

get_bound(handle)
get_bound_impl(handle)
get_objective_value(objective)
init_bound_handle()
maximize(variable)
minimize(variable)
reset_bound(objective)
reset_bound_impl(ref)
tighten(objective)
tighten(variable, bound_handle)
update_bound(handle, value)
update_bound_impl(bound_handle, value)

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)