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