Minisat::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 39 of file ParseUtils.h.

Constructor & Destructor Documentation

StreamBuffer()

Minisat::StreamBuffer::StreamBuffer ( gzFile i )

inlineexplicit

Definition at line 51 of file ParseUtils.h.

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

Member Function Documentation

operator*()

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

inline

Definition at line 53 of file ParseUtils.h.

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

operator++()

void Minisat::StreamBuffer::operator++ ( )

inline

Definition at line 54 of file ParseUtils.h.

{ pos++; assureLookahead(); }

position()

int Minisat::StreamBuffer::position ( ) const

inline

Definition at line 55 of file ParseUtils.h.

{ return pos; }

---

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

• src/sat/bsat2/ParseUtils.h