12 if (
auto it = m_events.find(
net); it != m_events.end())
28 m_events[
event.affected_net].push_back(event);
38 for (
auto it=m_events.begin(); it!=m_events.end(); ++it)
39 if (it->first->get_id() == netId)
41 if (found) *found =
true;
44 if (found) *found =
false;
45 return std::vector<WaveEvent>();
Value
represents the type of the node
std::vector< WaveEvent > get_events_by_net_id(u32 netId, bool *found=nullptr) const
BooleanFunction::Value get_net_value(const Net *net, u64 time) const
std::unordered_map< const Net *, std::vector< WaveEvent > > get_events() const
void add_event(const WaveEvent &event)
BooleanFunction::Value new_value