carl::io::OPBImporter< Pol > Class Template Reference

#include <OPBImporter.h>

Collaboration diagram for carl::io::OPBImporter< Pol >:

Public Member Functions
	OPBImporter (const std::string &filename)
std::optional< std::pair< Formula< Pol >, Pol > >	parse ()

Private Types
using	Number = typename UnderlyingNumberType< Pol >::type

Private Member Functions
carl::MultivariatePolynomial< Number >	convert (const std::vector< std::pair< int, carl::Variable >> &poly)

Private Attributes
std::ifstream	mIn
std::map< carl::Variable, carl::Variable >	variableCache

Detailed Description

template<typename Pol>
class carl::io::OPBImporter< Pol >

Definition at line 31 of file OPBImporter.h.

Member Typedef Documentation

Number

template<typename Pol >

using carl::io::OPBImporter< Pol >::Number = typename UnderlyingNumberType<Pol>::type

private

Definition at line 33 of file OPBImporter.h.

Constructor & Destructor Documentation

OPBImporter()

template<typename Pol >

carl::io::OPBImporter< Pol >::OPBImporter ( const std::string &  filename )

inlineexplicit

Definition at line 56 of file OPBImporter.h.

Member Function Documentation

convert()

template<typename Pol >

carl::MultivariatePolynomial<Number> carl::io::OPBImporter< Pol >::convert ( const std::vector< std::pair< int, carl::Variable >> &  poly )

inlineprivate

Definition at line 38 of file OPBImporter.h.

Here is the call graph for this function:

Here is the caller graph for this function:

parse()

template<typename Pol >

std::optional<std::pair<Formula<Pol>,Pol> > carl::io::OPBImporter< Pol >::parse ( )

inline

Definition at line 60 of file OPBImporter.h.

Here is the call graph for this function:

Field Documentation

mIn

template<typename Pol >

std::ifstream carl::io::OPBImporter< Pol >::mIn

private

Definition at line 34 of file OPBImporter.h.

variableCache

template<typename Pol >

std::map<carl::Variable, carl::Variable> carl::io::OPBImporter< Pol >::variableCache

private

Definition at line 36 of file OPBImporter.h.

---

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

• carl-io/OPBImporter.h