clingo_ast_theory_atom Struct Reference

Public Attributes
clingo_ast_term_t	term
clingo_ast_theory_atom_element_t const *	elements
size_t	size
clingo_ast_theory_guard_t const *	guard

---

The documentation for this struct was generated from the following file:

• clingo.h