Minisat::StreamBuffer Class Reference

#include <ParseUtils.h>

Public Member Functions
virtual	~StreamBuffer ()
int	operator* () const
void	operator++ ()
int	position () const

Private Types
enum	{ buffer_size = 64*1024 }

Private Member Functions
virtual void	assureLookahead ()=0

Private Attributes
unsigned char *	buf
int	pos
int	size

Detailed Description

Definition at line 36 of file ParseUtils.h.

Member Enumeration Documentation

anonymous enum

private

Enumerator
buffer_size

Definition at line 41 of file ParseUtils.h.

{ buffer_size = 64*1024 };

Constructor & Destructor Documentation

virtual Minisat::StreamBuffer::~StreamBuffer ( )

inlinevirtual

Definition at line 46 of file ParseUtils.h.

{ }

Member Function Documentation

virtual void Minisat::StreamBuffer::assureLookahead ( )

privatepure virtual

Here is the caller graph for this function:

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

inline

Definition at line 48 of file ParseUtils.h.

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

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

inline

Definition at line 49 of file ParseUtils.h.

{ pos++; assureLookahead(); }

Here is the call graph for this function:

int Minisat::StreamBuffer::position ( ) const

inline

Definition at line 50 of file ParseUtils.h.

{ return pos; }

Field Documentation

unsigned char* Minisat::StreamBuffer::buf

private

Definition at line 37 of file ParseUtils.h.

int Minisat::StreamBuffer::pos

private

Definition at line 38 of file ParseUtils.h.

int Minisat::StreamBuffer::size

private

Definition at line 39 of file ParseUtils.h.

---

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

• ParseUtils.h