carl::ran::interval::LazardEvaluation< Rational, Poly > Class Template Reference

#include <LazardEvaluation.h>

Public Member Functions
	LazardEvaluation (const Poly &p)
auto	substitute (Variable v, const IntRepRealAlgebraicNumber< Rational > &r, bool divideZeroFactors=true)
const auto &	getLiftingPoly () const

Private Attributes
FieldExtensions< Rational, Poly >	mFieldExtensions
Poly	mLiftingPoly

Detailed Description

template<typename Rational, typename Poly>
class carl::ran::interval::LazardEvaluation< Rational, Poly >

Definition at line 10 of file LazardEvaluation.h.

Constructor & Destructor Documentation

LazardEvaluation()

template<typename Rational , typename Poly >

carl::ran::interval::LazardEvaluation< Rational, Poly >::LazardEvaluation ( const Poly &  p )

inline

Definition at line 16 of file LazardEvaluation.h.

Member Function Documentation

getLiftingPoly()

template<typename Rational , typename Poly >

const auto& carl::ran::interval::LazardEvaluation< Rational, Poly >::getLiftingPoly ( ) const

inline

Definition at line 45 of file LazardEvaluation.h.

substitute()

template<typename Rational , typename Poly >

auto carl::ran::interval::LazardEvaluation< Rational, Poly >::substitute ( Variable  v, const IntRepRealAlgebraicNumber< Rational > &  r, bool  divideZeroFactors = true  )

inline

Definition at line 18 of file LazardEvaluation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

mFieldExtensions

template<typename Rational , typename Poly >

FieldExtensions<Rational,Poly> carl::ran::interval::LazardEvaluation< Rational, Poly >::mFieldExtensions

private

Definition at line 12 of file LazardEvaluation.h.

mLiftingPoly

template<typename Rational , typename Poly >

Poly carl::ran::interval::LazardEvaluation< Rational, Poly >::mLiftingPoly

private

Definition at line 13 of file LazardEvaluation.h.

---

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

• carl-arith/ran/interval/helper/LazardEvaluation.h