Open
Graph Drawing
Framework

 v. 2023.09 (Elderberry)
 

ParseUtils.h File Reference
#include <stdlib.h>
#include <stdio.h>

Go to the source code of this file.

Namespaces

 Minisat
 
 Minisat::Internal
 

Functions

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

Variables

static const int Minisat::Internal::buffer_size = 1048576