Searched refs:addLit (Results 1 – 1 of 1) sorted by relevance
236 addLit(Lit1);237 addLit(Lit2);238 addLit(Lit3);243 void addLit(unsigned L) { in addLit() function