mcrl2/core/builder.h

Include file:

#include "mcrl2/core/builder.h"

add your file description here.

Classes

• mcrl2::core::apply_builder
• mcrl2::core::apply_builder_arg1
• mcrl2::core::builder
• mcrl2::core::update_apply_builder
• mcrl2::core::update_apply_builder_arg1

Functions

apply_builder<Builder> mcrl2::core::make_apply_builder()

apply_builder_arg1<Builder, Arg1> mcrl2::core::make_apply_builder_arg1(const Arg1 &arg1)

update_apply_builder<Builder, Function> mcrl2::core::make_update_apply_builder(const Function &f)

update_apply_builder_arg1<Builder, Function, Arg1> mcrl2::core::make_update_apply_builder_arg1(const Function &f)

void mcrl2::core::msg(const std::string&)