carl  24.04
Computer ARithmetic Library
Public Member Functions | Private Member Functions | Private Attributes
carl::io::QEPCADStream Class Reference

#include <QEPCADStream.h>

Collaboration diagram for carl::io::QEPCADStream:
Collaboration graph
[legend]

Public Member Functions

 QEPCADStream ()
 
void initialize (const carlVariables &vars)
 
template<typename Pol >
void initialize (std::initializer_list< Formula< Pol >> formulas)
 
template<typename Pol >
void assertFormula (const Formula< Pol > &formula)
 
template<typename T >
QEPCADStream & operator<< (T &&t)
 
QEPCADStream & operator<< (std::ostream &(*os)(std::ostream &))
 
auto content () const
 

Private Member Functions

void declare (Variable v)
 
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 QEPCADStream.h.

Constructor & Destructor Documentation

◆ QEPCADStream()

carl::io::QEPCADStream::QEPCADStream ( )
inline

Definition at line 179 of file QEPCADStream.h.

Member Function Documentation

◆ assertFormula()

template<typename Pol >
void carl::io::QEPCADStream::assertFormula ( const Formula< Pol > &  formula)
inline

Definition at line 198 of file QEPCADStream.h.

◆ content()

auto carl::io::QEPCADStream::content ( ) const
inline

Definition at line 213 of file QEPCADStream.h.

Here is the caller graph for this function:

◆ declare()

void carl::io::QEPCADStream::declare ( Variable  v)
inlineprivate

Definition at line 24 of file QEPCADStream.h.

Here is the caller graph for this function:

◆ initialize() [1/2]

void carl::io::QEPCADStream::initialize ( const carlVariables &  vars)
inline

Definition at line 182 of file QEPCADStream.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ initialize() [2/2]

template<typename Pol >
void carl::io::QEPCADStream::initialize ( std::initializer_list< Formula< Pol >>  formulas)
inline

Definition at line 189 of file QEPCADStream.h.

Here is the call graph for this function:

◆ operator<<() [1/2]

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

Definition at line 208 of file QEPCADStream.h.

Here is the call graph for this function:

◆ operator<<() [2/2]

template<typename T >
QEPCADStream& carl::io::QEPCADStream::operator<< ( T &&  t)
inline

Definition at line 203 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [1/13]

template<typename Pol >
void carl::io::QEPCADStream::write ( const Constraint< Pol > &  c)
inlineprivate

Definition at line 29 of file QEPCADStream.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::QEPCADStream::write ( const Formula< Pol > &  f)
inlineprivate

Definition at line 39 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [3/13]

template<typename Pol >
void carl::io::QEPCADStream::write ( const Formulas< Pol > &  f,
const std::string &  op 
)
inlineprivate

Definition at line 34 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [4/13]

void carl::io::QEPCADStream::write ( const Monomial &  m)
inlineprivate

Definition at line 102 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [5/13]

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

Definition at line 91 of file QEPCADStream.h.

◆ write() [6/13]

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

Definition at line 95 of file QEPCADStream.h.

◆ write() [7/13]

template<typename Coeff >
void carl::io::QEPCADStream::write ( const MultivariatePolynomial< Coeff > &  mp)
inlineprivate

Definition at line 111 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [8/13]

template<typename Coeff >
void carl::io::QEPCADStream::write ( const Term< Coeff > &  t)
inlineprivate

Definition at line 134 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [9/13]

template<typename Coeff >
void carl::io::QEPCADStream::write ( const UnivariatePolynomial< Coeff > &  up)
inlineprivate

Definition at line 146 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [10/13]

void carl::io::QEPCADStream::write ( const Variable &  v)
inlineprivate

Definition at line 159 of file QEPCADStream.h.

Here is the call graph for this function:

◆ write() [11/13]

void carl::io::QEPCADStream::write ( const VariableType &  vt)
inlineprivate

Definition at line 162 of file QEPCADStream.h.

◆ write() [12/13]

void carl::io::QEPCADStream::write ( Relation  r)
inlineprivate

Definition at line 122 of file QEPCADStream.h.

◆ write() [13/13]

template<typename T >
void carl::io::QEPCADStream::write ( T &&  t)
inlineprivate

Definition at line 174 of file QEPCADStream.h.

Field Documentation

◆ mStream

std::stringstream carl::io::QEPCADStream::mStream
private

Definition at line 22 of file QEPCADStream.h.

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