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