carl::io Namespace Reference

Namespaces
	detail
	helper
	parser

Data Structures
class	DIMACSExporter
	Write formulas to the DIMAS format. More...
class	DIMACSImporter
	Parser for the DIMACS format. More...
class	MapleStream
struct	Skipper
struct	OPBParser
struct	OPBFile
class	OPBImporter
class	QEPCADStream
class	SMTLIBStream
	Allows to print carl data structures in SMTLIB syntax. More...
class	InvalidInputStringException
class	StringParser

Typedefs
using	BaseIteratorType = spirit::istream_iterator
using	PositionIteratorType = spirit::line_pos_iterator< BaseIteratorType >
using	Iterator = PositionIteratorType
using	ErrorHandler = carl::io::helper::ErrorHandler
using	OPBPolynomial = std::vector< std::pair< int, carl::Variable > >
using	OPBConstraint = std::tuple< OPBPolynomial, Relation, int >

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

Typedef Documentation

BaseIteratorType

using carl::io::BaseIteratorType = typedef spirit::istream_iterator

Definition at line 21 of file OPBImporter.cpp.

ErrorHandler

using carl::io::ErrorHandler = typedef carl::io::helper::ErrorHandler

Definition at line 24 of file OPBImporter.cpp.

Iterator

using carl::io::Iterator = typedef PositionIteratorType

Definition at line 23 of file OPBImporter.cpp.

OPBConstraint

using carl::io::OPBConstraint = typedef std::tuple<OPBPolynomial, Relation, int>

Definition at line 17 of file OPBImporter.h.

OPBPolynomial

using carl::io::OPBPolynomial = typedef std::vector<std::pair<int,carl::Variable> >

Definition at line 16 of file OPBImporter.h.

PositionIteratorType

using carl::io::PositionIteratorType = typedef spirit::line_pos_iterator<BaseIteratorType>

Definition at line 22 of file OPBImporter.cpp.

Function Documentation

asSMTLIB()

template<typename... Args>

detail::SMTLIBOutputContainer<Args...> carl::io::asSMTLIB

(

Args &&...

args

)

Generic shorthand to write arbitrary data to an SMTLIBStream and return the result.

Definition at line 530 of file SMTLIBStream.h.

operator<<() [1/3]

std::ostream& carl::io::operator<< ( std::ostream &  os, const MapleStream &  ms  )

inline

Definition at line 197 of file MapleStream.h.

Here is the call graph for this function:

operator<<() [2/3]

std::ostream& carl::io::operator<< ( std::ostream &  os, const QEPCADStream &  qs  )

inline

Definition at line 218 of file QEPCADStream.h.

Here is the call graph for this function:

operator<<() [3/3]

std::ostream& carl::io::operator<< ( std::ostream &  os, const SMTLIBStream &  ss  )

inline

Write the written data to some std::ostream.

Definition at line 478 of file SMTLIBStream.h.

Here is the call graph for this function:

outputSMTLIB()

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.

Definition at line 510 of file SMTLIBStream.h.

parseOPBFile()

std::optional< OPBFile > carl::io::parseOPBFile

(

std::ifstream &

in

)

Definition at line 95 of file OPBImporter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function: