ana::bounded_range Struct Reference

#include <constraint-manager.h>

Public Member Functions
	bounded_range (const_tree lower, const_tree upper)
void	dump_to_pp (pretty_printer *pp, bool show_types) const
void	dump (bool show_types) const
std::unique_ptr< json::object >	to_json () const
std::unique_ptr< text_art::widget >	make_dump_widget (const text_art::dump_widget_info &dwi) const
bool	contains_p (tree cst) const
bool	intersects_p (const bounded_range &other, bounded_range *out) const
bool	operator== (const bounded_range &other) const
bool	operator!= (const bounded_range &other) const
bool	singleton_p () const

Static Public Member Functions
static int	cmp (const bounded_range &a, const bounded_range &b)

Data Fields
tree	m_lower
tree	m_upper

Static Private Member Functions
static void	set_json_attr (json::object &obj, const char *name, tree value)

Detailed Description

A closed range of values with constant integer bounds
e.g. [3, 5] for the set {3, 4, 5}.   

Constructor & Destructor Documentation

bounded_range()

ana::bounded_range::bounded_range	(	const_tree	lower,
		const_tree	upper )

References ana::lower, and ana::upper.

Referenced by cmp(), intersects_p(), operator!=(), and operator==().

Member Function Documentation

cmp()

int ana::bounded_range::cmp ( const bounded_range & a, const bounded_range & b )

static

References a, b, and bounded_range().

contains_p()

bool ana::bounded_range::contains_p

(

tree

cst

)

const

dump()

void ana::bounded_range::dump

(

bool

show_types

)

const

dump_to_pp()

void ana::bounded_range::dump_to_pp	(	pretty_printer *	pp,
		bool	show_types ) const

intersects_p()

bool ana::bounded_range::intersects_p	(	const bounded_range &	other,
		bounded_range *	out ) const

References bounded_range().

make_dump_widget()

std::unique_ptr< text_art::widget > ana::bounded_range::make_dump_widget

(

const text_art::dump_widget_info &

dwi

)

const

operator!=()

bool ana::bounded_range::operator!= ( const bounded_range & other ) const

inline

References bounded_range().

operator==()

bool ana::bounded_range::operator==

(

const bounded_range &

other

)

const

References bounded_range().

set_json_attr()

void ana::bounded_range::set_json_attr ( json::object & obj, const char * name, tree value )

staticprivate

singleton_p()

bool ana::bounded_range::singleton_p ( ) const

inline

References m_lower, m_upper, and tree_int_cst_equal().

to_json()

std::unique_ptr< json::object > ana::bounded_range::to_json

(

)

const

Field Documentation

m_lower

tree ana::bounded_range::m_lower

Referenced by singleton_p().

m_upper

tree ana::bounded_range::m_upper

Referenced by singleton_p().

---

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

• constraint-manager.h