#include <carl-arith/interval/Interval.h>#include <carl-arith/core/VariablePool.h>#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>#include <carl-arith/poly/umvpoly/functions/IntervalEvaluation.h>#include <carl-arith/intervalcontraction/Contraction.h>#include <chrono>#include <set>#include <gmpxx.h>
Include dependency graph for IntervalContractionExample.cpp:
Go to the source code of this file.
Typedefs | |
| typedef mpq_class | Rational |
| typedef mpz_class | Integer |
| template<template< typename > class Operator> | |
| using | PolynomialContraction = Contraction< Operator, MultivariatePolynomial< Rational > > |
| using | DoubleInterval = Interval< double > |
Functions | |
| int | main (int, char **) |
Typedef Documentation
◆ DoubleInterval
| using DoubleInterval = Interval<double> |
Definition at line 32 of file IntervalContractionExample.cpp.
◆ Integer
| typedef mpz_class Integer |
Definition at line 23 of file IntervalContractionExample.cpp.
◆ PolynomialContraction
template<template< typename > class Operator>
| using PolynomialContraction = Contraction<Operator, MultivariatePolynomial<Rational> > |
Definition at line 30 of file IntervalContractionExample.cpp.
◆ Rational
| typedef mpq_class Rational |
Definition at line 22 of file IntervalContractionExample.cpp.
Function Documentation
◆ main()
| int main | ( | int | , |
| char ** | |||
| ) |
Definition at line 37 of file IntervalContractionExample.cpp.
Here is the call graph for this function:
