clingo_ast_theory_atom_element Struct Reference

Public Attributes
clingo_ast_theory_term_t const *	tuple
size_t	tuple_size
clingo_ast_literal_t const *	condition
size_t	condition_size

---

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

• clingo.h