Searched refs:PSelectFirstVariableLiteral (Results 1 – 2 of 2) sorted by relevance
73 void PSelectFirstVariableLiteral(OCB_p ocb, Clause_p clause);
42 {"PSelectPureVarNegLiterals", PSelectFirstVariableLiteral},902 void PSelectFirstVariableLiteral(OCB_p ocb, Clause_p clause) in PSelectFirstVariableLiteral() function