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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h135 static inline uint64 encode64(int64 val) { return (val >= 0) ? (uint64)val << 1 : (((uint64)(~val) << 1) | 1); } function
137 static inline void putInt (File& out, int64 val) { putUInt(out, encode64(val)); }

Completed in 23 milliseconds