#include <constraint-manager.h>

Collaboration diagram for ana::bounded_ranges_constraint:

[legend]

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
std::unique_ptr< 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
std::unique_ptr< text_art::tree_widget >	make_dump_widget (const text_art::dump_widget_info &dwi) 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

References m_ec_id, and m_ranges.

Referenced by operator!=(), and operator==().

Member Function Documentation

◆ add_to_hash()

void ana::bounded_ranges_constraint::add_to_hash ( inchash::hash * hstate ) const

◆ make_dump_widget()

std::unique_ptr< text_art::tree_widget > ana::bounded_ranges_constraint::make_dump_widget ( const text_art::dump_widget_info & dwi ) const

◆ operator!=()

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

inline

References bounded_ranges_constraint().

◆ operator==()

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

References bounded_ranges_constraint().

◆ print()

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

◆ to_json()

std::unique_ptr< json::object > ana::bounded_ranges_constraint::to_json ( ) const

Field Documentation

◆ m_ec_id

equiv_class_id ana::bounded_ranges_constraint::m_ec_id

Referenced by bounded_ranges_constraint().

◆ m_ranges

const bounded_ranges* ana::bounded_ranges_constraint::m_ranges