smtrat::cadcells::datastructures::DelineationInterval Class Reference

An interval of a delineation. More...

#include <delineation.h>

Public Member Functions
bool	is_section () const
bool	is_sector () const
const auto &	lower () const
bool	lower_unbounded () const
bool	lower_strict () const
const auto &	upper () const
bool	upper_unbounded () const
bool	upper_strict () const
bool	contains (const RAN &sample) const

Private Member Functions
	DelineationInterval (RootMap::const_iterator &&lower, RootMap::const_iterator &&upper, RootMap::const_iterator &&end, bool lower_strict, bool upper_strict)

Private Attributes
RootMap::const_iterator	m_lower
RootMap::const_iterator	m_upper
RootMap::const_iterator	m_end
bool	m_lower_strict
bool	m_upper_strict

Friends
class	Delineation

Detailed Description

An interval of a delineation.

Definition at line 37 of file delineation.h.

Constructor & Destructor Documentation

DelineationInterval()

smtrat::cadcells::datastructures::DelineationInterval::DelineationInterval ( RootMap::const_iterator &&  lower, RootMap::const_iterator &&  upper, RootMap::const_iterator &&  end, bool  lower_strict, bool  upper_strict  )

inlineprivate

Definition at line 44 of file delineation.h.

Here is the call graph for this function:

Member Function Documentation

contains()

bool smtrat::cadcells::datastructures::DelineationInterval::contains ( const RAN &  sample ) const

inline

Definition at line 81 of file delineation.h.

Here is the call graph for this function:

is_section()

bool smtrat::cadcells::datastructures::DelineationInterval::is_section ( ) const

inline

Definition at line 51 of file delineation.h.

Here is the caller graph for this function:

is_sector()

bool smtrat::cadcells::datastructures::DelineationInterval::is_sector ( ) const

inline

Definition at line 55 of file delineation.h.

Here is the call graph for this function:

lower()

const auto& smtrat::cadcells::datastructures::DelineationInterval::lower ( ) const

inline

Definition at line 59 of file delineation.h.

Here is the caller graph for this function:

lower_strict()

bool smtrat::cadcells::datastructures::DelineationInterval::lower_strict ( ) const

inline

Definition at line 66 of file delineation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

lower_unbounded()

bool smtrat::cadcells::datastructures::DelineationInterval::lower_unbounded ( ) const

inline

Definition at line 63 of file delineation.h.

Here is the caller graph for this function:

upper()

const auto& smtrat::cadcells::datastructures::DelineationInterval::upper ( ) const

inline

Definition at line 70 of file delineation.h.

Here is the caller graph for this function:

upper_strict()

bool smtrat::cadcells::datastructures::DelineationInterval::upper_strict ( ) const

inline

Definition at line 77 of file delineation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

upper_unbounded()

bool smtrat::cadcells::datastructures::DelineationInterval::upper_unbounded ( ) const

inline

Definition at line 74 of file delineation.h.

Here is the caller graph for this function:

Friends And Related Function Documentation

Delineation

friend class Delineation

friend

Definition at line 48 of file delineation.h.

Field Documentation

m_end

RootMap::const_iterator smtrat::cadcells::datastructures::DelineationInterval::m_end

private

Definition at line 40 of file delineation.h.

m_lower

RootMap::const_iterator smtrat::cadcells::datastructures::DelineationInterval::m_lower

private

Definition at line 38 of file delineation.h.

m_lower_strict

bool smtrat::cadcells::datastructures::DelineationInterval::m_lower_strict

private

Definition at line 41 of file delineation.h.

m_upper

RootMap::const_iterator smtrat::cadcells::datastructures::DelineationInterval::m_upper

private

Definition at line 39 of file delineation.h.

m_upper_strict

bool smtrat::cadcells::datastructures::DelineationInterval::m_upper_strict

private

Definition at line 42 of file delineation.h.

---

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

• smtrat-cadcells/datastructures/delineation.h