mcrl2::core::apply_builder_arg2< Builder, Arg1, Arg2 > Class Template Reference

#include <builder.h>

Inheritance diagram for mcrl2::core::apply_builder_arg2< Builder, Arg1, Arg2 >:

Public Member Functions
	apply_builder_arg2 (const Arg1 &arg1, const Arg2 &arg2)

Private Types
using	super = Builder< apply_builder_arg2< Builder, Arg1, Arg2 > >

Detailed Description

template<template< class > class Builder, class Arg1, class Arg2>
class mcrl2::core::apply_builder_arg2< Builder, Arg1, Arg2 >

Definition at line 134 of file builder.h.

Member Typedef Documentation

super

template<template< class > class Builder, class Arg1 , class Arg2 >

using mcrl2::core::apply_builder_arg2< Builder, Arg1, Arg2 >::super = Builder<apply_builder_arg2<Builder, Arg1, Arg2> >

private

Definition at line 136 of file builder.h.

Constructor & Destructor Documentation

apply_builder_arg2()

template<template< class > class Builder, class Arg1 , class Arg2 >

mcrl2::core::apply_builder_arg2< Builder, Arg1, Arg2 >::apply_builder_arg2 ( const Arg1 &  arg1, const Arg2 &  arg2  )

inline

Definition at line 144 of file builder.h.

---

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

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