carl  24.04
Computer ARithmetic Library
ExpressionParserResult.h File Reference
#include <string>
#include <boost/variant/variant.hpp>
#include <carl-arith/core/Variable.h>
#include <carl-arith/poly/umvpoly/Monomial.h>
#include <carl-arith/poly/umvpoly/Term.h>
#include <carl-extpolys/RationalFunction.h>
#include <carl-formula/formula/Formula.h>
Include dependency graph for ExpressionParserResult.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

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

Typedefs

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