dimacs_cnf.cpp File Reference

Implementation of the DIMACS-CNF to BooleanCircuit parser. More...

#include "dimacs_cnf.h"
#include "Circuit.hpp"
#include <cstdlib>
#include <map>
#include <sstream>
#include <stdexcept>
#include <string>
#include <vector>

Include dependency graph for dimacs_cnf.cpp:

Go to the source code of this file.

Functions
gate_t	parse_dimacs_cnf (const std::string &text, BooleanCircuit &c, bool weighted)
	Parse text (a DIMACS CNF) into c and return the root gate.

Detailed Description

Implementation of the DIMACS-CNF to BooleanCircuit parser.

Definition in file dimacs_cnf.cpp.

Function Documentation

parse_dimacs_cnf()

gate_t parse_dimacs_cnf	(	const std::string &	text,
		BooleanCircuit &	c,
		bool	weighted )

Parse text (a DIMACS CNF) into c and return the root gate.

Exceptions

std::runtime_error

on a malformed input.

Definition at line 33 of file dimacs_cnf.cpp.

Here is the call graph for this function: