mcrl2::process::process_identifier

Include file:

#include "mcrl2/process/process_identifier.h
class mcrl2::process::process_identifier

A process identifier.

Public member functions

const core::identifier_string &name() const
process_identifier &operator=(const process_identifier&) noexcept = default
process_identifier &operator=(process_identifier&&) noexcept = default
process_identifier(const process_identifier&) noexcept = default

Move semantics.

process_identifier(process_identifier&&) noexcept = default
process_identifier()

Default constructor.

process_identifier(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
process_identifier(const core::identifier_string &name, const data::variable_list &variables)

Constructor.

process_identifier(const std::string &name, const data::variable_list &variables)

Constructor.

const data::variable_list &variables() const