31 template <
typename VT,
typename TT=sc_time>
35 tt_event(
const VT& value,
const TT& time) : value(value), time(time) {}
47 value = get_value(ev);
56 return (value == get_value(ev)) && (time == get_time(ev));
60 friend std::ostream& operator<< (std::ostream& os,
const tt_event &ev)
62 os <<
"(" << ev.value <<
"," << ev.time <<
")";
66 inline friend VT get_value(
const tt_event& ev) {
return ev.value;}
68 inline friend TT get_time(
const tt_event& ev) {
return ev.time;}
70 inline friend void set_value(
tt_event& ev,
const VT& v) {ev.value = v;}
72 inline friend void set_time(
tt_event& ev,
const TT& t) {ev.time = t;}
tt_event(const VT &value, const TT &time)
The constructor with time and value.
Definition: tt_event.hpp:35
Time-tagged data types.
Definition: tt_event.hpp:32
The namespace for ForSyDe.
Definition: abssemantics.hpp:30
Implements the Absent-extended values.
tt_event()
The default constructor.
Definition: tt_event.hpp:38
tt_event(const tt_event &ev)
The copy constructor.
Definition: tt_event.hpp:45