carl  24.04
Computer ARithmetic Library
carl::io::StringParser Class Reference

#include <StringParser.h>

Collaboration diagram for carl::io::StringParser:

Public Member Functions

 StringParser ()
 
const std::map< std::string, Variable > & variables () const
 
void setVariables (std::list< std::string > variables)
 
bool setImplicitMultiplicationMode (bool to)
 
void setSumOfTermsForm (bool to)
 In SumOfTermsForm, input strings are expected to be of the form "c_1 * m_1 + ... + c_n * m_n", where c_i are coefficients and m_i are monomials. More...
 
template<typename C , typename O = typename MultivariatePolynomial<C>::OrderedBy, typename P = typename MultivariatePolynomial<C>::Policy>
RationalFunction< MultivariatePolynomial< C, O, P > > parseRationalFunction (const std::string &inputString) const
 
template<typename C , typename O = typename MultivariatePolynomial<C>::OrderedBy, typename P = typename MultivariatePolynomial<C>::Policy>
MultivariatePolynomial< C, O, P > parseMultivariatePolynomial (const std::string &inputString) const
 
template<typename C >
Term< C > parseTerm (const std::string &inputStr) const
 

Protected Member Functions

template<typename C >
constructCoefficient (const std::string &inputString) const
 

Protected Attributes

bool mSingleSymbVariables
 
bool mImplicitMultiplicationMode = false
 
bool mSumOfTermsForm = true
 
std::map< std::string, VariablemVars
 

Detailed Description

Definition at line 69 of file StringParser.h.

Constructor & Destructor Documentation

◆ StringParser()

carl::io::StringParser::StringParser ( )
inline

Definition at line 78 of file StringParser.h.

Member Function Documentation

◆ constructCoefficient()

template<typename C >
C carl::io::StringParser::constructCoefficient ( const std::string &  inputString) const
inlineprotected

Definition at line 270 of file StringParser.h.

◆ parseMultivariatePolynomial()

template<typename C , typename O = typename MultivariatePolynomial<C>::OrderedBy, typename P = typename MultivariatePolynomial<C>::Policy>
MultivariatePolynomial<C, O, P> carl::io::StringParser::parseMultivariatePolynomial ( const std::string &  inputString) const
inline

Definition at line 160 of file StringParser.h.

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

◆ parseRationalFunction()

template<typename C , typename O = typename MultivariatePolynomial<C>::OrderedBy, typename P = typename MultivariatePolynomial<C>::Policy>
RationalFunction<MultivariatePolynomial<C,O,P> > carl::io::StringParser::parseRationalFunction ( const std::string &  inputString) const
inline

Definition at line 132 of file StringParser.h.

◆ parseTerm()

template<typename C >
Term<C> carl::io::StringParser::parseTerm ( const std::string &  inputStr) const
inline

Definition at line 190 of file StringParser.h.

Here is the call graph for this function:

◆ setImplicitMultiplicationMode()

bool carl::io::StringParser::setImplicitMultiplicationMode ( bool  to)
inline

Definition at line 106 of file StringParser.h.

◆ setSumOfTermsForm()

void carl::io::StringParser::setSumOfTermsForm ( bool  to)
inline

In SumOfTermsForm, input strings are expected to be of the form "c_1 * m_1 + ... + c_n * m_n", where c_i are coefficients and m_i are monomials.

Parameters
tovalue to set
Returns

Definition at line 125 of file StringParser.h.

◆ setVariables()

void carl::io::StringParser::setVariables ( std::list< std::string >  variables)
inline

Definition at line 90 of file StringParser.h.

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

◆ variables()

const std::map<std::string, Variable>& carl::io::StringParser::variables ( ) const
inline

Definition at line 86 of file StringParser.h.

Here is the caller graph for this function:

Field Documentation

◆ mImplicitMultiplicationMode

bool carl::io::StringParser::mImplicitMultiplicationMode = false
protected

Definition at line 73 of file StringParser.h.

◆ mSingleSymbVariables

bool carl::io::StringParser::mSingleSymbVariables
protected

Definition at line 72 of file StringParser.h.

◆ mSumOfTermsForm

bool carl::io::StringParser::mSumOfTermsForm = true
protected

Definition at line 74 of file StringParser.h.

◆ mVars

std::map<std::string, Variable> carl::io::StringParser::mVars
protected

Definition at line 75 of file StringParser.h.


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