mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
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

using super = regular_formula_builder< typecheck_builder >
 
- Public Types inherited from mcrl2::regular_formulas::add_regular_formula_expressions< Builder, Derived >
using super = Builder< Derived >
 

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_checker & m_data_type_checker
 
const data::detail::variable_context & m_variable_context
 
const process::detail::action_context & m_action_context
 

Detailed Description

Definition at line 174 of file typecheck.h.

Member Typedef Documentation

◆ super

using mcrl2::regular_formulas::detail::typecheck_builder::super = regular_formula_builder<typecheck_builder>

Definition at line 176 of file typecheck.h.

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 183 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 297 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 265 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 199 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 257 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 192 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 206 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 220 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 213 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 181 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 179 of file typecheck.h.

◆ m_variable_context

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

Definition at line 180 of file typecheck.h.

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