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 D | Proof.C | 112 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 D | Proof.h | 53 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