constraint-manager.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	ana::bound
class	ana::range
struct	ana::bounded_range
struct	ana::bounded_ranges
struct	default_hash_traits< bounded_ranges::key_t >
class	ana::bounded_ranges_manager
struct	ana::bounded_ranges_manager::hash_traits_t
struct	ana::bounded_ranges_manager::traits_t
class	ana::equiv_class
class	ana::equiv_class_id
class	ana::constraint
class	ana::fact_visitor
class	ana::bounded_ranges_constraint
class	ana::constraint_manager

Namespaces
namespace	ana

Enumerations
enum	ana::bound_kind { ana::BK_LOWER , ana::BK_UPPER }
enum	ana::constraint_op { ana::CONSTRAINT_NE , ana::CONSTRAINT_LT , ana::CONSTRAINT_LE }

Functions
const char *	ana::constraint_op_code (enum constraint_op c_op)