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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h73 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 DProof.C219 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 35 milliseconds