mCRL2
Loading...
Searching...
No Matches
state.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//
11
12#ifndef MCRL2_LPS_STATE_H
13#define MCRL2_LPS_STATE_H
14
17
18namespace mcrl2
19{
20
21namespace lps
22{
23
25
26template<class ForwardTraversalIterator, class Transformer>
27void make_state(state& result,
28 ForwardTraversalIterator p,
29 const std::size_t size,
30 Transformer transformer)
31{
32 // make_term_balanced_tree<data::data_expression>(result, p, size, transformer);
33 make_term_balanced_tree(result, p, size, transformer);
34}
35
36template<class ForwardTraversalIterator>
37void make_state(state& result,
38 ForwardTraversalIterator p,
39 const std::size_t size)
40{
41 // make_term_balanced_tree<data::data_expression>(result, p, size, transformer);
42 make_term_balanced_tree(result,
43 p,
44 size,
45 [](data::data_expression& result, const data::data_expression& t){ result=t; });
46}
47
48// template function overloads
49inline std::string pp(const lps::state& x)
50{
51 return atermpp::pp(x);
52}
53
54} // namespace lps
55} // namespace mcrl2
56
57#endif // MCRL2_LPS_STATE_H
58
Read-only balanced binary tree of terms.
The class data_expression.
std::string pp(const atermpp::aterm &t)
Transform an aterm to an ascii string.
Definition aterm.h:440
atermpp::term_balanced_tree< data::data_expression > state
Definition state.h:24
std::string pp(const action_summand &x)
Definition lps.cpp:26
void make_state(state &result, ForwardTraversalIterator p, const std::size_t size, Transformer transformer)
Definition state.h:27
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72