event_conflict_table.h

Go to the documentation of this file.

#ifndef EVENT_CONFLICT_TABLE_H_INCLUDED_
#define EVENT_CONFLICT_TABLE_H_INCLUDED_

#include "rose.h"

#include "conflict_table.h"
#include "mapped_variable.h"
#include "port_call_path.h"

#include <unordered_map>


namespace risc {

class PathInstanceMapper;

namespace sg {

class SegmentGraph;

class EventConflictTable: public ConflictTable {

public:

  EventConflictTable(
      SegmentGraph &graph,
      PathInstanceMapper *path_instance_mapper,
      bool debugging);

  std::list<risc::sg::MappedVariable>
  get_all_list_events_statically(SgSymbol *sc_event_list, int instance_id, PortCallPath pcp);

  std::unordered_map<int, std::unordered_map<int, Time>> notify_delay_;
  std::list<risc::sg::MappedVariable>
  get_all_list_events_dynamically(
      SgVariableSymbol *sc_event_list,
      int instance_id);

  virtual void determine_conflict_table();

  std::list<risc::sg::MappedVariable>
  determine_mapped_events(
      std::set<SymbolWithPath> &event_list,
      int instance_id,
      bool dynamic_analysis);
};

}; // end of namesapce sg

}; // end of namespace risc


#endif /* EVENT_CONFLICT_TABLE_H_INCLUDED_ */

/* ex: set softtabstop=2 tabstop=2 shiftwidth=2 expandtab: */