fsm_builder.h File Reference

The code in this file is used to construct an lts in fsm format.
More...

Go to the source code of this file.

Classes
class	mcrl2::lts::detail::fsm_parameter
class	mcrl2::lts::detail::fsm_transition
	Transitions in an FSM. More...
struct	mcrl2::lts::detail::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.
namespace	mcrl2::lts::detail
	A base class for the lts_dot labelled transition system.

Functions
std::string	mcrl2::lts::detail::split_string_until (std::string &s, const std::string &c1, const std::string &c2="")
lts_fsm_base::probabilistic_state	mcrl2::lts::detail::parse_distribution (const std::string &distribution)

Detailed Description

The code in this file is used to construct an lts in fsm format.

Definition in file fsm_builder.h.