#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

json::object *	to_json () 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 )

Member Function Documentation

◆ cmp()

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

static

◆ 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

◆ operator!=()

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

inline

◆ operator==()

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

◆ set_json_attr()

static 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()

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