Searched refs:parseRoot (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h72 ClauseId parseRoot (vec<Lit>& clause, File& fp, uint64 tmp, std::ofstream* fout = NULL);
75 ClauseId parseRoot (vec<Lit>& clause, File& fp, uint64 tmp);
H A DProof.C178 ClauseId Proof::parseRoot(vec<Lit>& clause, File& fp, uint64 tmp, std::ofstream* fout) { function in class:Proof
180 ClauseId Proof::parseRoot(vec<Lit>& clause, File& fp, uint64 tmp) {
308 ClauseId orig_root_id = parseRoot(clause,fp,tmp);
388 parseRoot(clause,fp,tmp,&fout);
390 parseRoot(clause,fp,tmp);

Completed in 35 milliseconds