Type Alias clingo_sys::clingo_weight_t
source · pub type clingo_weight_t = i32;
Expand description
! Signed integer type for weights in sum aggregates and minimize constraints.
pub type clingo_weight_t = i32;
! Signed integer type for weights in sum aggregates and minimize constraints.