carl::io::parser Namespace Reference

Data Structures
struct	RationalPolicies
struct	ExpressionParser
struct	FormulaParser
class	Parser
struct	PolynomialParser
struct	RationalFunctionParser

Typedefs
using	Iterator = std::string::const_iterator
using	Skipper = boost::spirit::qi::space_type
template<typename Pol >
using	RatFun = RationalFunction< Pol >
template<typename Pol >
using	ExpressionType = boost::variant< typename Pol::CoeffType, carl::Variable, carl::Monomial::Arg, carl::Term< typename Pol::CoeffType >, Pol, RationalFunction< Pol >, carl::Formula< Pol > >

Typedef Documentation

ExpressionType

template<typename Pol >

using carl::io::parser::ExpressionType = typedef boost::variant< typename Pol::CoeffType, carl::Variable, carl::Monomial::Arg, carl::Term<typename Pol::CoeffType>, Pol, RationalFunction<Pol>, carl::Formula<Pol> >

Definition at line 25 of file ExpressionParserResult.h.

Iterator

using carl::io::parser::Iterator = typedef std::string::const_iterator

Definition at line 33 of file Common.h.

RatFun

template<typename Pol >

using carl::io::parser::RatFun = typedef RationalFunction<Pol>

Definition at line 37 of file Common.h.

Skipper

using carl::io::parser::Skipper = typedef boost::spirit::qi::space_type

Definition at line 34 of file Common.h.