Loading...
Searching...
No Matches
mcrl2::lts::lts_dot_t Class Reference
A class to contain labelled transition systems in graphviz format. More...
#include <lts_dot.h>
Inheritance diagram for mcrl2::lts::lts_dot_t:
Public Member Functions | |
| void | save (std::ostream &os) const |
| Save the labelled transition system to a stream. | |
| void | save (const std::string &filename) const |
| Save the labelled transition system to a file. | |
 Public Member Functions inherited from mcrl2::lts::lts< state_label_dot, action_label_string, detail::lts_dot_base > | |
| lts () | |
| Creates an empty LTS. | |
| lts (const lts &l) | |
| Creates a copy of the supplied LTS. | |
| lts & | operator= (const lts &l) |
| Standard assignment operator. | |
| bool | operator== (const lts &other) const |
| Standard equality operator. | |
| void | swap (lts &l) |
| Swap this lts with the supplied supplied LTS. | |
| states_size_type | num_states () const |
| Gets the number of states of this LTS. | |
| std::vector< state_label_dot > & | state_labels () |
| Provides the state labels of an LTS. | |
| const std::vector< state_label_dot > & | state_labels () const |
| Provides the state labels of an LTS. | |
| states_size_type | num_state_labels () const |
| Gets the number of state labels of this LTS. | |
| void | set_num_states (const states_size_type n, const bool has_state_labels=true) |
| Sets the number of states of this LTS. | |
| transitions_size_type | num_transitions () const |
| Gets the number of transitions of this LTS. | |
| void | set_num_action_labels (const labels_size_type n) |
| Sets the number of action labels of this LTS. | |
| labels_size_type | num_action_labels () const |
| Gets the number of action labels of this LTS. | |
| states_size_type | initial_state () const |
| Gets the initial state number of this LTS. | |
| void | set_initial_state (const states_size_type state) |
| Sets the initial state number of this LTS. | |
| states_size_type | add_state (const state_label_dot &label=state_label_dot()) |
| Adds a state to this LTS. | |
| labels_size_type | add_action (const action_label_string &label) |
| Adds an action with a label to this LTS. | |
| const labels_size_type | tau_label_index () const |
| Provide the index of the label that represents tau. | |
| void | set_state_label (const states_size_type state, const state_label_dot &label) |
| Sets the label of a state. | |
| const std::vector< action_label_string > & | action_labels () const |
| The action labels in this lts. | |
| void | set_action_label (const labels_size_type action, const action_label_string &label) |
| Sets the label of an action. | |
| const std::set< labels_size_type > & | hidden_label_set () const |
| Returns the hidden label set that tells for each label what its corresponding hidden label is. | |
| std::set< labels_size_type > & | hidden_label_set () |
| Returns the hidden label set that tells for each label what its corresponding hidden label is. | |
| void | set_hidden_label_set (const std::set< labels_size_type > &m) |
| Sets the hidden label map that tells for each label what its corresponding hidden label is. | |
| labels_size_type | apply_hidden_label_map (const labels_size_type action) const |
| If the action label is registered hidden, it returns tau, otherwise the original label. | |
| state_label_dot | state_label (const states_size_type state) const |
| Gets the label of a state. | |
| bool | is_probabilistic (const states_size_type state) const |
| Gets the label of a state. | |
| action_label_string | action_label (const labels_size_type action) const |
| Gets the label of an action. | |
| void | clear_transitions (const std::size_t n=0) |
| Clear the transitions of an lts. | |
| void | clear_actions () |
| Clear the action labels of an lts. | |
| void | clear_state_labels () |
| Clear the labels of an lts. | |
| void | clear () |
| Clear the transitions system. | |
| const std::vector< transition > & | get_transitions () const |
| Gets a const reference to the vector of transitions of the current lts. | |
| std::vector< transition > & | get_transitions () |
| Gets a reference to the vector of transitions of the current lts. | |
| void | add_transition (const transition &t) |
| Add a transition to the lts. | |
| bool | is_tau (labels_size_type action) const |
| Checks whether an action is a tau action. | |
| void | record_hidden_actions (const std::vector< std::string > &tau_actions) |
| Records all actions with a string that occurs in tau_actions internally. | |
| void | apply_hidden_actions (const std::vector< std::string > &tau_actions) |
| Rename actions in the lts by hiding the actions in the vector tau_actions. | |
| bool | has_state_info () const |
| Checks whether this LTS has state values associated with its states. | |
| bool | has_action_info () const |
| Checks whether this LTS has labels associated with its actions, which are numbers. | |
| Public Member Functions inherited from mcrl2::lts::detail::lts_dot_base | |
| lts_type | type () const |
| The lts_type of state_label_dot. In this case lts_dot. | |
| void | swap (lts_dot_base &) |
| The standard swap function. | |
Detailed Description
A class to contain labelled transition systems in graphviz format.
Action labels are strings, and state labels are pairs with a name field and an action fields.
Member Function Documentation
◆ save() [1/2]
| void mcrl2::lts::lts_dot_t::save | ( | const std::string & | filename | ) | const |
Save the labelled transition system to a file.
Throws an error when the file cannot be opened.
- Parameters
-
[in] filename Name of the file to which this lts is written.
Definition at line 111 of file liblts_dot.cpp.
◆ save() [2/2]
| void mcrl2::lts::lts_dot_t::save | ( | std::ostream & | os | ) | const |
Save the labelled transition system to a stream.
- Parameters
-
[in] os Stream which to write the lts to.
Definition at line 100 of file liblts_dot.cpp.
The documentation for this class was generated from the following files:
- lts/include/mcrl2/lts/lts_dot.h
- lts/source/liblts_dot.cpp
