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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h63 ClauseId addRoot (vec<Lit>& clause, ClauseId orig_root_id = -1);
H A DProof.C83 ClauseId Proof::addRoot(vec<Lit>& cl, ClauseId orig_root_id) argument
99 putUInt(fp, -1 == orig_root_id ? root_counter << 1 : orig_root_id << 1);
308 ClauseId orig_root_id = parseRoot(clause,fp,tmp); local
309 c2c[id] = dst.addRoot(clause,orig_root_id);

Completed in 33 milliseconds