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::result_type

typedef for typename Function::result_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

void apply(T &result, const argument_type &x)

update_apply_builder_arg1(const Function &f, const Arg1 &arg1)