mcrl2::pbes_system::detail::pbes_context Class Reference

#include <pbes_context.h>

Public Member Functions
bool	is_declared (const core::identifier_string &name) const
data::sort_expression_list	propositional_variable_sorts (const core::identifier_string &name) const
template<typename PropositionalVariableContainer >
void	add_propositional_variables (const PropositionalVariableContainer &propositional_variables, const data::sort_type_checker &sort_typechecker)
void	clear ()

Private Attributes
std::map< core::identifier_string, propositional_variable >	m_propositional_variables

Detailed Description

Definition at line 21 of file pbes_context.h.

Member Function Documentation

add_propositional_variables()

template<typename PropositionalVariableContainer >

void mcrl2::pbes_system::detail::pbes_context::add_propositional_variables ( const PropositionalVariableContainer &  propositional_variables, const data::sort_type_checker &  sort_typechecker  )

inline

Definition at line 40 of file pbes_context.h.

clear()

void mcrl2::pbes_system::detail::pbes_context::clear ( )

inline

Definition at line 61 of file pbes_context.h.

is_declared()

bool mcrl2::pbes_system::detail::pbes_context::is_declared ( const core::identifier_string &  name ) const

inline

Definition at line 27 of file pbes_context.h.

propositional_variable_sorts()

data::sort_expression_list mcrl2::pbes_system::detail::pbes_context::propositional_variable_sorts ( const core::identifier_string &  name ) const

inline

Definition at line 32 of file pbes_context.h.

Member Data Documentation

m_propositional_variables

std::map<core::identifier_string, propositional_variable> mcrl2::pbes_system::detail::pbes_context::m_propositional_variables

private

Definition at line 24 of file pbes_context.h.

---

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

• pbes/include/mcrl2/pbes/detail/pbes_context.h