mcrl2::process::delta

Include file:

#include "mcrl2/process/process_expression.h

class mcrl2::process::delta

brief The value delta

Public member functions

delta()

brief Default constructor.

delta(const atermpp::aterm &term)

brief Constructor. param 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