mcrl2::state_formulas::delay_timed =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/modal_formula/state_formula.h .. cpp:class:: mcrl2::state_formulas::delay_timed The timed delay operator for state formulas. Public member functions ------------------------------------------------------------------------------- .. cpp:function:: delay_timed() Default constructor. .. cpp:function:: delay_timed(const atermpp::aterm &term) Constructor. **Parameters:** * **term** A term .. cpp:function:: delay_timed(const data::data_expression &time_stamp) 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