Searched refs:clingo_clause_type_static (Results 1 – 7 of 7) sorted by relevance
560 type_ |= _lib.clingo_clause_type_static
182 clingo_clause_type_static = 1, //!< clause is not subject to the solvers deletion policy184 clingo_clause_type_volatile_static = 3 //!< like ::clingo_clause_type_static but the clause is del…
3613 int n = (clingo_clause_type_static) <= 0; in _cffi_const_clingo_clause_type_static()3614 …*o = (unsigned long long)((clingo_clause_type_static) | 0); /* check that clingo_clause_type_stat… in _cffi_const_clingo_clause_type_static()
1257 … clingo_clause_type_static = 1, //!< clause is not subject to the solvers deletion policy enumerator
1051 Static = clingo_clause_type_static,
2730 type |= clingo_clause_type_static; in addClauseOrNogood()
2842 int n = (clingo_clause_type_static) <= 0; in _cffi_const_clingo_clause_type_static()2843 …*o = (unsigned long long)((clingo_clause_type_static) | 0); /* check that clingo_clause_type_stat… in _cffi_const_clingo_clause_type_static()