Type Alias clingo_sys::clingo_theory_atoms_t
source · pub type clingo_theory_atoms_t = clingo_theory_atoms;
Expand description
! Container that stores theory atoms, elements, and terms (see @ref clingo_control_theory_atoms()).
Aliased Type§
struct clingo_theory_atoms_t { /* private fields */ }