mCRL2
Loading...
Searching...
No Matches
mcrl2::process::detail::printer< Derived > Struct Template Reference

#include <print.h>

Inheritance diagram for mcrl2::process::detail::printer< Derived >:
mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >

Public Types

typedef process::add_traverser_sort_expressions< data::detail::printer, Derived > super
 
- Public Types inherited from mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >
typedef Traverser< Derived > super
 

Public Member Functions

void print_initial_state (const process_expression &init)
 
void print_if_then_condition (const data::data_expression &condition, const std::string &arrow=" -> ")
 
template<typename Container >
void print_action_declarations (const Container &container, const std::string &opener="(", const std::string &closer=")", const std::string &separator=", ")
 
template<typename Container >
void print_action_declarations_maximally_shared (const Container &container, const std::string &opener="(", const std::string &closer=")", const std::string &separator=", ")
 
void apply (const process::action_label &x)
 
void apply (const process::action &x)
 
void apply (const process::process_specification &x)
 
void apply (const process::process_identifier &x)
 
void apply (const process::process_equation &x)
 
void apply (const process::process_instance &x)
 
void apply (const process::process_instance_assignment &x)
 
void apply (const process::delta &x)
 
void apply (const process::tau &x)
 
void apply (const process::sum &x)
 
void apply (const process::stochastic_operator &x)
 
void apply (const process::block &x)
 
void apply (const process::hide &x)
 
void apply (const process::rename_expression &x)
 
void apply (const process::rename &x)
 
void apply (const process::action_name_multiset &x)
 
void apply (const process::communication_expression &x)
 
void apply (const process::comm &x)
 
void apply (const process::allow &x)
 
void apply (const process::sync &x)
 
void apply (const process::at &x)
 
void apply (const process::seq &x)
 
void apply (const process::if_then &x)
 
void apply (const process::if_then_else &x)
 
void apply (const process::bounded_init &x)
 
void apply (const process::merge &x)
 
void apply (const process::left_merge &x)
 
void apply (const process::choice &x)
 
void apply (const process::untyped_process_assignment &x)
 
void apply (const process::untyped_multi_action &x)
 
void apply (const process::action_label &x)
 
void apply (const process::process_specification &x)
 
void apply (const process::process_identifier &x)
 
void apply (const process::process_equation &x)
 
void apply (const process::untyped_multi_action &x)
 
void apply (const process::action &x)
 
void apply (const process::process_instance &x)
 
void apply (const process::process_instance_assignment &x)
 
void apply (const process::delta &x)
 
void apply (const process::tau &x)
 
void apply (const process::sum &x)
 
void apply (const process::block &x)
 
void apply (const process::hide &x)
 
void apply (const process::rename &x)
 
void apply (const process::comm &x)
 
void apply (const process::allow &x)
 
void apply (const process::sync &x)
 
void apply (const process::at &x)
 
void apply (const process::seq &x)
 
void apply (const process::if_then &x)
 
void apply (const process::if_then_else &x)
 
void apply (const process::bounded_init &x)
 
void apply (const process::merge &x)
 
void apply (const process::left_merge &x)
 
void apply (const process::choice &x)
 
void apply (const process::stochastic_operator &x)
 
void apply (const process::untyped_process_assignment &x)
 
void apply (const process::process_expression &x)
 
- Public Member Functions inherited from mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >
void apply (const process::action_label &x)
 
void apply (const process::process_specification &x)
 
void apply (const process::process_identifier &x)
 
void apply (const process::process_equation &x)
 
void apply (const process::untyped_multi_action &x)
 
void apply (const process::action &x)
 
void apply (const process::process_instance &x)
 
void apply (const process::process_instance_assignment &x)
 
void apply (const process::delta &x)
 
void apply (const process::tau &x)
 
void apply (const process::sum &x)
 
void apply (const process::block &x)
 
void apply (const process::hide &x)
 
void apply (const process::rename &x)
 
void apply (const process::comm &x)
 
void apply (const process::allow &x)
 
void apply (const process::sync &x)
 
void apply (const process::at &x)
 
void apply (const process::seq &x)
 
void apply (const process::if_then &x)
 
void apply (const process::if_then_else &x)
 
void apply (const process::bounded_init &x)
 
void apply (const process::merge &x)
 
void apply (const process::left_merge &x)
 
void apply (const process::choice &x)
 
void apply (const process::stochastic_operator &x)
 
void apply (const process::untyped_process_assignment &x)
 
void apply (const process::process_expression &x)
 

Detailed Description

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

Definition at line 89 of file print.h.

Member Typedef Documentation

◆ super

template<typename Derived >
typedef process::add_traverser_sort_expressions<data::detail::printer, Derived> mcrl2::process::detail::printer< Derived >::super

Definition at line 91 of file print.h.

Member Function Documentation

◆ apply() [1/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::action x)
inline

Definition at line 80 of file traverser.h.

◆ apply() [2/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::action x)
inline

Definition at line 220 of file print.h.

◆ apply() [3/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::action_label x)
inline

Definition at line 40 of file traverser.h.

◆ apply() [4/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::action_label x)
inline

Definition at line 213 of file print.h.

◆ apply() [5/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::action_name_multiset x)
inline

Definition at line 350 of file print.h.

◆ apply() [6/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::allow x)
inline

Definition at line 154 of file traverser.h.

◆ apply() [7/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::allow x)
inline

Definition at line 376 of file print.h.

◆ apply() [8/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::at x)
inline

Definition at line 169 of file traverser.h.

◆ apply() [9/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::at x)
inline

Definition at line 393 of file print.h.

◆ apply() [10/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::block x)
inline

