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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.C93 out.putChar(v);
96 out.putChar(0x80 | (v >> 8)),
97 out.putChar((uchar)v);
99 out.putChar(0xA0 | (v >> 16)),
100 out.putChar((uchar)(v >> 8)),
101 out.putChar((uchar)v);
103 out.putChar((v >> 24) | 0xC0),
104 out.putChar((uchar)(v >> 16)),
105 out.putChar((uchar)(v >> 8)),
106 out.putChar((ucha
[all...]
H A DFile.h19 // A buffered file abstraction with only 'putChar()' and 'getChar()'.
106 int putChar(int chr) { function in class:File
H A DProof.C355 out.putChar(fp.getChar());

Completed in 76 milliseconds