carl  25.04
Computer ARithmetic Library
Public Member Functions | Private Attributes
carl::contractor::Contractor< Origin, Polynomial, Number > Class Template Reference

#include <Contractor.h>

Collaboration diagram for carl::contractor::Contractor< Origin, Polynomial, Number >:
Collaboration graph
[legend]

Public Member Functions

 Contractor (const Origin &origin, const BasicConstraint< Polynomial > &c, Variable v)
 
auto var () const
 
const auto & dependees () const
 
const auto & origin () const
 
std::vector< Interval< Number > > evaluate (const std::map< Variable, Interval< Number >> &assignment) const
 
std::vector< Interval< Number > > contract (const std::map< Variable, Interval< Number >> &assignment) const
 

Private Attributes

Evaluation< Polynomial > mEvaluation
 
Interval< Number > mRelation
 
Origin mOrigin
 

Detailed Description

template<typename Origin, typename Polynomial, typename Number = double>
class carl::contractor::Contractor< Origin, Polynomial, Number >

Definition at line 188 of file Contractor.h.

Constructor & Destructor Documentation

◆ Contractor()

template<typename Origin , typename Polynomial , typename Number = double>
carl::contractor::Contractor< Origin, Polynomial, Number >::Contractor ( const Origin &  origin,
const BasicConstraint< Polynomial > &  c,
Variable  v 
)
inline

Definition at line 194 of file Contractor.h.

Here is the call graph for this function:

Member Function Documentation

◆ contract()

template<typename Origin , typename Polynomial , typename Number = double>
std::vector<Interval<Number> > carl::contractor::Contractor< Origin, Polynomial, Number >::contract ( const std::map< Variable, Interval< Number >> &  assignment) const
inline

Definition at line 236 of file Contractor.h.

Here is the call graph for this function:

◆ dependees()

template<typename Origin , typename Polynomial , typename Number = double>
const auto& carl::contractor::Contractor< Origin, Polynomial, Number >::dependees ( ) const
inline

Definition at line 224 of file Contractor.h.

◆ evaluate()

template<typename Origin , typename Polynomial , typename Number = double>
std::vector<Interval<Number> > carl::contractor::Contractor< Origin, Polynomial, Number >::evaluate ( const std::map< Variable, Interval< Number >> &  assignment) const
inline

Definition at line 231 of file Contractor.h.

Here is the caller graph for this function:

◆ origin()

template<typename Origin , typename Polynomial , typename Number = double>
const auto& carl::contractor::Contractor< Origin, Polynomial, Number >::origin ( ) const
inline

Definition at line 227 of file Contractor.h.

◆ var()

template<typename Origin , typename Polynomial , typename Number = double>
auto carl::contractor::Contractor< Origin, Polynomial, Number >::var ( ) const
inline

Definition at line 221 of file Contractor.h.

Field Documentation

◆ mEvaluation

template<typename Origin , typename Polynomial , typename Number = double>
Evaluation<Polynomial> carl::contractor::Contractor< Origin, Polynomial, Number >::mEvaluation
private

Definition at line 190 of file Contractor.h.

◆ mOrigin

template<typename Origin , typename Polynomial , typename Number = double>
Origin carl::contractor::Contractor< Origin, Polynomial, Number >::mOrigin
private

Definition at line 192 of file Contractor.h.

◆ mRelation

template<typename Origin , typename Polynomial , typename Number = double>
Interval<Number> carl::contractor::Contractor< Origin, Polynomial, Number >::mRelation
private

Definition at line 191 of file Contractor.h.

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