Home
last modified time | relevance | path

Searched refs:PSelectFirstVariableLiteral (Results 1 – 2 of 2) sorted by relevance

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_litselection.h73 void PSelectFirstVariableLiteral(OCB_p ocb, Clause_p clause);
H A Dche_litselection.c42 {"PSelectPureVarNegLiterals", PSelectFirstVariableLiteral},
902 void PSelectFirstVariableLiteral(OCB_p ocb, Clause_p clause) in PSelectFirstVariableLiteral() function