carl  24.04
Computer ARithmetic Library
Public Member Functions | Static Public Member Functions | Private Attributes
carl::vs::Term< Poly > Class Template Reference

#include <term.h>

Public Member Functions

 Term (TermType type, std::optional< SqrtEx< Poly >> sqrt_ex)
 
bool is_normal () const
 
bool is_plus_eps () const
 
bool is_minus_infty () const
 
bool is_plus_infty () const
 
const SqrtEx< Poly > sqrt_ex () const
 
TermType type () const
 
bool operator== (const Term &) const
 

Static Public Member Functions

static Term normal (const SqrtEx< Poly > &sqrt_ex)
 
static Term plus_eps (const SqrtEx< Poly > &sqrt_ex)
 
static Term minus_infty ()
 
static Term plus_infty ()
 

Private Attributes

TermType m_type
 The substitution type. More...
 
std::optional< SqrtEx< Poly > > m_sqrt_ex
 A square root expression. More...
 

Detailed Description

template<class Poly>
class carl::vs::Term< Poly >

Definition at line 15 of file term.h.

Constructor & Destructor Documentation

◆ Term()

template<class Poly >
carl::vs::Term< Poly >::Term ( TermType  type,
std::optional< SqrtEx< Poly >>  sqrt_ex 
)
inline

Definition at line 23 of file term.h.

Here is the caller graph for this function:

Member Function Documentation

◆ is_minus_infty()

template<class Poly >
bool carl::vs::Term< Poly >::is_minus_infty ( ) const
inline

Definition at line 50 of file term.h.

Here is the caller graph for this function:

◆ is_normal()

template<class Poly >
bool carl::vs::Term< Poly >::is_normal ( ) const
inline

Definition at line 42 of file term.h.

Here is the caller graph for this function:

◆ is_plus_eps()

template<class Poly >
bool carl::vs::Term< Poly >::is_plus_eps ( ) const
inline

Definition at line 46 of file term.h.

Here is the caller graph for this function:

◆ is_plus_infty()

template<class Poly >
bool carl::vs::Term< Poly >::is_plus_infty ( ) const
inline

Definition at line 54 of file term.h.

◆ minus_infty()

template<class Poly >
static Term carl::vs::Term< Poly >::minus_infty ( )
inlinestatic

Definition at line 34 of file term.h.

Here is the call graph for this function:

◆ normal()

template<class Poly >
static Term carl::vs::Term< Poly >::normal ( const SqrtEx< Poly > &  sqrt_ex)
inlinestatic

Definition at line 26 of file term.h.

Here is the call graph for this function:

◆ operator==()

template<class Poly >
bool carl::vs::Term< Poly >::operator== ( const Term< Poly > &  ) const

◆ plus_eps()

template<class Poly >
static Term carl::vs::Term< Poly >::plus_eps ( const SqrtEx< Poly > &  sqrt_ex)
inlinestatic

Definition at line 30 of file term.h.

Here is the call graph for this function:

◆ plus_infty()

template<class Poly >
static Term carl::vs::Term< Poly >::plus_infty ( )
inlinestatic

Definition at line 38 of file term.h.

Here is the call graph for this function:

◆ sqrt_ex()

template<class Poly >
const SqrtEx<Poly> carl::vs::Term< Poly >::sqrt_ex ( ) const
inline

Definition at line 58 of file term.h.

Here is the caller graph for this function:

◆ type()

template<class Poly >
TermType carl::vs::Term< Poly >::type ( ) const
inline

Definition at line 62 of file term.h.

Here is the caller graph for this function:

Field Documentation

◆ m_sqrt_ex

template<class Poly >
std::optional<SqrtEx<Poly> > carl::vs::Term< Poly >::m_sqrt_ex
private

A square root expression.

Definition at line 20 of file term.h.

◆ m_type

template<class Poly >
TermType carl::vs::Term< Poly >::m_type
private

The substitution type.

Definition at line 18 of file term.h.

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