printing.hpp File Reference

Contains functions ostream operators for various structures: ranges, tuples and the structures like variables and literals for easy printing. More...

#include <ostream>
#include <tuple>
#include <ranges>
#include <concepts>
#include <string>
#include <string_view>
#include "basic_structures.hpp"

Include dependency graph for printing.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	sat

Concepts
concept	printable
concept	printing_detail::string

Functions
template<std::size_t Idx, typename Tuple >
void	printing_detail::printElem (std::ostream &os, const Tuple &tuple)
template<printable ... Ts>
std::ostream &	std::operator<< (std::ostream &os, const std::tuple< Ts... > &tuple)
template<printable T, printable U>
std::ostream &	std::operator<< (std::ostream &os, const std::pair< T, U > &pair)
template<std::ranges::range R> requires (printable<std::ranges::range_value_t<R>> and not printing_detail::string<R>)
std::ostream &	std::operator<< (std::ostream &os, R &&range)
std::ostream &	sat::operator<< (std::ostream &os, Variable x)
std::ostream &	sat::operator<< (std::ostream &os, Literal l)

Detailed Description

Contains functions ostream operators for various structures: ranges, tuples and the structures like variables and literals for easy printing.

Author

Tim Luchterhand

Date

06.01.26