carl::io::parser::Parser< Pol > Class Template Reference

#include <Parser.h>

Public Member Functions
	Parser ()
Pol	polynomial (const std::string &s)
RatFun< Pol >	rationalFunction (const std::string &s)
Formula< Pol >	formula (const std::string &s)
void	addVariable (Variable::Arg v)

Private Member Functions
template<typename Result , typename Parser >
bool	parse (const std::string &s, const Parser &parser, Result &res)

Private Attributes
Skipper	skipper
PolynomialParser< Pol >	polynomialParser
RationalFunctionParser< Pol >	ratfunParser
FormulaParser< Pol >	formulaParser

Detailed Description

template<typename Pol>
class carl::io::parser::Parser< Pol >

Definition at line 21 of file Parser.h.

Constructor & Destructor Documentation

Parser()

template<typename Pol >

carl::io::parser::Parser< Pol >::Parser ( )

inline

Definition at line 34 of file Parser.h.

Member Function Documentation

addVariable()

template<typename Pol >

void carl::io::parser::Parser< Pol >::addVariable ( Variable::Arg  v )

inline

Definition at line 67 of file Parser.h.

Here is the call graph for this function:

formula()

template<typename Pol >

Formula<Pol> carl::io::parser::Parser< Pol >::formula ( const std::string &  s )

inline

Definition at line 58 of file Parser.h.

Here is the call graph for this function:

parse()

template<typename Pol >

template<typename Result , typename Parser >

bool carl::io::parser::Parser< Pol >::parse ( const std::string &  s, const Parser< Pol > &  parser, Result &  res  )

inlineprivate

Definition at line 29 of file Parser.h.

Here is the caller graph for this function:

polynomial()

template<typename Pol >

Pol carl::io::parser::Parser< Pol >::polynomial ( const std::string &  s )

inline

Definition at line 42 of file Parser.h.

Here is the call graph for this function:

rationalFunction()

template<typename Pol >

RatFun<Pol> carl::io::parser::Parser< Pol >::rationalFunction ( const std::string &  s )

inline

Definition at line 50 of file Parser.h.

Here is the call graph for this function:

Field Documentation

formulaParser

template<typename Pol >

FormulaParser<Pol> carl::io::parser::Parser< Pol >::formulaParser

private

Definition at line 26 of file Parser.h.

polynomialParser

template<typename Pol >

PolynomialParser<Pol> carl::io::parser::Parser< Pol >::polynomialParser

private

Definition at line 24 of file Parser.h.

ratfunParser

template<typename Pol >

RationalFunctionParser<Pol> carl::io::parser::Parser< Pol >::ratfunParser

private

Definition at line 25 of file Parser.h.

skipper

template<typename Pol >

Skipper carl::io::parser::Parser< Pol >::skipper

private

Definition at line 23 of file Parser.h.

---

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

• carl-io/parser/Parser.h