ana::rejected_constraint Class Reference

#include <region-model.h>

Inheritance diagram for ana::rejected_constraint:

Collaboration diagram for ana::rejected_constraint:

Public Member Functions
virtual	~rejected_constraint ()
virtual void	dump_to_pp (pretty_printer *pp) const =0
const region_model &	get_model () const

Protected Member Functions
	rejected_constraint (const region_model &model)

Protected Attributes
region_model	m_model

Detailed Description

A record that can (optionally) be written out when
region_model::add_constraint fails.   

Constructor & Destructor Documentation

~rejected_constraint()

virtual ana::rejected_constraint::~rejected_constraint ( )

inlinevirtual

rejected_constraint()

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

inlineprotected

Member Function Documentation

dump_to_pp()

virtual void ana::rejected_constraint::dump_to_pp ( pretty_printer * pp ) const

pure virtual

Implemented in ana::rejected_op_constraint, ana::rejected_default_case, and ana::rejected_ranges_constraint.

get_model()

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

inline

References m_model.

Field Documentation

m_model

region_model ana::rejected_constraint::m_model

protected

Referenced by get_model().

---

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

• region-model.h