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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C50 int itok; local
59 fin >> itok; local
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp68 int itok; local
77 fin >> itok; local
201 int itok; local
208 iss >> itok; //clause id set by zChaff is ignored local
212 iss >> itok; local

Completed in 54 milliseconds