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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp68 int itok; local
77 fin >> itok; local
82 if (itok==0) addClause(lits,roots,pclauses,units,numclauses);
83 else addLit(itok,lits,numvars);
201 int itok; local
208 iss >> itok; //clause id set by zChaff is ignored local
212 iss >> itok; local
213 resolvents.push_back(itok);
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C50 int itok; local
59 fin >> itok; local
64 if (itok==0) addClause(S,lits);
65 else addLit(itok,S,lits);

Completed in 82 milliseconds