inout.hpp File Reference

Contains functions for reading and writing dimacs format. More...

#include <ostream>
#include <istream>
#include <vector>
#include <iterator>
#include <sstream>
#include "basic_structures.hpp"
#include "Clause.hpp"
#include "util/concepts.hpp"

Include dependency graph for inout.hpp:

Go to the source code of this file.

Namespaces
namespace	sat
namespace	sat::inout
	Namespace containing dimacs io utilities.

Functions
Literal	sat::inout::from_dimacs (int val) noexcept
int	sat::inout::to_dimacs (Literal l) noexcept
auto	sat::inout::read_from_dimacs (std::istream &in) -> std::pair< std::vector< std::vector< Literal > >, std::size_t >
template<std::ranges::range R>
std::string	sat::inout::to_dimacs (const R &clauses)
template<concepts::typed_range< Literal > L>
std::string	sat::inout::to_dimacs (const L &literals)

Detailed Description

Contains functions for reading and writing dimacs format.

Author

Tim Luchterhand

Date

27.11.24