abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Dimacs.h File Reference
#include <stdio.h>
#include "ParseUtils.h"
#include "SolverTypes.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)
 
template<class Solver >
static void Minisat::parse_DIMACS (gzFile input_stream, Solver &S)