12#ifndef MCRL2_DATA_ALIAS_H
13#define MCRL2_DATA_ALIAS_H
54 return atermpp::down_cast<basic_sort>((*
this)[0]);
59 return atermpp::down_cast<sort_expression>((*
this)[1]);
65template <
class... ARGUMENTS>
87std::string
pp(
const alias& x);
aterm()
Default constructor.
const function_symbol & function() const
Returns the function symbol belonging to an aterm.
void swap(unprotected_aterm_core &t) noexcept
Swaps this term with its argument.
alias()
\brief Default constructor X3.
alias(const alias &) noexcept=default
Move semantics.
alias(const basic_sort &name, const sort_expression &reference)
\brief Constructor Z12.
alias(alias &&) noexcept=default
alias(const atermpp::aterm &term)
const basic_sort & name() const
const sort_expression & reference() const
The main namespace for the aterm++ library.
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...
const atermpp::function_symbol & function_symbol_SortRef()
bool check_term_SortRef(const Term &t)
void swap(abstraction &t1, abstraction &t2)
\brief swap overload
std::vector< alias > alias_vector
\brief vector of aliass
atermpp::term_list< alias > alias_list
\brief list of aliass
std::string pp(const abstraction &x)
void make_alias(atermpp::aterm &t, const ARGUMENTS &... args)
bool is_alias(const atermpp::aterm &x)
std::ostream & operator<<(std::ostream &out, const abstraction &x)
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
static const atermpp::function_symbol SortRef