mcrl2::core::update_apply_builder_arg1< Builder, Function, Arg1 > Class Template Reference

#include <builder.h>

Inheritance diagram for mcrl2::core::update_apply_builder_arg1< Builder, Function, Arg1 >:

Private Types
using	super = Builder< update_apply_builder_arg1< Builder, Function, Arg1 > >
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

Private Member Functions
template<class T >
void	apply (T &result, const argument_type &x)
	update_apply_builder_arg1 (const Function &f, const Arg1 &arg1)

Private Attributes
const Function &	f_

Detailed Description

template<template< class > class Builder, class Function, class Arg1>
class mcrl2::core::update_apply_builder_arg1< Builder, Function, Arg1 >

Definition at line 193 of file builder.h.

Member Typedef Documentation

argument_type

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

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

private

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

Definition at line 202 of file builder.h.

result_type

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

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

private

Definition at line 203 of file builder.h.

super

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

using mcrl2::core::update_apply_builder_arg1< Builder, Function, Arg1 >::super = Builder<update_apply_builder_arg1<Builder, Function, Arg1> >

private

Definition at line 195 of file builder.h.

Constructor & Destructor Documentation

update_apply_builder_arg1()

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

mcrl2::core::update_apply_builder_arg1< Builder, Function, Arg1 >::update_apply_builder_arg1 ( const Function &  f, const Arg1 &  arg1  )

inlineprivate

Definition at line 212 of file builder.h.

Member Function Documentation

apply()

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

template<class T >

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

inlineprivate

Definition at line 207 of file builder.h.

Member Data Documentation

f_

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

const Function& mcrl2::core::update_apply_builder_arg1< Builder, Function, Arg1 >::f_

private

Definition at line 204 of file builder.h.

---

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

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