mCRL2
Loading...
Searching...
No Matches
state_label_empty.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
17#ifndef MCRL2_LTS_STATE_LABEL_EMPTY_H
18#define MCRL2_LTS_STATE_LABEL_EMPTY_H
19
20#include <string>
21
22namespace mcrl2
23{
24namespace lts
25{
26
32{
33 public:
34
35 /* \brief Equality on empty state labels. Always returns true.
36 */
37 bool operator ==(const state_label_empty&) const
38 {
39 return true;
40 }
41
42 /* \brief Non equality on empty state labels. Always returns false.
43 */
44 bool operator !=(const state_label_empty& other) const
45 {
46 return !(*this==other);
47 }
48
51 {
52 return state_label_empty();
53 }
54
55};
56
57inline std::string pp(const state_label_empty& )
58{
59 return "empty";
60}
61
62
63} // namespace lts
64} // namespace mcrl2
65
66#endif
67
68
Contains empty state values, used for lts's without state valued.
bool operator==(const state_label_empty &) const
bool operator!=(const state_label_empty &other) const
state_label_empty operator+(const state_label_empty &) const
An operator to concatenate two state labels.
std::string pp(const abstraction &x)
Definition data.cpp:39
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72