Constant clingo_sys::clingo_clause_type_clingo_clause_type_volatile

pub const clingo_clause_type_clingo_clause_type_volatile: clingo_clause_type

!< like ::clingo_clause_type_learnt but the clause is deleted after a solving step