| carl
    25.04
    Computer ARithmetic Library | 
#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>

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 > > |