mCRL2
Loading...
Searching...
No Matches
mcrl2::regular_formulas::detail::typecheck_builder Struct Reference

#include <typecheck.h>

Inheritance diagram for mcrl2::regular_formulas::detail::typecheck_builder:
mcrl2::regular_formulas::regular_formula_builder< typecheck_builder > mcrl2::regular_formulas::add_regular_formula_expressions< Builder, Derived >

Public Types

typedef regular_formula_builder< typecheck_buildersuper
 
- Public Types inherited from mcrl2::regular_formulas::add_regular_formula_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 process::detail::action_context &actions)
 
data::data_expression make_fbag_union (const data::data_expression &left, const data::data_expression &right)
 
data::data_expression make_bag_union (const data::data_expression &left, const data::data_expression &right)
 
data::data_expression make_fset_union (const data::data_expression &left, const data::data_expression &right)
 
data::data_expression make_set_union (const data::data_expression &left, const data::data_expression &right)
 
data::data_expression make_plus (const data::data_expression &left, const data::data_expression &right)
 
data::data_expression make_element_at (const data::data_expression &left, const data::data_expression &right) const
 
template<class T >
void apply (T &result, const regular_formulas::untyped_regular_formula &x)
 
void apply (regular_formula &result, const action_formulas::action_formula &x)
 
- Public Member Functions inherited from mcrl2::regular_formulas::add_regular_formula_expressions< Builder, Derived >
template<class T >
void apply (T &result, const regular_formulas::seq &x)
 
template<class T >
void apply (T &result, const regular_formulas::alt &x)
 
template<class T >
void apply (T &result, const regular_formulas::trans &x)
 
template<class T >
void apply (T &result, const regular_formulas::trans_or_nil &x)
 
template<class T >
void apply (T &result, const regular_formulas::untyped_regular_formula &x)
 
template<class T >
void apply (T &result, const regular_formulas::regular_formula &x)
 

Public Attributes

data::data_type_checkerm_data_type_checker
 
const data::detail::variable_contextm_variable_context
 
const process::detail::action_contextm_action_context
 

Detailed Description

Definition at line 173 of file typecheck.h.

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ typecheck_builder()

mcrl2::regular_formulas::detail::typecheck_builder::typecheck_builder ( data::data_type_checker data_typechecker,
const data::detail::variable_context variables,
const process::detail::action_context actions 
)
inline

Definition at line 182 of file typecheck.h.

Member Function Documentation

◆ apply() [1/2]

void mcrl2::regular_formulas::detail::typecheck_builder::apply ( regular_formula result,
const action_formulas::action_formula x 
)
inline

Definition at line 296 of file typecheck.h.

◆ apply() [2/2]

template<class T >
void mcrl2::regular_formulas::detail::typecheck_builder::apply ( T &  result,
const regular_formulas::untyped_regular_formula x 
)
inline

Definition at line 264 of file typecheck.h.

◆ make_bag_union()

data::data_expression mcrl2::regular_formulas::detail::typecheck_builder::make_bag_union ( const data::data_expression left,
const data::data_expression right 
)
inline

Definition at line 198 of file typecheck.h.

◆ make_element_at()

data::data_expression mcrl2::regular_formulas::detail::typecheck_builder::make_element_at ( const data::data_expression left,
const data::data_expression right 
) const
inline

Definition at line 256 of file typecheck.h.

◆ make_fbag_union()

data::data_expression mcrl2::regular_formulas::detail::typecheck_builder::make_fbag_union ( const data::data_expression left,
const data::data_expression right 
)
inline

Definition at line 191 of file typecheck.h.

◆ make_fset_union()

data::data_expression mcrl2::regular_formulas::detail::typecheck_builder::make_fset_union ( const data::data_expression left,
const data::data_expression right 
)
inline

Definition at line 205 of file typecheck.h.

◆ make_plus()

data::data_expression mcrl2::regular_formulas::detail::typecheck_builder::make_plus ( const data::data_expression left,
const data::data_expression right 
)
inline

Definition at line 219 of file typecheck.h.

◆ make_set_union()

data::data_expression mcrl2::regular_formulas::detail::typecheck_builder::make_set_union ( const data::data_expression left,
const data::data_expression right 
)
inline

Definition at line 212 of file typecheck.h.

Member Data Documentation

◆ m_action_context

const process::detail::action_context& mcrl2::regular_formulas::detail::typecheck_builder::m_action_context

Definition at line 180 of file typecheck.h.

◆ m_data_type_checker

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

Definition at line 178 of file typecheck.h.

◆ m_variable_context

const data::detail::variable_context& mcrl2::regular_formulas::detail::typecheck_builder::m_variable_context

Definition at line 179 of file typecheck.h.


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