ParseUtils.h File Reference

#include <stdlib.h>
#include <stdio.h>
#include "XAlloc.h"

Include dependency graph for ParseUtils.h:

This graph shows which files directly or indirectly include this file:

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)