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¶