Function clingo_sys::clingo_propagate_init_add_minimize

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

! 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