smtrat::cadcells::datastructures::Bound Class Reference

Bound type of a SymbolicInterval. More...

#include <roots.h>

Public Member Functions
bool	is_infty () const
bool	is_strict () const
bool	is_weak () const
const RootFunction &	value () const
void	set_weak ()
bool	operator== (const Bound &other) const
bool	operator!= (const Bound &other) const

Static Public Member Functions
static Bound	infty ()
static Bound	strict (RootFunction value)
static Bound	weak (RootFunction value)

Private Types
enum class	Type { infty , strict , weak }

Private Member Functions
	Bound (Type type, std::optional< RootFunction > value)

Private Attributes
Type	m_type
std::optional< RootFunction >	m_value

Detailed Description

Bound type of a SymbolicInterval.

Definition at line 205 of file roots.h.

Member Enumeration Documentation

Type

enum smtrat::cadcells::datastructures::Bound::Type

strongprivate

Enumerator
infty
strict
weak

Definition at line 206 of file roots.h.

Constructor & Destructor Documentation

Bound()

smtrat::cadcells::datastructures::Bound::Bound ( Type  type, std::optional< RootFunction >  value  )

inlineprivate

Definition at line 209 of file roots.h.

Member Function Documentation

infty()

static Bound smtrat::cadcells::datastructures::Bound::infty ( )

inlinestatic

Definition at line 212 of file roots.h.

Here is the caller graph for this function:

is_infty()

bool smtrat::cadcells::datastructures::Bound::is_infty ( ) const

inline

Definition at line 222 of file roots.h.

Here is the caller graph for this function:

is_strict()

bool smtrat::cadcells::datastructures::Bound::is_strict ( ) const

inline

Definition at line 225 of file roots.h.

Here is the caller graph for this function:

is_weak()

bool smtrat::cadcells::datastructures::Bound::is_weak ( ) const

inline

Definition at line 228 of file roots.h.

Here is the caller graph for this function:

operator!=()

bool smtrat::cadcells::datastructures::Bound::operator!= ( const Bound &  other ) const

inline

Definition at line 243 of file roots.h.

operator==()

bool smtrat::cadcells::datastructures::Bound::operator== ( const Bound &  other ) const

inline

Definition at line 239 of file roots.h.

set_weak()

void smtrat::cadcells::datastructures::Bound::set_weak ( )

inline

Definition at line 235 of file roots.h.

Here is the caller graph for this function:

strict()

static Bound smtrat::cadcells::datastructures::Bound::strict ( RootFunction  value )

inlinestatic

Definition at line 215 of file roots.h.

Here is the caller graph for this function:

value()

const RootFunction& smtrat::cadcells::datastructures::Bound::value ( ) const

inline

Definition at line 231 of file roots.h.

Here is the caller graph for this function:

weak()

static Bound smtrat::cadcells::datastructures::Bound::weak ( RootFunction  value )

inlinestatic

Definition at line 218 of file roots.h.

Here is the caller graph for this function:

Field Documentation

m_type

Type smtrat::cadcells::datastructures::Bound::m_type

private

Definition at line 207 of file roots.h.

m_value

std::optional<RootFunction> smtrat::cadcells::datastructures::Bound::m_value

private

Definition at line 208 of file roots.h.

---

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

• smtrat-cadcells/datastructures/roots.h