Type Definition clingo_sys::clingo_theory_atoms_t
[−]
[src]
type clingo_theory_atoms_t = clingo_theory_atoms;
Container that stores theory atoms, elements, and terms (see @ref clingo_control_theory_atoms()).