mCRL2
Loading...
Searching...
No Matches
multi_action_parse.h
Go to the documentation of this file.
1// Author(s): Wieger Wesselink
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_MULTI_ACTION_PARSE_H
13#define MCRL2_LPS_MULTI_ACTION_PARSE_H
14
15namespace mcrl2 {
16
17namespace lps {
18
19
20} // namespace lps
21
22} // namespace mcrl2
23
24#endif // MCRL2_LPS_MULTI_ACTION_PARSE_H
mcrl2
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72