carl::RealAlgebraicNumberThom< Number > Struct Template Reference

#include <ran_thom.h>

Collaboration diagram for carl::RealAlgebraicNumberThom< Number >:

Data Structures
struct	Content

Public Member Functions
	RealAlgebraicNumberThom (const ThomEncoding< Number > &te)
auto &	thom_encoding ()
const auto &	thom_encoding () const
const auto &	polynomial () const
const auto &	main_var () const
auto	sign_condition () const
const auto &	point () const
std::size_t	bitsize () const
std::size_t	dimension () const
bool	is_integral () const
bool	is_zero () const
bool	contained_in (const Interval< Number > &i) const
Number	integer_below () const
Sign	sgn () const
Sign	sgn (const UnivariatePolynomial< Number > &p) const

Private Attributes
std::shared_ptr< Content >	mContent

Friends
template<typename Num >
bool	operator== (const RealAlgebraicNumberThom< Num > &lhs, const RealAlgebraicNumberThom< Num > &rhs)
template<typename Num >
bool	operator< (const RealAlgebraicNumberThom< Num > &lhs, const RealAlgebraicNumberThom< Num > &rhs)

Detailed Description

template<typename Number>
struct carl::RealAlgebraicNumberThom< Number >

Definition at line 14 of file ran_thom.h.

Constructor & Destructor Documentation

RealAlgebraicNumberThom()

template<typename Number >

carl::RealAlgebraicNumberThom< Number >::RealAlgebraicNumberThom ( const ThomEncoding< Number > &  te )

inline

Definition at line 29 of file ran_thom.h.

Member Function Documentation

bitsize()

template<typename Number >

std::size_t carl::RealAlgebraicNumberThom< Number >::bitsize ( ) const

inline

Definition at line 53 of file ran_thom.h.

contained_in()

template<typename Number >

bool carl::RealAlgebraicNumberThom< Number >::contained_in ( const Interval< Number > &  i ) const

inline

Definition at line 67 of file ran_thom.h.

dimension()

template<typename Number >

std::size_t carl::RealAlgebraicNumberThom< Number >::dimension ( ) const

inline

Definition at line 57 of file ran_thom.h.

integer_below()

template<typename Number >

Number carl::RealAlgebraicNumberThom< Number >::integer_below ( ) const

inline

Definition at line 71 of file ran_thom.h.

is_integral()

template<typename Number >

bool carl::RealAlgebraicNumberThom< Number >::is_integral ( ) const

inline

Definition at line 61 of file ran_thom.h.

is_zero()

template<typename Number >

bool carl::RealAlgebraicNumberThom< Number >::is_zero ( ) const

inline

Definition at line 64 of file ran_thom.h.

main_var()

template<typename Number >

const auto& carl::RealAlgebraicNumberThom< Number >::main_var ( ) const

inline

Definition at line 43 of file ran_thom.h.

point()

template<typename Number >

const auto& carl::RealAlgebraicNumberThom< Number >::point ( ) const

inline

Definition at line 49 of file ran_thom.h.

polynomial()

template<typename Number >

const auto& carl::RealAlgebraicNumberThom< Number >::polynomial ( ) const

inline

Definition at line 40 of file ran_thom.h.

sgn() [1/2]

template<typename Number >

Sign carl::RealAlgebraicNumberThom< Number >::sgn ( ) const

inline

Definition at line 74 of file ran_thom.h.

sgn() [2/2]

template<typename Number >

Sign carl::RealAlgebraicNumberThom< Number >::sgn ( const UnivariatePolynomial< Number > &  p ) const

inline

Definition at line 77 of file ran_thom.h.

sign_condition()

template<typename Number >

auto carl::RealAlgebraicNumberThom< Number >::sign_condition ( ) const

inline

Definition at line 46 of file ran_thom.h.

thom_encoding() [1/2]

template<typename Number >

auto& carl::RealAlgebraicNumberThom< Number >::thom_encoding ( )

inline

Definition at line 33 of file ran_thom.h.

thom_encoding() [2/2]

template<typename Number >

const auto& carl::RealAlgebraicNumberThom< Number >::thom_encoding ( ) const

inline

Definition at line 36 of file ran_thom.h.

Friends And Related Function Documentation

operator<

template<typename Number >

template<typename Num >

bool operator< ( const RealAlgebraicNumberThom< Num > &  lhs, const RealAlgebraicNumberThom< Num > &  rhs  )

friend

operator==

template<typename Number >

template<typename Num >

bool operator== ( const RealAlgebraicNumberThom< Num > &  lhs, const RealAlgebraicNumberThom< Num > &  rhs  )

friend

Field Documentation

mContent

template<typename Number >

std::shared_ptr<Content> carl::RealAlgebraicNumberThom< Number >::mContent

private

Definition at line 27 of file ran_thom.h.

---

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

• carl-arith/ran/thom/ran_thom.h