mCRL2
Loading...
Searching...
No Matches
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: