clingo_ast_theory_atom_definition Struct Reference

Public Attributes
clingo_location_t	location
clingo_ast_theory_atom_definition_type_t	type
char const *	name
unsigned	arity
char const *	elements
clingo_ast_theory_guard_definition_t const *	guard

---

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

• clingo.h