carl  24.04
Computer ARithmetic Library
Public Member Functions | Private Attributes
carl::Contraction< Operator, Polynomial > Class Template Reference

#include <Contraction.h>

Inheritance diagram for carl::Contraction< Operator, Polynomial >:
Inheritance graph
[legend]
Collaboration diagram for carl::Contraction< Operator, Polynomial >:
Collaboration graph
[legend]

Public Member Functions

 Contraction ()=delete
 
 Contraction (const Polynomial &constraint)
 
 Contraction (const Polynomial &constraint, const Polynomial &_original)
 
 Contraction (const Contraction &)=delete
 
 Contraction (Contraction &&_contraction)
 
Contraction & operator= (const Contraction &)=delete
 
Contraction & operator= (Contraction &&)=delete
 
 ~Contraction ()
 
const Polynomial & polynomial () const
 
bool operator() (const Interval< double >::evalintervalmap &intervals, Variable::Arg variable, Interval< double > &resA, Interval< double > &resB, bool useNiceCenter=false, bool usePropagation=false)
 

Private Attributes

Polynomial mConstraint
 
Polynomial * mpOriginal
 
std::map< Variable, Polynomial > mDerivatives
 
std::map< Variable, VarSolutionFormula< Polynomial > > mVarSolutionFormulas
 
std::map< Polynomial, MultivariateHorner< Polynomial, strategy > > mHornerSchemes
 

Detailed Description

template<template< typename > class Operator, typename Polynomial>
class carl::Contraction< Operator, Polynomial >

Definition at line 242 of file Contraction.h.

Constructor & Destructor Documentation

◆ Contraction() [1/5]

template<template< typename > class Operator, typename Polynomial >
carl::Contraction< Operator, Polynomial >::Contraction ( )
delete

◆ Contraction() [2/5]

template<template< typename > class Operator, typename Polynomial >
carl::Contraction< Operator, Polynomial >::Contraction ( const Polynomial &  constraint)
inline

Definition at line 258 of file Contraction.h.

◆ Contraction() [3/5]

template<template< typename > class Operator, typename Polynomial >
carl::Contraction< Operator, Polynomial >::Contraction ( const Polynomial &  constraint,
const Polynomial &  _original 
)
inline

Definition at line 270 of file Contraction.h.

◆ Contraction() [4/5]

template<template< typename > class Operator, typename Polynomial >
carl::Contraction< Operator, Polynomial >::Contraction ( const Contraction< Operator, Polynomial > &  )
delete

◆ Contraction() [5/5]

template<template< typename > class Operator, typename Polynomial >
carl::Contraction< Operator, Polynomial >::Contraction ( Contraction< Operator, Polynomial > &&  _contraction)
inline

Definition at line 283 of file Contraction.h.

◆ ~Contraction()

template<template< typename > class Operator, typename Polynomial >
carl::Contraction< Operator, Polynomial >::~Contraction ( )
inline

Definition at line 300 of file Contraction.h.

Member Function Documentation

◆ operator()()

template<template< typename > class Operator, typename Polynomial >
bool carl::Contraction< Operator, Polynomial >::operator() ( const Interval< double >::evalintervalmap &  intervals,
Variable::Arg  variable,
Interval< double > &  resA,
Interval< double > &  resB,
bool  useNiceCenter = false,
bool  usePropagation = false 
)
inline

Definition at line 311 of file Contraction.h.

Here is the call graph for this function:

◆ operator=() [1/2]

template<template< typename > class Operator, typename Polynomial >
Contraction& carl::Contraction< Operator, Polynomial >::operator= ( const Contraction< Operator, Polynomial > &  )
delete

◆ operator=() [2/2]

template<template< typename > class Operator, typename Polynomial >
Contraction& carl::Contraction< Operator, Polynomial >::operator= ( Contraction< Operator, Polynomial > &&  )
delete

◆ polynomial()

template<template< typename > class Operator, typename Polynomial >
const Polynomial& carl::Contraction< Operator, Polynomial >::polynomial ( ) const
inline

Definition at line 306 of file Contraction.h.

Field Documentation

◆ mConstraint

template<template< typename > class Operator, typename Polynomial >
Polynomial carl::Contraction< Operator, Polynomial >::mConstraint
private

Definition at line 245 of file Contraction.h.

◆ mDerivatives

template<template< typename > class Operator, typename Polynomial >
std::map<Variable, Polynomial> carl::Contraction< Operator, Polynomial >::mDerivatives
private

Definition at line 251 of file Contraction.h.

◆ mHornerSchemes

template<template< typename > class Operator, typename Polynomial >
std::map<Polynomial, MultivariateHorner<Polynomial,strategy> > carl::Contraction< Operator, Polynomial >::mHornerSchemes
private

Definition at line 254 of file Contraction.h.

◆ mpOriginal

template<template< typename > class Operator, typename Polynomial >
Polynomial* carl::Contraction< Operator, Polynomial >::mpOriginal
private

Definition at line 246 of file Contraction.h.

◆ mVarSolutionFormulas

template<template< typename > class Operator, typename Polynomial >
std::map<Variable, VarSolutionFormula<Polynomial> > carl::Contraction< Operator, Polynomial >::mVarSolutionFormulas
private

Definition at line 253 of file Contraction.h.

The documentation for this class was generated from the following file: