Function clingo_sys::clingo_propagate_init_add_minimize
source · pub unsafe extern "C" fn clingo_propagate_init_add_minimize(
init: *mut clingo_propagate_init_t,
literal: clingo_literal_t,
weight: clingo_weight_t,
priority: clingo_weight_t
) -> bool
Expand description
! Add the given literal to minimize to the solver.
!
! This corresponds to a weak constraint of form :~ literal. [weight@priority]
.
!
! @param[in] init the target
! @param[in] literal the literal to minimize
! @param[in] weight the weight of the literal
! @param[in] priority the priority of the literal
! @return whether the call was successful; might set one of the following error codes:
! - ::clingo_error_bad_alloc