Constant clingo_sys::clingo_warning_e_clingo_warning_operation_undefined

source · 
pub const clingo_warning_e_clingo_warning_operation_undefined: clingo_warning_e = 0;
Expand description

!< undefined arithmetic operation or weight of aggregate