mcrl2::core::apply_builder

Include file:

#include "mcrl2/core/builder.h
class mcrl2::core::apply_builder

Private types

type super

typedef for Builder< apply_builder< Builder > >