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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h49 ClauseId root_counter; member in class:Proof
62 void incRootCount () { root_counter++; }
H A DProof.C70 root_counter = 1;
78 root_counter = 1;
99 putUInt(fp, -1 == orig_root_id ? root_counter << 1 : orig_root_id << 1);
105 root_counter++;
190 idx0 = tmp >> 1; // the root_counter value

Completed in 39 milliseconds