clingo_ast_body_literal Struct Reference

Detailed Description

Examples:

ast.c.

Public Attributes
clingo_location_t	location
clingo_ast_sign_t	sign
clingo_ast_body_literal_type_t	type
union {
clingo_ast_literal_t const *   literal
clingo_ast_conditional_literal_t const *   conditional
clingo_ast_aggregate_t const *   aggregate
clingo_ast_body_aggregate_t const *   body_aggregate
clingo_ast_theory_atom_t const *   theory_atom
clingo_ast_disjoint_t const *   disjoint
};

---

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

• clingo.h