ana::bounded_ranges_constraint Class Reference

#include <constraint-manager.h>

Collaboration diagram for ana::bounded_ranges_constraint:

Public Member Functions
	bounded_ranges_constraint (equiv_class_id ec_id, const bounded_ranges *ranges)
void	print (pretty_printer *pp, const constraint_manager &cm) const
json::object *	to_json () const
bool	operator== (const bounded_ranges_constraint &other) const
bool	operator!= (const bounded_ranges_constraint &other) const
void	add_to_hash (inchash::hash *hstate) const

Data Fields
equiv_class_id	m_ec_id
const bounded_ranges *	m_ranges

Constructor & Destructor Documentation

bounded_ranges_constraint()

ana::bounded_ranges_constraint::bounded_ranges_constraint ( equiv_class_id ec_id, const bounded_ranges * ranges )

inline

Member Function Documentation

add_to_hash()

void ana::bounded_ranges_constraint::add_to_hash

(

inchash::hash *

hstate

)

const

operator!=()

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

inline

operator==()

bool ana::bounded_ranges_constraint::operator==

(

const bounded_ranges_constraint &

other

)

const

print()

void ana::bounded_ranges_constraint::print	(	pretty_printer *	pp,
		const constraint_manager &	cm ) const

to_json()

json::object * ana::bounded_ranges_constraint::to_json

(

)

const

Field Documentation

m_ec_id

equiv_class_id ana::bounded_ranges_constraint::m_ec_id

m_ranges

const bounded_ranges* ana::bounded_ranges_constraint::m_ranges

---

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

• constraint-manager.h