clingo_ast_head_literal Struct Reference

Public Attributes
clingo_location_t	location
clingo_ast_head_literal_type_t	type
union {
clingo_ast_literal_t const *   literal
clingo_ast_disjunction_t const *   disjunction
clingo_ast_aggregate_t const *   aggregate
clingo_ast_head_aggregate_t const *   head_aggregate
clingo_ast_theory_atom_t const *   theory_atom
};

---

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

• clingo.h