SMTLIBStream.h File Reference

#include <carl-arith/poly/umvpoly/Monomial.h>
#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-arith/core/Relation.h>
#include <carl-arith/poly/umvpoly/Term.h>
#include <carl-arith/poly/umvpoly/UnivariatePolynomial.h>
#include <carl-arith/core/Variable.h>
#include <carl-formula/arithmetic/Constraint.h>
#include <carl-arith/extended/VariableComparison.h>
#include <carl-formula/formula/Formula.h>
#include <carl-formula/formula/Logic.h>
#include <carl-formula/model/Model.h>
#include <carl-formula/sort/Sort.h>
#include <carl-arith/numbers/numbers.h>
#include <carl-common/util/tuple_util.h>
#include <carl-common/util/streamingOperators.h>
#include <iostream>
#include <sstream>
#include <type_traits>

Include dependency graph for SMTLIBStream.h:

Go to the source code of this file.

Data Structures
class	carl::io::SMTLIBStream
	Allows to print carl data structures in SMTLIB syntax. More...
struct	carl::io::detail::SMTLIBScriptContainer< Pol >
	Shorthand to allow writing SMTLIB scripts in one line. More...
struct	carl::io::detail::SMTLIBOutputContainer< Args >

Namespaces
	carl
	carl is the main namespace for the library.
	carl::io
	carl::io::detail

Functions
std::ostream &	carl::io::operator<< (std::ostream &os, const SMTLIBStream &ss)
	Write the written data to some std::ostream. More...
template<typename Pol >
std::ostream &	carl::io::detail::operator<< (std::ostream &os, const SMTLIBScriptContainer< Pol > &sc)
	Actually write an SMTLIBScriptContainer to an std::ostream. More...
template<typename Pol , typename... Args>
detail::SMTLIBScriptContainer< Pol >	carl::io::outputSMTLIB (Logic l, std::initializer_list< Formula< Pol >> formulas, Args &&... args)
	Shorthand to allow writing SMTLIB scripts in one line. More...
template<typename... Args>
std::ostream &	carl::io::detail::operator<< (std::ostream &os, const SMTLIBOutputContainer< Args... > &soc)
template<typename... Args>
detail::SMTLIBOutputContainer< Args... >	carl::io::asSMTLIB (Args &&... args)
	Generic shorthand to write arbitrary data to an SMTLIBStream and return the result. More...