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

#include <builder.h>

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

Private Types
typedef Builder< apply_builder< Builder > >	super

Detailed Description

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

Definition at line 102 of file builder.h.

Member Typedef Documentation

super

template<template< class > class Builder>

typedef Builder<apply_builder<Builder> > mcrl2::core::apply_builder< Builder >::super

private

Definition at line 104 of file builder.h.

---

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

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