ParseUtils.h File Reference

#include <stdlib.h>
#include <stdio.h>
#include "misc/zlib/zlib.h"

Go to the source code of this file.

Data Structures
class	Minisat::StreamBuffer

Namespaces
	Minisat

Functions
static bool	Minisat::isEof (StreamBuffer &in)
static bool	Minisat::isEof (const char *in)
template<class B >
static void	Minisat::skipWhitespace (B &in)
template<class B >
static void	Minisat::skipLine (B &in)
template<class B >
static int	Minisat::parseInt (B &in)
template<class B >
static bool	Minisat::match (B &in, const char *str)
template<class B >
static bool	Minisat::eagerMatch (B &in, const char *str)

Variables
static const int	Minisat::buffer_size = 1048576