[−][src]Constant clingo_sys::clingo_clause_type_clingo_clause_type_learnt
pub const clingo_clause_type_clingo_clause_type_learnt: clingo_clause_type
!< clause is subject to the solvers deletion policy
pub const clingo_clause_type_clingo_clause_type_learnt: clingo_clause_type
!< clause is subject to the solvers deletion policy