mCRL2
Loading...
Searching...
No Matches
untyped_pbes.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_PBES_UNTYPED_PBES_H
13#define MCRL2_PBES_UNTYPED_PBES_H
14
16#include "mcrl2/pbes/pbes.h"
17
18namespace mcrl2 {
19
20namespace pbes_system {
21
23{
26 std::vector<pbes_equation> equations;
28
30 {
31 pbes result;
33 result.global_variables() = std::set<data::variable>(global_variables.begin(), global_variables.end());
34 result.equations() = equations;
36 return result;
37 }
38};
39
40} // namespace pbes_system
41
42} // namespace mcrl2
43
44#endif // MCRL2_PBES_UNTYPED_PBES_H
const_iterator end() const
Returns a const_iterator pointing to the end of the term_list.
Definition aterm_list.h:282
const_iterator begin() const
Returns a const_iterator pointing to the beginning of the term_list.
Definition aterm_list.h:275
parameterized boolean equation system
Definition pbes.h:58
const data::data_specification & data() const
Returns the data specification.
Definition pbes.h:150
const propositional_variable_instantiation & initial_state() const
Returns the initial state.
Definition pbes.h:192
const std::set< data::variable > & global_variables() const
Returns the declared free variables of the pbes.
Definition pbes.h:178
const std::vector< pbes_equation > & equations() const
Returns the equations.
Definition pbes.h:164
\brief A propositional variable instantiation
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72
The class pbes.
std::vector< pbes_equation > equations
data::untyped_data_specification dataspec
data::variable_list global_variables
propositional_variable_instantiation initial_state
add your file description here.