mCRL2
Loading...
Searching...
No Matches
liblts_add_an_action_loop.h
Go to the documentation of this file.
1// Author(s): Muck van Weerdenburg, 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//
10
11#ifndef _LIBLTS_ADD_ACTION_LOOP_H
12#define _LIBLTS_ADD_ACTION_LOOP_H
13#include "mcrl2/lts/lts.h"
15
16namespace mcrl2
17{
18namespace lts
19{
20
21namespace detail
22{
23
24template < class LTS_TYPE>
25void add_an_action_loop_to_each_state(LTS_TYPE& l, std::size_t action)
26{
27 for(std::size_t i=0; i<l.num_states(); ++i)
28 {
29 l.add_transition(transition(i,action,i));
30 }
31}
32
33} // namespace detail;
34}
35}
36#endif // _LIBLTS_ADD_ACTION_LOOP_H
A class containing triples, source label and target representing transitions.
Definition transition.h:43
The file containing the core class for transition systems.
void add_an_action_loop_to_each_state(LTS_TYPE &l, std::size_t action)
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72