Type Definition clingo_sys::clingo_literal_t
[−]
[src]
type clingo_literal_t = i32;
Signed integer type used for aspif and solver literals.
type clingo_literal_t = i32;
Signed integer type used for aspif and solver literals.