Searched refs:isNegLit (Results 1 – 1 of 1) sorted by relevance
69 static constexpr bool isNegLit(Literal L) { return 1 == (L & 1); } in isNegLit() function222 if (isNegLit(L)) in addClause()