mcrl2::state_formulas::delay

Include file:

#include "mcrl2/modal_formula/state_formula.h
class mcrl2::state_formulas::delay

The delay operator for state formulas.

Public member functions

delay()

Default constructor.

delay(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

delay(const delay&) noexcept = default

Move semantics.

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