clingo_ast_theory_term Struct Reference

Public Attributes
clingo_location_t	location
clingo_ast_theory_term_type_t	type
union {
clingo_symbol_t   symbol
char const *   variable
clingo_ast_theory_term_array_t const *   tuple
clingo_ast_theory_term_array_t const *   list
clingo_ast_theory_term_array_t const *   set
clingo_ast_theory_function_t const *   function
clingo_ast_theory_unparsed_term_t const *   unparsed_term
};

---

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

• clingo.h