Searched defs:chain_var (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h54 vec<Var> chain_var; member in class:Proof
H A DProof.C219 void Proof::parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, argument
293 fout << " " << chain_var[i] << " "; local
[all...]

Completed in 38 milliseconds