carl::io::MapleStream Class Reference

#include <MapleStream.h>

Collaboration diagram for carl::io::MapleStream:

Public Member Functions
	MapleStream ()
template<typename Pol >
void	assertFormula (const Formula< Pol > &formula)
template<typename T >
MapleStream &	operator<< (T &&t)
MapleStream &	operator<< (std::ostream &(*os)(std::ostream &))
auto	content () const

Private Member Functions
template<typename Pol >
void	write (const Constraint< Pol > &c)
template<typename Pol >
void	write (const Formulas< Pol > &f, const std::string &op)
template<typename Pol >
void	write (const Formula< Pol > &f)
void	write (const Monomial::Arg &m)
void	write (const Monomial::Content::value_type &m)
void	write (const Monomial &m)
template<typename Coeff >
void	write (const MultivariatePolynomial< Coeff > &mp)
void	write (Relation r)
template<typename Coeff >
void	write (const Term< Coeff > &t)
template<typename Coeff >
void	write (const UnivariatePolynomial< Coeff > &up)
void	write (const Variable &v)
void	write (const VariableType &vt)
template<typename T >
void	write (T &&t)

Private Attributes
std::stringstream	mStream

Detailed Description

Definition at line 20 of file MapleStream.h.

Constructor & Destructor Documentation

MapleStream()

carl::io::MapleStream::MapleStream ( )

inline

Definition at line 173 of file MapleStream.h.

Member Function Documentation

assertFormula()

template<typename Pol >

void carl::io::MapleStream::assertFormula ( const Formula< Pol > &  formula )

inline

Definition at line 177 of file MapleStream.h.

content()

auto carl::io::MapleStream::content ( ) const

inline

Definition at line 192 of file MapleStream.h.

Here is the caller graph for this function:

operator<<() [1/2]

MapleStream& carl::io::MapleStream::operator<< ( std::ostream &(*)(std::ostream &)  os )

inline

Definition at line 187 of file MapleStream.h.

Here is the call graph for this function:

operator<<() [2/2]

template<typename T >

MapleStream& carl::io::MapleStream::operator<< ( T &&  t )

inline

Definition at line 182 of file MapleStream.h.

Here is the call graph for this function:

write() [1/13]

template<typename Pol >

void carl::io::MapleStream::write ( const Constraint< Pol > &  c )

inlineprivate

Definition at line 25 of file MapleStream.h.

Here is the call graph for this function:

Here is the caller graph for this function:

write() [2/13]

template<typename Pol >

void carl::io::MapleStream::write ( const Formula< Pol > &  f )

inlineprivate

Definition at line 35 of file MapleStream.h.

Here is the call graph for this function:

write() [3/13]

template<typename Pol >

void carl::io::MapleStream::write ( const Formulas< Pol > &  f, const std::string &  op  )

inlineprivate

Definition at line 30 of file MapleStream.h.

Here is the call graph for this function:

write() [4/13]

void carl::io::MapleStream::write ( const Monomial &  m )

inlineprivate

Definition at line 96 of file MapleStream.h.

Here is the call graph for this function:

write() [5/13]

void carl::io::MapleStream::write ( const Monomial::Arg &  m )

inlineprivate

Definition at line 87 of file MapleStream.h.

write() [6/13]

void carl::io::MapleStream::write ( const Monomial::Content::value_type &  m )

inlineprivate

Definition at line 91 of file MapleStream.h.

write() [7/13]

template<typename Coeff >

void carl::io::MapleStream::write ( const MultivariatePolynomial< Coeff > &  mp )

inlineprivate

Definition at line 105 of file MapleStream.h.

Here is the call graph for this function:

write() [8/13]

template<typename Coeff >

void carl::io::MapleStream::write ( const Term< Coeff > &  t )

inlineprivate

Definition at line 128 of file MapleStream.h.

Here is the call graph for this function:

write() [9/13]

template<typename Coeff >

void carl::io::MapleStream::write ( const UnivariatePolynomial< Coeff > &  up )

inlineprivate

Definition at line 140 of file MapleStream.h.

Here is the call graph for this function:

write() [10/13]

void carl::io::MapleStream::write ( const Variable &  v )

inlineprivate

Definition at line 153 of file MapleStream.h.

Here is the call graph for this function:

write() [11/13]

void carl::io::MapleStream::write ( const VariableType &  vt )

inlineprivate

Definition at line 156 of file MapleStream.h.

write() [12/13]

void carl::io::MapleStream::write ( Relation  r )

inlineprivate

Definition at line 116 of file MapleStream.h.

write() [13/13]

template<typename T >

void carl::io::MapleStream::write ( T &&  t )

inlineprivate

Definition at line 168 of file MapleStream.h.

Field Documentation

mStream

std::stringstream carl::io::MapleStream::mStream

private

Definition at line 22 of file MapleStream.h.

---

The documentation for this class was generated from the following file:

• carl-io/MapleStream.h