mcrl2::core::update_apply_builder< Builder, Function > Struct Template Reference

#include <builder.h>

Inheritance diagram for mcrl2::core::update_apply_builder< Builder, Function >:

Public Types
typedef Builder< update_apply_builder< Builder, Function > >	super
using	argument_type = typename Function::argument_type
	The argument_type is required to restrict the overloads of apply(x) to that type.
using	result_type = typename Function::result_type
	The argument_type is required to restrict the overloads of apply(x) to that type.

Public Member Functions
template<class T >
void	apply (T &result, const argument_type &x)
	update_apply_builder (const Function &f)

Public Attributes
const Function &	f_

Detailed Description

template<template< class > class Builder, class Function>
struct mcrl2::core::update_apply_builder< Builder, Function >

Definition at line 172 of file builder.h.

Member Typedef Documentation

argument_type

template<template< class > class Builder, class Function >

using mcrl2::core::update_apply_builder< Builder, Function >::argument_type = typename Function::argument_type

The argument_type is required to restrict the overloads of apply(x) to that type.

Definition at line 181 of file builder.h.

result_type

template<template< class > class Builder, class Function >

using mcrl2::core::update_apply_builder< Builder, Function >::result_type = typename Function::result_type

The argument_type is required to restrict the overloads of apply(x) to that type.

Definition at line 182 of file builder.h.

super

template<template< class > class Builder, class Function >

typedef Builder<update_apply_builder<Builder, Function> > mcrl2::core::update_apply_builder< Builder, Function >::super

Definition at line 174 of file builder.h.

Constructor & Destructor Documentation

update_apply_builder()

template<template< class > class Builder, class Function >

mcrl2::core::update_apply_builder< Builder, Function >::update_apply_builder ( const Function &  f )

inline

Definition at line 192 of file builder.h.

Member Function Documentation

apply()

template<template< class > class Builder, class Function >

template<class T >

void mcrl2::core::update_apply_builder< Builder, Function >::apply ( T &  result, const argument_type &  x  )

inline

Definition at line 186 of file builder.h.

Member Data Documentation

f_

template<template< class > class Builder, class Function >

const Function& mcrl2::core::update_apply_builder< Builder, Function >::f_

Definition at line 183 of file builder.h.

---

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

• core/include/mcrl2/core/builder.h