Searched refs:SubstDeleteSkolem (Results 1 – 2 of 2) sorted by relevance
50 #define SubstDeleteSkolem(junk) SubstBacktrackSkolem(junk);SubstFree(junk) macro
1163 SubstDeleteSkolem(subst); in ClauseSkolemize()