mCRL2
|
This file contains a class that contains labelled transition systems in fsm format. More...
Go to the source code of this file.
Classes | |
class | mcrl2::lts::state_label_fsm |
This class contains state labels for the fsm format. More... | |
class | mcrl2::lts::detail::lts_fsm_base |
class | mcrl2::lts::lts_fsm_t |
The class lts_fsm_t contains labelled transition systems in .fsm format. More... | |
class | mcrl2::lts::probabilistic_lts_fsm_t |
The class lts_fsm_t contains labelled transition systems in .fsm format. More... | |
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::pp (const state_label_fsm &label) |
Pretty print an fsm state label. | |
This file contains a class that contains labelled transition systems in fsm format.
A labelled transition system in fsm format is a transition system with as state labels vectors of strings, and as transition labels strings.
Definition in file lts_fsm.h.