Home
last modified time | relevance | path

Searched refs:ClauseSetExtractFirst (Results 1 – 6 of 6) sorted by relevance

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_clausesets.c368 handle = ClauseSetExtractFirst(set); in ClauseSetFreeClauses()
525 handle = ClauseSetExtractFirst(from); in ClauseSetInsertSet()
644 handle = ClauseSetExtractFirst(source); in ClauseSetIndexedInsertClauseSet()
709 Clause_p ClauseSetExtractFirst(ClauseSet_p set) in ClauseSetExtractFirst() function
881 while((clause = ClauseSetExtractFirst(set))) in ClauseSetSort()
2142 while((clause = ClauseSetExtractFirst(set))) in ClauseSetFVIndexify()
2177 while((clause = ClauseSetExtractFirst(set))) in ClauseSetNewTerms()
H A Dccl_splitting.c643 handle = ClauseSetExtractFirst(from_set); in ClauseSetSplitClauses()
679 handle = ClauseSetExtractFirst(from_set); in ClauseSetSplitClausesGeneral()
H A Dccl_clausesets.h95 Clause_p ClauseSetExtractFirst(ClauseSet_p set);
/dports/math/eprover/eprover-E-2.0/CONTROL/
H A Dcco_forward_contraction.c366 ClauseSetInsert(tmp_set, ClauseSetExtractFirst(set)); in ClauseSetReweight()
371 handle = ClauseSetExtractFirst(tmp_set); in ClauseSetReweight()
H A Dcco_proofproc.c458 while((handle = ClauseSetExtractFirst(tmp_set))) in simplify_watchlist()
589 while((handle = ClauseSetExtractFirst(state->tmp_store))) in insert_new_clauses()
1012 while((handle = ClauseSetExtractFirst(set))) in ProofStateResetProcessedSet()
/dports/math/eprover/eprover-E-2.0/PROVER/
H A Denormalizer.c297 while((handle = ClauseSetExtractFirst(spec))) in build_rw_system()