clingo_ast_theory_definition Struct Reference

Public Attributes
char const *	name
clingo_ast_theory_term_definition_t const *	terms
size_t	terms_size
clingo_ast_theory_atom_definition_t const *	atoms
size_t	atoms_size

---

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

• clingo.h