Type Definition clingo_sys::clingo_atom_t
[−]
[src]
type clingo_atom_t = u32;
Unsigned integer type used for aspif atoms.
type clingo_atom_t = u32;
Unsigned integer type used for aspif atoms.