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
58 static state_label_empty number_to_label(const std::size_t )
59 {
60 return state_label_empty();
61 }
62};
63
64inline std::string pp(const state_label_empty& )
65{
66 return "empty";
67}
68
69
70} // namespace lts
71} // namespace mcrl2
72
73#endif
74
75
Contains empty state values, used for lts's without state valued.
bool operator==(const state_label_empty &) const
static state_label_empty number_to_label(const std::size_t)
Create a state label consisting of a number as the only list element. For empty state labels this doe...
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