Searched defs:orig_root_id (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ | ||
| H A D | Proof.C | 83 ClauseId Proof::addRoot(vec<Lit>& cl, ClauseId orig_root_id) argument 308 ClauseId orig_root_id = parseRoot(clause,fp,tmp); local |
Completed in 8 milliseconds