#include <constraint-manager.h>

Collaboration diagram for ana::range:

Public Member Functions
	range ()

	range (const bound &lower, const bound &upper)

void	dump_to_pp (pretty_printer *pp) const

void	dump () const

tree	constrained_to_single_element ()

tristate	eval_condition (enum tree_code op, tree rhs_const) const

bool	below_lower_bound (tree rhs_const) const

bool	above_upper_bound (tree rhs_const) const

bool	add_bound (bound b, enum bound_kind bound_kind)

bool	add_bound (enum tree_code op, tree rhs_const)

Private Attributes
bound	m_lower_bound

bound	m_upper_bound

Detailed Description

A range of values, used for determining if a value has been
constrained to just one possible constant value.

Constructor & Destructor Documentation

◆ range() [1/2]

ana::range::range ( )

inline

◆ range() [2/2]

ana::range::range	(	const bound &	lower,
		const bound &	upper )

inline

Member Function Documentation

◆ above_upper_bound()

bool ana::range::above_upper_bound ( tree rhs_const ) const

◆ add_bound() [1/2]

bool ana::range::add_bound	(	bound	b,
		enum bound_kind	bound_kind )

◆ add_bound() [2/2]

bool ana::range::add_bound	(	enum tree_code	op,
		tree	rhs_const )

◆ below_lower_bound()

bool ana::range::below_lower_bound ( tree rhs_const ) const

◆ constrained_to_single_element()

tree ana::range::constrained_to_single_element ( )

◆ dump()

void ana::range::dump ( ) const

◆ dump_to_pp()

void ana::range::dump_to_pp ( pretty_printer * pp ) const

◆ eval_condition()

tristate ana::range::eval_condition	(	enum tree_code	op,
		tree	rhs_const ) const

Field Documentation

◆ m_lower_bound

bound ana::range::m_lower_bound

private

◆ m_upper_bound

bound ana::range::m_upper_bound