Searched refs:parseChain (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Proof.h | 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);
|
H A D | Proof.C | 219 void Proof::parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, function in class:Proof 222 void Proof::parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, 278 //parseChain(chain_id,chain_var,fp,tmp,id); 318 parseChain(chain_id,chain_var,fp,tmp,id); 396 parseChain(chain_id,chain_var,fp,tmp,id,&fout); 398 parseChain(chain_id,chain_var,fp,tmp,id);
|
Completed in 34 milliseconds