mcrl2::lps::process_initializer

Include file:

#include "mcrl2/lps/process_initializer.h
class mcrl2::lps::process_initializer

A process initializer.

Public member functions

data::data_expression_list expressions() const
process_initializer &operator=(const process_initializer&) noexcept = default
process_initializer &operator=(process_initializer&&) noexcept = default
process_initializer()

Default constructor.

process_initializer(const atermpp::aterm &term, bool check_distribution = true)

Constructor.

Parameters:

  • term A term.

  • check_distribution Check whether the initial state is plain or a state distribution.

process_initializer(const data::data_expression_list &expressions)

Constructor.

process_initializer(const process_initializer&) noexcept = default

Move semantics.

process_initializer(process_initializer&&) noexcept = default