mcrl2::core::apply_builder_arg1¶

Include file:

#include "mcrl2/core/builder.h

class mcrl2::core::apply_builder_arg1¶

Private types¶

type mcrl2::core::apply_builder_arg1::super¶: typedef for Builder< apply_builder_arg1< Builder, Arg1 > >

Public member functions¶

apply_builder_arg1(const Arg1 &arg1)¶