Function clingo_sys::clingo_model_optimality_proven
[−]
[src]
pub unsafe extern "C" fn clingo_model_optimality_proven(
model: *mut clingo_model_t,
proven: *mut bool
) -> bool
Whether the optimality of a model has been proven.
Parameters:
model
the targetproven
whether the optimality has been proven
Returns whether the call was successful
@see clingo_model_cost()