Searched defs:isRevLit (Results 1 – 3 of 3) sorted by relevance
884 inline bool isRevLit(const Solver& s, Literal p, uint32 maxL) { in isRevLit() function
886 inline bool isRevLit(const Solver& s, Literal p, uint32 maxL) { in isRevLit() function