Home
last modified time | relevance | path

Searched refs:ClauseSetIndexedInsertClauseSet (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_clausesets.h91 void ClauseSetIndexedInsertClauseSet(ClauseSet_p set, ClauseSet_p source);
H A Dccl_proofstate.c267 ClauseSetIndexedInsertClauseSet(state->watchlist, tmpset); in ProofStateInitWatchlist()
H A Dccl_clausesets.c638 void ClauseSetIndexedInsertClauseSet(ClauseSet_p set, ClauseSet_p source) in ClauseSetIndexedInsertClauseSet() function