mcrl2::pres_system::detail::quantified_variable Class Reference

#include <constelm.h>

Public Member Functions
	quantified_variable (bool is_infimum, const data::variable &var)
bool	is_infimum () const
const data::variable &	variable () const
bool	operator== (const quantified_variable &other) const
bool	operator!= (const quantified_variable &other) const
bool	operator< (const quantified_variable &other) const
pres_expression	make_expr (const pres_expression &expr) const
std::string	to_string () const

Protected Attributes
bool	m_is_infimum
data::variable	m_var

Detailed Description

Definition at line 38 of file constelm.h.

Constructor & Destructor Documentation

quantified_variable()

mcrl2::pres_system::detail::quantified_variable::quantified_variable ( bool  is_infimum, const data::variable &  var  )

inline

Definition at line 45 of file constelm.h.

Member Function Documentation

is_infimum()

bool mcrl2::pres_system::detail::quantified_variable::is_infimum ( ) const

inline

Definition at line 50 of file constelm.h.

make_expr()

pres_expression mcrl2::pres_system::detail::quantified_variable::make_expr ( const pres_expression &  expr ) const

inline

Definition at line 75 of file constelm.h.

operator!=()

bool mcrl2::pres_system::detail::quantified_variable::operator!= ( const quantified_variable &  other ) const

inline

Definition at line 65 of file constelm.h.

operator<()

bool mcrl2::pres_system::detail::quantified_variable::operator< ( const quantified_variable &  other ) const

inline

Definition at line 70 of file constelm.h.

operator==()

bool mcrl2::pres_system::detail::quantified_variable::operator== ( const quantified_variable &  other ) const

inline

Definition at line 60 of file constelm.h.

to_string()

std::string mcrl2::pres_system::detail::quantified_variable::to_string ( ) const

inline

Definition at line 80 of file constelm.h.

variable()

const data::variable & mcrl2::pres_system::detail::quantified_variable::variable ( ) const

inline

Definition at line 55 of file constelm.h.

Member Data Documentation

m_is_infimum

bool mcrl2::pres_system::detail::quantified_variable::m_is_infimum

protected

Definition at line 41 of file constelm.h.

m_var

data::variable mcrl2::pres_system::detail::quantified_variable::m_var

protected

Definition at line 42 of file constelm.h.

---

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

• pres/include/mcrl2/pres/constelm.h