Constant clingo_sys::clingo_clause_type_e_clingo_clause_type_volatile_static

source · 
pub const clingo_clause_type_e_clingo_clause_type_volatile_static: clingo_clause_type_e = 3;
Expand description

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