#include <carl-arith/core/VariablePool.h>#include <carl-arith/poly/umvpoly/Term.h>#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>#include <carl-arith/interval/Interval.h>#include <gmpxx.h>
Include dependency graph for IntervalCoefficientExample.cpp:
Go to the source code of this file.
Typedefs | |
| typedef mpq_class | Rational |
| typedef mpz_class | Integer |
Functions | |
| int | main (int argc, char **argv) |
Typedef Documentation
◆ Integer
| typedef mpz_class Integer |
Definition at line 15 of file IntervalCoefficientExample.cpp.
◆ Rational
| typedef mpq_class Rational |
Definition at line 14 of file IntervalCoefficientExample.cpp.
Function Documentation
◆ main()
| int main | ( | int | argc, |
| char ** | argv | ||
| ) |
Definition at line 20 of file IntervalCoefficientExample.cpp.
Here is the call graph for this function:
