mCRL2
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
mcrl2::process::detail::push_block_builder< Derived > Struct Template Reference

#include <alphabet_push_block.h>

Inheritance diagram for mcrl2::process::detail::push_block_builder< Derived >:
mcrl2::process::process_expression_builder< Derived > mcrl2::process::add_process_expressions< core::builder, Derived >

Public Types

typedef process_expression_builder< Derived > super
 
- Public Types inherited from mcrl2::process::add_process_expressions< core::builder, Derived >
typedef core::builder< Derived > super
 

Public Member Functions

 push_block_builder (std::vector< process_equation > &equations_, push_block_cache &W_, const std::set< core::identifier_string > &B_, data::set_identifier_generator &id_generator_)
 
Derived & derived ()
 
template<class T >
void apply (T &result, const process::action &x)
 
template<class T >
void apply (T &result, const process::process_instance &x)
 
template<class T >
void apply (T &result, const process::process_instance_assignment &x)
 
template<class T >
void apply (T &result, const process::block &x)
 
template<class T >
void apply (T &result, const process::hide &x)
 
template<class T >
void apply (T &result, const process::rename &x)
 
bool restrict_ (const core::identifier_string &b, const std::set< core::identifier_string > &B, const communication_expression_list &C) const
 
std::set< core::identifier_string > restrict_block (const std::set< core::identifier_string > &B, const communication_expression_list &C) const
 
template<class T >
void apply (T &result, const process::comm &x)
 
template<class T >
void apply (T &result, const process::allow &x)
 
template<class T >
void apply (T &result, const process::sync &x)
 
- Public Member Functions inherited from mcrl2::process::add_process_expressions< core::builder, Derived >
void update (process::process_specification &x)
 
void apply (T &result, const process::process_equation &x)
 
void apply (T &result, const process::action &x)
 
void apply (T &result, const process::process_instance &x)
 
void apply (T &result, const process::process_instance_assignment &x)
 
void apply (T &result, const process::delta &x)
 
void apply (T &result, const process::tau &x)
 
void apply (T &result, const process::sum &x)
 
void apply (T &result, const process::block &x)
 
void apply (T &result, const process::hide &x)
 
void apply (T &result, const process::rename &x)
 
void apply (T &result, const process::comm &x)
 
void apply (T &result, const process::allow &x)
 
void apply (T &result, const process::sync &x)
 
void apply (T &result, const process::at &x)
 
void apply (T &result, const process::seq &x)
 
void apply (T &result, const process::if_then &x)
 
void apply (T &result, const process::if_then_else &x)
 
void apply (T &result, const process::bounded_init &x)
 
void apply (T &result, const process::merge &x)
 
void apply (T &result, const process::left_merge &x)
 
void apply (T &result, const process::choice &x)
 
void apply (T &result, const process::stochastic_operator &x)
 
void apply (T &result, const process::untyped_process_assignment &x)
 
void apply (T &result, const process::process_expression &x)
 

Public Attributes

std::vector< process_equation > & equations
 
push_block_cache & W
 
const std::set< core::identifier_string > & B
 
data::set_identifier_generator & id_generator
 

Detailed Description

template<typename Derived>
struct mcrl2::process::detail::push_block_builder< Derived >

Definition at line 160 of file alphabet_push_block.h.

Member Typedef Documentation

◆ super

template<typename Derived >
typedef process_expression_builder<Derived> mcrl2::process::detail::push_block_builder< Derived >::super

Definition at line 162 of file alphabet_push_block.h.

Constructor & Destructor Documentation

◆ push_block_builder()

template<typename Derived >
mcrl2::process::detail::push_block_builder< Derived >::push_block_builder ( std::vector< process_equation > &  equations_,
push_block_cache &  W_,
const std::set< core::identifier_string > &  B_,
data::set_identifier_generator &  id_generator_ 
)
inline

Definition at line 178 of file alphabet_push_block.h.

Member Function Documentation

◆ apply() [1/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::action &  x 
)
inline

Definition at line 188 of file alphabet_push_block.h.

◆ apply() [2/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::allow &  x 
)
inline

Definition at line 309 of file alphabet_push_block.h.

◆ apply() [3/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::block &  x 
)
inline

Definition at line 246 of file alphabet_push_block.h.

◆ apply() [4/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::comm &  x 
)
inline

Definition at line 300 of file alphabet_push_block.h.

◆ apply() [5/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::hide &  x 
)
inline

Definition at line 254 of file alphabet_push_block.h.

◆ apply() [6/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::process_instance &  x 
)
inline

Definition at line 202 of file alphabet_push_block.h.

◆ apply() [7/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::process_instance_assignment &  x 
)
inline

Definition at line 239 of file alphabet_push_block.h.

◆ apply() [8/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::rename &  x 
)
inline

Definition at line 263 of file alphabet_push_block.h.

◆ apply() [9/9]

template<typename Derived >
template<class T >
void mcrl2::process::detail::push_block_builder< Derived >::apply ( T &  result,
const process::sync &  x 
)
inline

Definition at line 322 of file alphabet_push_block.h.

◆ derived()

template<typename Derived >
Derived & mcrl2::process::detail::push_block_builder< Derived >::derived ( )
inline

Definition at line 182 of file alphabet_push_block.h.

◆ restrict_()

template<typename Derived >
bool mcrl2::process::detail::push_block_builder< Derived >::restrict_ ( const core::identifier_string &  b,
const std::set< core::identifier_string > &  B,
const communication_expression_list &  C 
) const
inline

Definition at line 271 of file alphabet_push_block.h.

◆ restrict_block()

template<typename Derived >
std::set< core::identifier_string > mcrl2::process::detail::push_block_builder< Derived >::restrict_block ( const std::set< core::identifier_string > &  B,
const communication_expression_list &  C 
) const
inline

Definition at line 286 of file alphabet_push_block.h.

Member Data Documentation

◆ B

template<typename Derived >
const std::set<core::identifier_string>& mcrl2::process::detail::push_block_builder< Derived >::B

Definition at line 173 of file alphabet_push_block.h.

◆ equations

template<typename Derived >
std::vector<process_equation>& mcrl2::process::detail::push_block_builder< Derived >::equations

Definition at line 169 of file alphabet_push_block.h.

◆ id_generator

template<typename Derived >
data::set_identifier_generator& mcrl2::process::detail::push_block_builder< Derived >::id_generator

Definition at line 176 of file alphabet_push_block.h.

◆ W

template<typename Derived >
push_block_cache& mcrl2::process::detail::push_block_builder< Derived >::W

Definition at line 170 of file alphabet_push_block.h.

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