mcrl2::lps::process_initializer

Include file:

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

A process initializer.

Public member functions

const data::assignment_list &assignments() 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::assignment_list &assignments)

Constructor.

process_initializer(const process_initializer&) noexcept = default

Move semantics.

process_initializer(process_initializer&&) noexcept = default
data::data_expression_list state(const data::variable_list &process_parameters) const

Returns the initial state of the LPS.

Parameters:

  • process_parameters The parameters of the correponding linear process

Returns: The initial state of the LPS.