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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h26 class Exception_EOF {}; class
134 uint64 getUInt (File& in) throw(Exception_EOF);
H A DFile.C122 throw(Exception_EOF)
127 throw Exception_EOF();

Completed in 22 milliseconds