mcrl2::state_formulas::delay_timed

Include file:

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

The timed delay operator for state formulas.

Public member functions

delay_timed()

Default constructor.

delay_timed(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term

delay_timed(const data::data_expression &time_stamp)

Constructor.

delay_timed(const delay_timed&) noexcept = default

Move semantics.

delay_timed(delay_timed&&) noexcept = default
delay_timed &operator=(const delay_timed&) noexcept = default
delay_timed &operator=(delay_timed&&) noexcept = default
const data::data_expression &time_stamp() const