combined_data_conflict_table.h

Go to the documentation of this file.

#ifndef COMBINED_DATA_CONFLICT_TABLE_H_INCLUDED_
#define COMBINED_DATA_CONFLICT_TABLE_H_INCLUDED_

#include<string>
#include<utility>
#include<vector>

#include "data_conflict_table.h"

#include "segment_graph.h" // needed for VertexDescriptor
#include "mapped_variable.h" // needed for MappedVariable

namespace risc {

namespace sg {

class CombinedDataConflictTable {

public:

  CombinedDataConflictTable(
      risc::sg::DataConflictTable &dct,
      PathInstanceMapper *path_instance_mapper);

  ~CombinedDataConflictTable();

  int get_max_instances(int segment_id);

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

  int segment_and_instance_id_to_index(int segment_id, int instance_id);

  void print_conflict_table();

  void print_conflict_table(bool *table);

  void print_conflict_table(std::string filename);

  void print_lookup_table();

  void print_lookup_table(std::string filename);

  int max_prediction_steps();

  PathInstanceMapper *path_instance_mapper_;

  VertexDescriptor *vertex_lookup_;

  int max_instances_;

  int number_of_segments_;

  int size_of_conflict_table_;

  int **instance_id_to_index_lookup_;

  int *combined_table_;

  int prediction_steps_;

private:

  void compute_combined_table();

  risc::sg::DataConflictTable &dct_;
};

} // end of namespace sg

} // end of namespace risc

#endif /* COMBINED_DATA_CONFLICT_TABLE_H_INCLUDED_ */

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