mCRL2
Loading...
Searching...
No Matches
untyped_data_parameter.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_DATA_UNTYPED_DATA_PARAMETER_H
13#define MCRL2_DATA_UNTYPED_DATA_PARAMETER_H
14
16
17namespace mcrl2 {
18
19namespace data {
20
21//--- start generated class untyped_data_parameter ---//
24{
25 public:
28 : atermpp::aterm(core::detail::default_values::UntypedDataParameter)
29 {}
30
34 : atermpp::aterm(term)
35 {
37 }
38
41 : atermpp::aterm(core::detail::function_symbol_UntypedDataParameter(), name, arguments)
42 {}
43
46 : atermpp::aterm(core::detail::function_symbol_UntypedDataParameter(), core::identifier_string(name), arguments)
47 {}
48
52 untyped_data_parameter& operator=(const untyped_data_parameter&) noexcept = default;
53 untyped_data_parameter& operator=(untyped_data_parameter&&) noexcept = default;
54
55 const core::identifier_string& name() const
56 {
57 return atermpp::down_cast<core::identifier_string>((*this)[0]);
58 }
59
61 {
62 return atermpp::down_cast<data_expression_list>((*this)[1]);
63 }
64};
65
68template <class... ARGUMENTS>
69inline void make_untyped_data_parameter(atermpp::aterm& t, const ARGUMENTS&... args)
70{
72}
73
76
78typedef std::vector<untyped_data_parameter> untyped_data_parameter_vector;
79
83inline
85{
87}
88
89// prototype declaration
90std::string pp(const untyped_data_parameter& x);
91
96inline
97std::ostream& operator<<(std::ostream& out, const untyped_data_parameter& x)
98{
99 return out << data::pp(x);
100}
101
104{
105 t1.swap(t2);
106}
107//--- end generated class untyped_data_parameter ---//
108
109} // namespace data
110
111} // namespace mcrl2
112
113#endif // MCRL2_DATA_UNTYPED_DATA_PARAMETER_H
Term containing a string.
aterm()
Default constructor.
Definition aterm.h:48
const function_symbol & function() const
Returns the function symbol belonging to an aterm.
Definition aterm.h:144
void swap(unprotected_aterm_core &t) noexcept
Swaps this term with its argument.
Definition aterm_core.h:152
untyped_data_parameter(const core::identifier_string &name, const data_expression_list &arguments)
\brief Constructor Z12.
const core::identifier_string & name() const
untyped_data_parameter(const std::string &name, const data_expression_list &arguments)
\brief Constructor Z1.
const data_expression_list & arguments() const
untyped_data_parameter(const untyped_data_parameter &) noexcept=default
Move semantics.
untyped_data_parameter(const atermpp::aterm &term)
untyped_data_parameter(untyped_data_parameter &&) noexcept=default
untyped_data_parameter()
\brief Default constructor X3.
The class data_expression.
The main namespace for the aterm++ library.
Definition algorithm.h:21
void make_term_appl(Term &target, const function_symbol &sym, ForwardIterator begin, ForwardIterator end)
Constructor an aterm in a variable based on a function symbol and an forward iterator providing the a...
Definition aterm.h:213
bool check_term_UntypedDataParameter(const Term &t)
const atermpp::function_symbol & function_symbol_UntypedDataParameter()
void swap(abstraction &t1, abstraction &t2)
\brief swap overload
void make_untyped_data_parameter(atermpp::aterm &t, const ARGUMENTS &... args)
atermpp::term_list< untyped_data_parameter > untyped_data_parameter_list
\brief list of untyped_data_parameters
std::string pp(const abstraction &x)
Definition data.cpp:39
bool is_untyped_data_parameter(const atermpp::aterm &x)
std::vector< untyped_data_parameter > untyped_data_parameter_vector
\brief vector of untyped_data_parameters
std::ostream & operator<<(std::ostream &out, const abstraction &x)
Definition abstraction.h:94
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72
static const atermpp::function_symbol UntypedDataParameter