mcrl2::core::apply_builder_arg1

Include file:

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

Private types

type super

typedef for Builder< apply_builder_arg1< Builder, Arg1 > >

Public member functions

apply_builder_arg1(const Arg1 &arg1)