Type Alias clingo_sys::clingo_literal_t
source · pub type clingo_literal_t = i32;
Expand description
! Signed integer type used for aspif and solver literals.
pub type clingo_literal_t = i32;
! Signed integer type used for aspif and solver literals.