ana::bounded_ranges_manager Class Reference

#include <constraint-manager.h>

Collaboration diagram for ana::bounded_ranges_manager:

Data Structures
struct	hash_traits_t
struct	traits_t

Public Member Functions
	~bounded_ranges_manager ()
const bounded_ranges *	get_or_create_empty ()
const bounded_ranges *	get_or_create_point (const_tree value)
const bounded_ranges *	get_or_create_range (const_tree lower_bound, const_tree upper_bound)
const bounded_ranges *	get_or_create_union (const vec< const bounded_ranges * > &others)
const bounded_ranges *	get_or_create_intersection (const bounded_ranges *a, const bounded_ranges *b)
const bounded_ranges *	get_or_create_inverse (const bounded_ranges *other, tree type)
void	log_stats (logger *logger, bool show_objs) const
const bounded_ranges *	make_case_label_ranges (const gswitch *switch_stmt, tree case_label)

Private Types
typedef hash_map< bounded_ranges *, bounded_ranges *, traits_t >	map_t

Private Member Functions
const bounded_ranges *	consolidate (bounded_ranges *)

Private Attributes
map_t	m_map

Detailed Description

An object to own and consolidate bounded_ranges instances.   

Member Typedef Documentation

map_t

typedef hash_map<bounded_ranges *, bounded_ranges *, traits_t> ana::bounded_ranges_manager::map_t

private

Constructor & Destructor Documentation

~bounded_ranges_manager()

ana::bounded_ranges_manager::~bounded_ranges_manager

(

)

Member Function Documentation

consolidate()

const bounded_ranges * ana::bounded_ranges_manager::consolidate ( bounded_ranges * )

private

get_or_create_empty()

const bounded_ranges * ana::bounded_ranges_manager::get_or_create_empty

(

)

get_or_create_intersection()

const bounded_ranges * ana::bounded_ranges_manager::get_or_create_intersection	(	const bounded_ranges *	a,
		const bounded_ranges *	b )

References a, and b.

get_or_create_inverse()

const bounded_ranges * ana::bounded_ranges_manager::get_or_create_inverse	(	const bounded_ranges *	other,
		tree	type )

get_or_create_point()

const bounded_ranges * ana::bounded_ranges_manager::get_or_create_point

(

const_tree

value

)

get_or_create_range()

const bounded_ranges * ana::bounded_ranges_manager::get_or_create_range	(	const_tree	lower_bound,
		const_tree	upper_bound )

get_or_create_union()

const bounded_ranges * ana::bounded_ranges_manager::get_or_create_union

(

const vec< const bounded_ranges * > &

others

)

log_stats()

void ana::bounded_ranges_manager::log_stats	(	logger *	logger,
		bool	show_objs ) const

make_case_label_ranges()

const bounded_ranges * ana::bounded_ranges_manager::make_case_label_ranges	(	const gswitch *	switch_stmt,
		tree	case_label )

Field Documentation

m_map

map_t ana::bounded_ranges_manager::m_map

private

---

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

• constraint-manager.h