mcrl2::state_formulas::delay_timed =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/modal_formula/state_formula.h .. cpp:class:: mcrl2::state_formulas::delay_timed \brief The timed delay operator for state formulas Public member functions ------------------------------------------------------------------------------- .. cpp:function:: delay_timed() \brief Default constructor. .. cpp:function:: delay_timed(const atermpp::aterm &term) \brief Constructor. \param term A term .. cpp:function:: delay_timed(const data::data_expression &time_stamp) \brief Constructor. .. cpp:function:: delay_timed(const delay_timed &) noexcept=default Move semantics. .. cpp:function:: delay_timed(delay_timed &&) noexcept=default .. cpp:function:: delay_timed& operator=(const delay_timed &) noexcept=default .. cpp:function:: delay_timed& operator=(delay_timed &&) noexcept=default .. cpp:function:: const data::data_expression& time_stamp() const