ana::rejected_default_case Class Reference

#include <region-model.h>

Inheritance diagram for ana::rejected_default_case:

Collaboration diagram for ana::rejected_default_case:

Public Member Functions
	rejected_default_case (const region_model &model)
void	dump_to_pp (pretty_printer *pp) const final override
const region_model &	get_model () const

Protected Attributes
region_model	m_model

Constructor & Destructor Documentation

rejected_default_case()

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

inline

Member Function Documentation

dump_to_pp()

void ana::rejected_default_case::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 ana::rejected_constraint::m_model.

Field Documentation

m_model

region_model ana::rejected_constraint::m_model

protectedinherited

Referenced by ana::rejected_constraint::get_model().

---

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

• region-model.h