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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp67 string line,stok; local
71 fin >> stok; local
72 if (stok=="c" || stok=="p") getline(fin,line);
75 addLit(atoi(stok.c_str()),lits,numvars); // first lit of first clause
200 string line,stok; local
206 iss >> stok; local
207 if (stok=="CL:") {
209 iss >> stok; assert(stok local
220 iss >> stok; assert(stok=="L:"); local
222 iss >> stok; assert(stok=="V:"); local
225 iss >> stok; assert(stok=="A:"); local
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C49 string line,stok; local
53 fin >> stok; local
54 if (stok=="c" || stok=="p") getline(fin,line);
57 addLit(atoi(stok.c_str()),S,lits); // first lit of first clause

Completed in 80 milliseconds