Definition at line 126 of file traverser.h.

◆ apply() [11/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::block x)
inline

Definition at line 311 of file print.h.

◆ apply() [12/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::bounded_init x)
inline

Definition at line 202 of file traverser.h.

◆ apply() [13/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::bounded_init x)
inline

Definition at line 429 of file print.h.

◆ apply() [14/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::choice x)
inline

Definition at line 226 of file traverser.h.

◆ apply() [15/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::choice x)
inline

Definition at line 450 of file print.h.

◆ apply() [16/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::comm x)
inline

Definition at line 147 of file traverser.h.

◆ apply() [17/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::comm x)
inline

Definition at line 366 of file print.h.

◆ apply() [18/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::communication_expression x)
inline

Definition at line 357 of file print.h.

◆ apply() [19/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::delta x)
inline

Definition at line 104 of file traverser.h.

◆ apply() [20/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::delta x)
inline

Definition at line 275 of file print.h.

◆ apply() [21/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::hide x)
inline

Definition at line 133 of file traverser.h.

◆ apply() [22/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::hide x)
inline

Definition at line 321 of file print.h.

◆ apply() [23/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::if_then x)
inline

Definition at line 185 of file traverser.h.

◆ apply() [24/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::if_then x)
inline

Definition at line 409 of file print.h.

◆ apply() [25/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::if_then_else x)
inline

Definition at line 193 of file traverser.h.

◆ apply() [26/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::if_then_else x)
inline

Definition at line 417 of file print.h.

◆ apply() [27/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::left_merge x)
inline

Definition at line 218 of file traverser.h.

◆ apply() [28/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::left_merge x)
inline

Definition at line 443 of file print.h.

◆ apply() [29/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::merge x)
inline

Definition at line 210 of file traverser.h.

◆ apply() [30/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::merge x)
inline

Definition at line 436 of file print.h.

◆ apply() [31/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::process_equation x)
inline

Definition at line 64 of file traverser.h.

◆ apply() [32/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::process_equation x)
inline

Definition at line 246 of file print.h.

◆ apply() [33/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::process_expression x)
inline

Definition at line 250 of file traverser.h.

◆ apply() [34/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::process_identifier x)
inline

Definition at line 57 of file traverser.h.

◆ apply() [35/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::process_identifier x)
inline

Definition at line 239 of file print.h.

◆ apply() [36/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::process_instance x)
inline

Definition at line 88 of file traverser.h.

◆ apply() [37/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::process_instance x)
inline

Definition at line 257 of file print.h.

◆ apply() [38/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::process_instance_assignment x)
inline

Definition at line 96 of file traverser.h.

◆ apply() [39/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::process_instance_assignment x)
inline

Definition at line 265 of file print.h.

◆ apply() [40/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::process_specification x)
inline

Definition at line 47 of file traverser.h.

◆ apply() [41/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::process_specification x)
inline

Definition at line 228 of file print.h.

◆ apply() [42/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::rename x)
inline

Definition at line 140 of file traverser.h.

◆ apply() [43/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::rename x)
inline

Definition at line 340 of file print.h.

◆ apply() [44/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::rename_expression x)
inline

Definition at line 331 of file print.h.

◆ apply() [45/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::seq x)
inline

Definition at line 177 of file traverser.h.

◆ apply() [46/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::seq x)
inline

Definition at line 402 of file print.h.

◆ apply() [47/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::stochastic_operator x)
inline

Definition at line 234 of file traverser.h.

◆ apply() [48/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::stochastic_operator x)
inline

Definition at line 299 of file print.h.

◆ apply() [49/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::sum x)
inline

Definition at line 118 of file traverser.h.

◆ apply() [50/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::sum x)
inline

Definition at line 289 of file print.h.

◆ apply() [51/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::sync x)
inline

Definition at line 161 of file traverser.h.

◆ apply() [52/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::sync x)
inline

Definition at line 386 of file print.h.

◆ apply() [53/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::tau x)
inline

Definition at line 111 of file traverser.h.

◆ apply() [54/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::tau x)
inline

Definition at line 282 of file print.h.

◆ apply() [55/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::untyped_multi_action x)
inline

Definition at line 73 of file traverser.h.

◆ apply() [56/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::untyped_multi_action x)
inline

Definition at line 465 of file print.h.

◆ apply() [57/58]

template<typename Derived >
void mcrl2::process::add_traverser_sort_expressions< Traverser, Derived >::apply ( const process::untyped_process_assignment x)
inline

Definition at line 243 of file traverser.h.

◆ apply() [58/58]

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::apply ( const process::untyped_process_assignment x)
inline

Definition at line 457 of file print.h.

◆ print_action_declarations()

template<typename Derived >
template<typename Container >
void mcrl2::process::detail::printer< Derived >::print_action_declarations ( const Container &  container,
const std::string &  opener = "(",
const std::string &  closer = ")",
const std::string &  separator = ", " 
)
inline

Definition at line 119 of file print.h.

◆ print_action_declarations_maximally_shared()

template<typename Derived >
template<typename Container >
void mcrl2::process::detail::printer< Derived >::print_action_declarations_maximally_shared ( const Container &  container,
const std::string &  opener = "(",
const std::string &  closer = ")",
const std::string &  separator = ", " 
)
inline

Definition at line 164 of file print.h.

◆ print_if_then_condition()

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::print_if_then_condition ( const data::data_expression condition,
const std::string &  arrow = "  ->  " 
)
inline

Definition at line 111 of file print.h.

◆ print_initial_state()

template<typename Derived >
void mcrl2::process::detail::printer< Derived >::print_initial_state ( const process_expression init)
inline

Definition at line 104 of file print.h.


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