Searched defs:parseRoot (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ | ||
H A D | Proof.C | 178 ClauseId Proof::parseRoot(vec<Lit>& clause, File& fp, uint64 tmp, std::ofstream* fout) { function in class:Proof |
Completed in 29 milliseconds