CPSolver.Objective (Fixpoint v0.6.2)
Summary
Functions
Link to this function
bind_to_store(objective, store)
Link to this function
get_bound(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_handle(objective)
Link to this function
tighten(objective)
Link to this function
tighten(variable, bound_handle)
Link to this function