Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_clausesets.h126 Clause_p ClauseSetFind(ClauseSet_p set, Clause_p clause);
H A Dccl_clausesets.c1374 Clause_p ClauseSetFind(ClauseSet_p set, Clause_p clause) in ClauseSetFind() function
1701 if(!ClauseSetFind(demods, pos->clause)) in ClauseSetVerifyDemod()
1770 if(!ClauseSetFind(demods, pos->clause)) in PDTreeVerifyIndex()