Searched defs:toLitCond (Results 1 – 2 of 2) sorted by relevance
143 static inline lit toLitCond(int v, int c) { return v + v + (c != 0); } in toLitCond() function
102 static inline lit toLitCond(int v, int c) { return v + v + (c != 0); } in toLitCond() function