Dimacs.h File Reference

#include <stdio.h>
#include "ParseUtils.h"
#include "SolverTypes.h"

Include dependency graph for Dimacs.h:

Go to the source code of this file.

Namespaces
	Minisat

Functions
template<class B , class Solver >
static void	Minisat::readClause (B &in, Solver &S, vec< Lit > &lits)
template<class B , class Solver >
static void	Minisat::parse_DIMACS_main (B &in, Solver &S, bool strictp=false)
template<class Solver >
static void	Minisat::parse_DIMACS (gzFile input_stream, Solver &S, bool strictp=false)