Gluco::StreamBuffer Class Reference

#include <ParseUtils.h>

Public Member Functions
	StreamBuffer (gzFile i)
int	operator* () const
void	operator++ ()
int	position () const

Detailed Description

Definition at line 40 of file ParseUtils.h.

Constructor & Destructor Documentation

StreamBuffer()

Gluco::StreamBuffer::StreamBuffer ( gzFile i )

inlineexplicit

Definition at line 52 of file ParseUtils.h.

: in(i), pos(0), size(0) { assureLookahead(); }

Member Function Documentation

operator*()

int Gluco::StreamBuffer::operator* ( ) const

inline

Definition at line 54 of file ParseUtils.h.

{ return (pos >= size) ? EOF : buf[pos]; }

operator++()

void Gluco::StreamBuffer::operator++ ( )

inline

Definition at line 55 of file ParseUtils.h.

{ pos++; assureLookahead(); }

position()

int Gluco::StreamBuffer::position ( ) const

inline

Definition at line 56 of file ParseUtils.h.

{ return pos; }

---

The documentation for this class was generated from the following file:

• src/sat/glucose/ParseUtils.h