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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h48 ClauseId id_counter; member in class:Proof
69 ClauseId last () { assert(id_counter != ClauseId_NULL); return id_counter - 1; }
H A DProof.C68 id_counter = 1; //HA: to save sign info on-the-fly, unit_id uses -ve clause id's to indicate
77 id_counter = 1;
106 return id_counter++;
150 putUInt(fp, ((id_counter - chain_id[0]) << 1) | 1);
154 putUInt(fp, id_counter - chain_id[i+1]);
158 return id_counter++;
167 putUInt(fp, ((id_counter - (abs(gone))) << 1) | 1);
403 trav.deleted(chain_id[0]-1); //HA: -1 to compensate for id_counter base 1

Completed in 38 milliseconds