mcrl2::process::delta

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::delta

The value delta.

Public member functions

delta()

Default constructor.

delta(const atermpp::aterm &term)

Constructor.

Parameters:

• term A term

delta(const delta&) noexcept = default

Move semantics.

delta(delta&&) noexcept = default

delta &operator=(const delta&) noexcept = default

delta &operator=(delta&&) noexcept = default