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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.C112 chain_id .clear();
114 chain_id.push(abs(start)); //HA: the abs
121 chain_id .push(abs(next)); //HA: abs
129 chain_id .push(abs(next)); //HA: abs
136 assert(chain_id.size() == chain_var.size() + 1);
138 if (chain_id.size() == 1)
139 return chain_id[0];
142 trav->chain(chain_id, chain_var);
150 putUInt(fp, ((id_counter - chain_id[0]) << 1) | 1);
154 putUInt(fp, id_counter - chain_id[
219 parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id, std::ofstream* fout) argument
296 fout << " " << chain_id[i] << " "; local
[all...]
H A DProof.h53 vec<ClauseId> chain_id; member in class:Proof
73 void parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id, std::ofstream* fout = NULL);
76 void parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id);

Completed in 77 milliseconds