mcrl2::process::untyped_process_assignment

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::untyped_process_assignment

brief 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()

brief Default constructor.

untyped_process_assignment(const atermpp::aterm &term)

brief Constructor. param term A term

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

brief Constructor.

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

brief Constructor.

untyped_process_assignment(const untyped_process_assignment&) noexcept = default

Move semantics.

untyped_process_assignment(untyped_process_assignment&&) noexcept = default