carl::ran::interval::ran_evaluator< Number > Class Template Reference

#include <ran_interval_extra.h>

Collaboration diagram for carl::ran::interval::ran_evaluator< Number >:

Public Member Functions
	ran_evaluator (const MultivariatePolynomial< Number > &p)
bool	assign (const std::map< Variable, IntRepRealAlgebraicNumber< Number >> &m, bool refine_model=true)
bool	assign (Variable var, const IntRepRealAlgebraicNumber< Number > &ran, bool refine_model=true)
bool	has_value () const
auto	value ()

Private Attributes
Variable	m_var
MultivariatePolynomial< Number >	m_original_poly
UnivariatePolynomial< MultivariatePolynomial< Number > >	m_poly
std::map< Variable, const IntRepRealAlgebraicNumber< Number > & >	m_ir_assignments

Detailed Description

template<typename Number>
class carl::ran::interval::ran_evaluator< Number >

Definition at line 17 of file ran_interval_extra.h.

Constructor & Destructor Documentation

ran_evaluator()

template<typename Number >

carl::ran::interval::ran_evaluator< Number >::ran_evaluator ( const MultivariatePolynomial< Number > &  p )

inline

Definition at line 25 of file ran_interval_extra.h.

Member Function Documentation

assign() [1/2]

template<typename Number >

bool carl::ran::interval::ran_evaluator< Number >::assign ( const std::map< Variable, IntRepRealAlgebraicNumber< Number >> &  m, bool  refine_model = true  )

inline

Definition at line 31 of file ran_interval_extra.h.

assign() [2/2]

template<typename Number >

bool carl::ran::interval::ran_evaluator< Number >::assign ( Variable  var, const IntRepRealAlgebraicNumber< Number > &  ran, bool  refine_model = true  )

inline

Definition at line 58 of file ran_interval_extra.h.

Here is the call graph for this function:

has_value()

template<typename Number >

bool carl::ran::interval::ran_evaluator< Number >::has_value ( ) const

inline

Definition at line 92 of file ran_interval_extra.h.

Here is the call graph for this function:

value()

template<typename Number >

auto carl::ran::interval::ran_evaluator< Number >::value ( )

inline

Definition at line 96 of file ran_interval_extra.h.

Here is the call graph for this function:

Field Documentation

m_ir_assignments

template<typename Number >

std::map<Variable, const IntRepRealAlgebraicNumber<Number>&> carl::ran::interval::ran_evaluator< Number >::m_ir_assignments

private

Definition at line 22 of file ran_interval_extra.h.

m_original_poly

template<typename Number >

MultivariatePolynomial<Number> carl::ran::interval::ran_evaluator< Number >::m_original_poly

private

Definition at line 20 of file ran_interval_extra.h.

m_poly

template<typename Number >

UnivariatePolynomial<MultivariatePolynomial<Number> > carl::ran::interval::ran_evaluator< Number >::m_poly

private

Definition at line 21 of file ran_interval_extra.h.

m_var

template<typename Number >

Variable carl::ran::interval::ran_evaluator< Number >::m_var

private

Definition at line 19 of file ran_interval_extra.h.

---

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

• carl-arith/ran/interval/ran_interval_extra.h