Type Definition clingo_sys::clingo_weight_t [] [src]

type clingo_weight_t = i32;

Signed integer type for weights in sum aggregates and minimize constraints.