carl
24.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 > > |