mcrl2::pbes_system::detail::typecheck_builder Struct Reference

#include <typecheck.h>

Inheritance diagram for mcrl2::pbes_system::detail::typecheck_builder:

Public Types
typedef pbes_expression_builder< typecheck_builder >	super
Public Types inherited from mcrl2::pbes_system::add_pbes_expressions< Builder, Derived >
typedef Builder< Derived >	super

Public Member Functions
	typecheck_builder (data::data_type_checker &data_typechecker, const data::detail::variable_context &variables, const detail::pbes_context &pbes_context)
template<class T >
void	apply (T &result, const data::data_expression &x)
template<class T >
void	apply (T &result, const forall &x)
template<class T >
void	apply (T &result, const exists &x)
template<class T >
void	apply (T &result, const propositional_variable_instantiation &x)
template<class T >
void	apply (T &result, const data::untyped_data_parameter &x)
Public Member Functions inherited from mcrl2::pbes_system::add_pbes_expressions< Builder, Derived >
void	update (pbes_system::pbes_equation &x)
void	update (pbes_system::pbes &x)
template<class T >
void	apply (T &result, const pbes_system::propositional_variable_instantiation &x)
template<class T >
void	apply (T &result, const pbes_system::not_ &x)
template<class T >
void	apply (T &result, const pbes_system::and_ &x)
template<class T >
void	apply (T &result, const pbes_system::or_ &x)
template<class T >
void	apply (T &result, const pbes_system::imp &x)
template<class T >
void	apply (T &result, const pbes_system::forall &x)
template<class T >
void	apply (T &result, const pbes_system::exists &x)
template<class T >
void	apply (T &result, const pbes_system::pbes_expression &x)

Public Attributes
data::data_type_checker &	m_data_type_checker
data::detail::variable_context	m_variable_context
const detail::pbes_context &	m_pbes_context

Detailed Description

Definition at line 28 of file typecheck.h.

Member Typedef Documentation

super

typedef pbes_expression_builder<typecheck_builder> mcrl2::pbes_system::detail::typecheck_builder::super

Definition at line 30 of file typecheck.h.

Constructor & Destructor Documentation

typecheck_builder()

mcrl2::pbes_system::detail::typecheck_builder::typecheck_builder ( data::data_type_checker &  data_typechecker, const data::detail::variable_context &  variables, const detail::pbes_context &  pbes_context  )

inline

Definition at line 37 of file typecheck.h.

Member Function Documentation

apply() [1/5]

template<class T >

void mcrl2::pbes_system::detail::typecheck_builder::apply ( T &  result, const data::data_expression &  x  )

inline

Definition at line 47 of file typecheck.h.

apply() [2/5]

template<class T >

void mcrl2::pbes_system::detail::typecheck_builder::apply ( T &  result, const data::untyped_data_parameter &  x  )

inline

Definition at line 124 of file typecheck.h.

apply() [3/5]

template<class T >

void mcrl2::pbes_system::detail::typecheck_builder::apply ( T &  result, const exists &  x  )

inline

Definition at line 72 of file typecheck.h.

apply() [4/5]

template<class T >

void mcrl2::pbes_system::detail::typecheck_builder::apply ( T &  result, const forall &  x  )

inline

Definition at line 53 of file typecheck.h.

apply() [5/5]

template<class T >

void mcrl2::pbes_system::detail::typecheck_builder::apply ( T &  result, const propositional_variable_instantiation &  x  )

inline

Definition at line 91 of file typecheck.h.

Member Data Documentation

m_data_type_checker

data::data_type_checker& mcrl2::pbes_system::detail::typecheck_builder::m_data_type_checker

Definition at line 33 of file typecheck.h.

m_pbes_context

const detail::pbes_context& mcrl2::pbes_system::detail::typecheck_builder::m_pbes_context

Definition at line 35 of file typecheck.h.

m_variable_context

data::detail::variable_context mcrl2::pbes_system::detail::typecheck_builder::m_variable_context

Definition at line 34 of file typecheck.h.

---

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

• pbes/include/mcrl2/pbes/typecheck.h