ana::rejected_ranges_constraint Class Reference

#include <region-model.h>

Inheritance diagram for ana::rejected_ranges_constraint:

Collaboration diagram for ana::rejected_ranges_constraint:

Public Member Functions
	rejected_ranges_constraint (const region_model &model, tree expr, const bounded_ranges *ranges)
void	dump_to_pp (pretty_printer *pp) const final override
const region_model &	get_model () const

Protected Attributes
region_model	m_model

Private Attributes
tree	m_expr
const bounded_ranges *	m_ranges

Constructor & Destructor Documentation

rejected_ranges_constraint()

ana::rejected_ranges_constraint::rejected_ranges_constraint ( const region_model & model, tree expr, const bounded_ranges * ranges )

inline

References m_expr, m_ranges, and ana::rejected_constraint::rejected_constraint().

Member Function Documentation

dump_to_pp()

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

finaloverridevirtual

Implements ana::rejected_constraint.

get_model()

const region_model & ana::rejected_constraint::get_model ( ) const

inlineinherited

References m_model.

Field Documentation

m_expr

tree ana::rejected_ranges_constraint::m_expr

private

Referenced by rejected_ranges_constraint().

m_model

region_model ana::rejected_constraint::m_model

protectedinherited

Referenced by get_model(), and rejected_constraint().

m_ranges

const bounded_ranges* ana::rejected_ranges_constraint::m_ranges

private

Referenced by rejected_ranges_constraint().

---

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

• region-model.h