lts_builder.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes
struct	mcrl2::lts::lts_builder
class	mcrl2::lts::lts_none_builder
class	mcrl2::lts::lts_aut_builder
class	mcrl2::lts::lts_aut_disk_builder
class	mcrl2::lts::lts_lts_builder
class	mcrl2::lts::lts_lts_disk_builder
class	mcrl2::lts::lts_dot_builder
class	mcrl2::lts::lts_fsm_builder

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::lts
	The main LTS namespace.

Functions
lps::state	mcrl2::lts::remove_time_stamp (const lps::state &s)
	Removes the last element from state s.
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="")

Detailed Description

add your file description here.

Definition in file lts_builder.h.