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