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

#include <print.h>

Inheritance diagram for mcrl2::regular_formulas::detail::printer< Derived >:
mcrl2::regular_formulas::add_traverser_sort_expressions< action_formulas::detail::printer, Derived >

Public Types

typedef regular_formulas::add_traverser_sort_expressions< action_formulas::detail::printer, Derived > super
 
- Public Types inherited from mcrl2::regular_formulas::add_traverser_sort_expressions< action_formulas::detail::printer, Derived >
typedef action_formulas::detail::printer< Derived > super
 

Public Member Functions

void apply (const regular_formulas::seq &x)
 
void apply (const regular_formulas::alt &x)
 
void apply (const regular_formulas::trans &x)
 
void apply (const regular_formulas::trans_or_nil &x)
 
void apply (const regular_formulas::untyped_regular_formula &x)
 
- Public Member Functions inherited from mcrl2::regular_formulas::add_traverser_sort_expressions< action_formulas::detail::printer, Derived >
void apply (const regular_formulas::seq &x)
 
void apply (const regular_formulas::alt &x)
 
void apply (const regular_formulas::trans &x)
 
void apply (const regular_formulas::trans_or_nil &x)
 
void apply (const regular_formulas::untyped_regular_formula &x)
 
void apply (const regular_formulas::regular_formula &x)
 

Detailed Description

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

Definition at line 222 of file print.h.

Member Typedef Documentation

◆ super

template<typename Derived >
typedef regular_formulas::add_traverser_sort_expressions<action_formulas::detail::printer, Derived> mcrl2::regular_formulas::detail::printer< Derived >::super

Definition at line 224 of file print.h.

Member Function Documentation

◆ apply() [1/5]

template<typename Derived >
void mcrl2::regular_formulas::detail::printer< Derived >::apply ( const regular_formulas::alt &  x)
inline

Definition at line 244 of file print.h.

◆ apply() [2/5]

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

Definition at line 237 of file print.h.

◆ apply() [3/5]

template<typename Derived >
void mcrl2::regular_formulas::detail::printer< Derived >::apply ( const regular_formulas::trans &  x)
inline

Definition at line 251 of file print.h.

◆ apply() [4/5]

template<typename Derived >
void mcrl2::regular_formulas::detail::printer< Derived >::apply ( const regular_formulas::trans_or_nil &  x)
inline

Definition at line 258 of file print.h.

◆ apply() [5/5]

template<typename Derived >
void mcrl2::regular_formulas::detail::printer< Derived >::apply ( const regular_formulas::untyped_regular_formula &  x)
inline

Definition at line 265 of file print.h.

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