164 if(
stream_.rdbuf()->sgetc() == EOF) {
Helper class for buffering a std::istream.
char buffer_[1024]
Buffer to store the data read from std::istream.
bool eof() const
Is the end of input reached?
bool eof_
Is the end of input reached?
void fill_buffer()
Fills the buffer.
int get()
Gets and consumes a character from the buffer.
unsigned buffer_size_
The size of buffer_.
unsigned buffer_offset_
The offset of the current character in the buffer.
std::istream & stream()
Returns the owned stream.
buffered_istream(std::istream &in)
int peek()
Gets a character from the buffer.
std::istream & stream_
The input to read from.
unsigned in
If equal to search_counter, the node is off the list.