carl::io::detail Namespace Reference

Data Structures
struct	SMTLIBScriptContainer
	Shorthand to allow writing SMTLIB scripts in one line. More...
struct	SMTLIBOutputContainer

Functions
template<typename Pol >
std::ostream &	operator<< (std::ostream &os, const SMTLIBScriptContainer< Pol > &sc)
	Actually write an SMTLIBScriptContainer to an std::ostream. More...
template<typename... Args>
std::ostream &	operator<< (std::ostream &os, const SMTLIBOutputContainer< Args... > &soc)

Function Documentation

operator<<() [1/2]

template<typename... Args>

std::ostream& carl::io::detail::operator<<	(	std::ostream &	os,
		const SMTLIBOutputContainer< Args... > &	soc
	)

Definition at line 517 of file SMTLIBStream.h.

Here is the call graph for this function:

operator<<() [2/2]

template<typename Pol >

std::ostream& carl::io::detail::operator<<	(	std::ostream &	os,
		const SMTLIBScriptContainer< Pol > &	sc
	)

Actually write an SMTLIBScriptContainer to an std::ostream.

Definition at line 492 of file SMTLIBStream.h.

Here is the call graph for this function: