parse.h File Reference

A simple straighforward parser for .fsm files. More...

Go to the source code of this file.

Classes
class	mcrl2::lts::detail::simple_fsm_parser

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
void	mcrl2::lts::parse_fsm_specification (std::istream &from, probabilistic_lts_fsm_t &result)
void	mcrl2::lts::parse_fsm_specification (const std::string &text, probabilistic_lts_fsm_t &result)

Detailed Description

A simple straighforward parser for .fsm files.

Definition in file parse.h.