\brief Builder class More...

#include <builder.h>

Inheritance diagram for mcrl2::lps::sort_expression_builder< Derived >:

Additional Inherited Members
Public Types inherited from mcrl2::lps::add_sort_expressions< process::sort_expression_builder, Derived >
typedef process::sort_expression_builder< Derived >	super

Public Member Functions inherited from mcrl2::lps::add_sort_expressions< process::sort_expression_builder, Derived >
void	update (lps::deadlock &x)

void	update (lps::deadlock_summand &x)

void	update (lps::action_summand &x)

void	update (lps::linear_process &x)

void	update (lps::specification &x)

void	update (lps::stochastic_action_summand &x)

void	update (lps::stochastic_linear_process &x)

void	update (lps::stochastic_specification &x)

void	apply (T &result, const lps::multi_action &x)

void	apply (T &result, const lps::process_initializer &x)

void	apply (T &result, const lps::stochastic_distribution &x)

void	apply (T &result, const lps::stochastic_process_initializer &x)

Detailed Description

template<typename Derived>
struct mcrl2::lps::sort_expression_builder< Derived >

\brief Builder class

Definition at line 186 of file builder.h.

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

Additional Inherited Members