mcrl2::process::untyped_process_assignment

Include file:

#include "mcrl2/process/process_expression.h
class mcrl2::process::untyped_process_assignment

An untyped process assginment.

Public member functions

const data::untyped_identifier_assignment_list &assignments() const
const core::identifier_string &name() const
untyped_process_assignment &operator=(const untyped_process_assignment&) noexcept = default
untyped_process_assignment &operator=(untyped_process_assignment&&) noexcept = default
untyped_process_assignment()

Default constructor.

untyped_process_assignment(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
untyped_process_assignment(const core::identifier_string &name, const data::untyped_identifier_assignment_list &assignments)

Constructor.

untyped_process_assignment(const std::string &name, const data::untyped_identifier_assignment_list &assignments)

Constructor.

untyped_process_assignment(const untyped_process_assignment&) noexcept = default

Move semantics.

untyped_process_assignment(untyped_process_assignment&&) noexcept = default