mcrl2/lts/lts_builder.h

Include file:

#include "mcrl2/lts/lts_builder.h"

add your file description here.

Classes

• mcrl2::lts::lts_aut_builder
• mcrl2::lts::lts_aut_disk_builder
• mcrl2::lts::lts_builder
• mcrl2::lts::lts_dot_builder
• mcrl2::lts::lts_fsm_builder
• mcrl2::lts::lts_lts_builder
• mcrl2::lts::lts_lts_disk_builder
• mcrl2::lts::lts_none_builder

Functions

std::unique_ptr<lts_builder> mcrl2::lts::create_lts_builder(const lps::specification &lpsspec, const lps::explorer_options &options, lts_type output_format, const std::string &output_filename = "")

std::unique_ptr<stochastic_lts_builder> mcrl2::lts::create_stochastic_lts_builder(const lps::stochastic_specification &lpsspec, const lps::explorer_options &options, lts_type output_format)

lps::state mcrl2::lts::remove_time_stamp(const lps::state &s)

Removes the last element from state s.