Common.h File Reference

#include <tuple>
#include <vector>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <carl-formula/formula/Formula.h>
#include <carl-arith/poly/umvpoly/MonomialPool.h>
#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-extpolys/FactorizedPolynomial.h>
#include <carl-extpolys/RationalFunction.h>
#include <carl-arith/core/Variable.h>
#include <carl-arith/core/VariablePool.h>
#include <carl-common/util/streamingOperators.h>

Include dependency graph for Common.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	carl::io::parser::RationalPolicies< Coeff >

Namespaces
	carl
	carl is the main namespace for the library.
	carl::io
	carl::io::parser

Macros
#define	BOOST_SPIRIT_USE_PHOENIX_V3

Typedefs
using	carl::io::parser::Iterator = std::string::const_iterator
using	carl::io::parser::Skipper = boost::spirit::qi::space_type
template<typename Pol >
using	carl::io::parser::RatFun = RationalFunction< Pol >

Detailed Description

Author

Gereon Kremer gereo.nosp@m.n.kr.nosp@m.emer@.nosp@m.cs.r.nosp@m.wth-a.nosp@m.ache.nosp@m.n.de

Definition in file Common.h.

Macro Definition Documentation

BOOST_SPIRIT_USE_PHOENIX_V3

#define BOOST_SPIRIT_USE_PHOENIX_V3

Definition at line 11 of file Common.h.