CPSolver.Objective (Fixpoint v0.9.0)
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