mcrl2/lps/builder.h

Include file:

#include "mcrl2/lps/builder.h"

add your file description here.

Classes

• mcrl2::lps::add_data_expressions
• mcrl2::lps::add_sort_expressions
• mcrl2::lps::add_variables
• mcrl2::lps::data_expression_builder
• mcrl2::lps::sort_expression_builder
• mcrl2::lps::variable_builder