Constant clingo_sys::clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_directive
source · pub const clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_directive: clingo_ast_theory_atom_definition_type_e = 3;Expand description
!< For theory atoms that must not have a body.