mcrl2::core::apply_builder< Builder > Class Template Reference

#include <builder.h>

Inheritance diagram for mcrl2::core::apply_builder< Builder >:

Private Types
using	super = Builder< apply_builder< Builder > >

Detailed Description

template<template< class > class Builder>
class mcrl2::core::apply_builder< Builder >

Definition at line 103 of file builder.h.

Member Typedef Documentation

super

template<template< class > class Builder>

using mcrl2::core::apply_builder< Builder >::super = Builder<apply_builder<Builder> >

private

Definition at line 105 of file builder.h.

---

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

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