/local/lecs/lecs/risc_v0.2.0/build/risc_v0.2.0/src/segment_graph/conflict_table.h

Go to the documentation of this file.

#ifndef CONFLICT_TABLE_H_INCLUDED_
#define CONFLICT_TABLE_H_INCLUDED_

#include<utility>

#include "../internal_representation/path_instance_mapper.h"
#include "segment_graph.h"

namespace risc {

namespace sg {

class ConflictTable {
public:

  ConflictTable(
      SegmentGraph &segment_graph,
      PathInstanceMapper &path_instance_mapper,
      bool debugging = false);

  ~ConflictTable();

  VertexDescriptor *vertex_lookup_;

  int size_of_conflict_table_;

  int max_instances_;

  int number_of_segments_;

  int **instance_id_to_index_lookup_;

  bool **conflict_table_;

  void print_conflict_table(std::string filename);

  void print_lookup_table(std::string filename);

  int segment_and_instance_id_to_index(int segment_id, int instance_id);

  std::pair<int, int> index_to_segment_and_instance_id(int index);

  bool has_conflict(int segment_id_1, int instance_id_1, int segment_id_2,
      int instance_id_2);

  void print_instance_id_to_index_lookup_table();

  void set_conflict(int segment_id_1, int instance_id_1,
      int segment_id_2, int instance_id_2);

  void set_conflict_cause(int segment_id_1, int instance_id_1,
      int segment_id_2, int instance_id_2, SgNode *cause = NULL);

  virtual void determine_conflict_table();


  VertexDescriptor segment_id_to_vertex_descriptor(int id);

  PathInstanceMapper &path_instance_mapper_;
  SegmentGraph &segment_graph_;

  // The following part is for debugging purposes
  struct ConflictInformation {
    std::set<SgNode*> conflict_variables_;
  };

  ConflictInformation **conflict_info_;

  bool debugging_;
};

}; // end of namesapce sg

}; // end of namespace risc

#endif /* CONFLICT_TABLE_H_INCLUDED_ */

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

---