Constant clingo_sys::clingo_symbol_type_e_clingo_symbol_type_infimum

source · 
pub const clingo_symbol_type_e_clingo_symbol_type_infimum: clingo_symbol_type_e = 0;
Expand description

!< the #inf symbol