mCRL2
Loading...
Searching...
No Matches
lts_aut.h
Go to the documentation of this file.
1// Author(s): Jan Friso Groote
2// Copyright: see the accompanying file COPYING or copy at
3// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
4//
5// Distributed under the Boost Software License, Version 1.0.
6// (See accompanying file LICENSE_1_0.txt or copy at
7// http://www.boost.org/LICENSE_1_0.txt)
8//
9
19#ifndef MCRL2_LTS_LTS_AUT_H
20#define MCRL2_LTS_LTS_AUT_H
21
26
27
28namespace mcrl2
29{
30namespace lts
31{
32
33namespace detail
34{
35
36
37
39{
40 public:
43 {
44 return lts_aut;
45 }
46
49 {
50 // Does intentionally not provide any action.
51 }
52
55 bool operator==(const lts_aut_base&) const
56 {
57 return true;
58 }
59};
60
61} // end namespace detail
62
63
69class lts_aut_t : public lts< state_label_empty, action_label_string, detail::lts_aut_base>
70{
71 public:
72
78 void load(const std::string& filename);
79
84 void load(std::istream& is);
85
90 void save(const std::string& filename) const;
91};
92
99 public probabilistic_lts< state_label_empty,
100 action_label_string,
101 mcrl2::lts::probabilistic_state<std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction>,
102 detail::lts_aut_base>
103{
104 public:
105
111 void load(const std::string& filename);
112
117 void load(std::istream& is);
118
123 void save(const std::string& filename) const;
124};
125
126} // namespace lts
127} // namespace mcrl2
128
129#endif
This file contains a class that contains labelled transition systems in aut format.
void swap(lts_aut_base &)
Standard swap function.
Definition lts_aut.h:48
lts_type type()
Provides the type of this lts, in casu lts_aut.
Definition lts_aut.h:42
bool operator==(const lts_aut_base &) const
Standard equality function.
Definition lts_aut.h:55
A simple labelled transition format with only strings as action labels.
Definition lts_aut.h:70
void load(const std::string &filename)
Load the labelled transition system from a file.
void save(const std::string &filename) const
Save the labelled transition system to file.
A class that contains a labelled transition system.
Definition lts.h:83
A simple labelled transition format with only strings as action labels.
Definition lts_aut.h:103
void load(const std::string &filename)
Load the labelled transition system from a file.
void save(const std::string &filename) const
Save the labelled transition system to file.
A class that contains a labelled transition system.
lts_type
The enumerated type lts_type contains an index for every type type of labelled transition system that...
Definition lts_type.h:37
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72
This file contains a class that contains labels for probabilistic transitions. These consist of a 64 ...
The file containing the core class for transition systems.
This file contains the class with empty state labels.