mcrl2::core::update_apply_builder_arg1

Include file:

#include "mcrl2/core/builder.h
class mcrl2::core::update_apply_builder_arg1

Private types

type mcrl2::core::update_apply_builder_arg1::argument_type

typedef for typename Function::argument_type

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

type mcrl2::core::update_apply_builder_arg1::super

typedef for Builder< update_apply_builder_arg1< Builder, Function, Arg1 > >

Private attributes

const Function &mcrl2::core::update_apply_builder_arg1::f_

Private member functions

auto apply(const argument_type &x) -> decltype(f_(x))
update_apply_builder_arg1(const Function &f, const Arg1 &arg1)