mcrl2::state_formulas::delay

Include file:

#include "mcrl2/modal_formula/state_formula.h

class mcrl2::state_formulas::delay

brief The delay operator for state formulas

Public member functions

delay()

brief Default constructor.

delay(const atermpp::aterm &term)

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