Searched refs:endChain (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h67 ClauseId endChain ();
H A DSolver.C96 if (proof != NULL) id = proof->endChain();
356 proof->endChain();
452 if (proof != NULL) conflict_id = proof->endChain();
542 ClauseId id = proof->endChain();
550 proof->endChain();
H A DProof.C134 ClauseId Proof::endChain() function in class:Proof
287 c2c[id] = dst.endChain();
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp318 int idx = P.endChain()-1; //-1 because zc2hs (and zchaff) clause count is base 0
343 int idx = P.endChain()-1;
363 P.endChain();

Completed in 48 milliseconds