clingo_ast_minimize Struct Reference

Public Attributes
clingo_ast_term_t	weight
clingo_ast_term_t	priority
clingo_ast_term_t const *	tuple
size_t	tuple_size
clingo_ast_body_literal_t const *	body
size_t	body_size

---

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

• clingo.h