risc::sg::EventConflictTable Class Reference

The conflicts are stored in the base class variable conflict_table_. The columns represent wait statements of the segments. The rows are representing the notifications of events. So, a true in conflict_table_[i][j] means that the associated segment/instance i notifies the event for which the associated segment/instance j is waiting. More...

#include <event_conflict_table.h>

Inheritance diagram for risc::sg::EventConflictTable:

[legend]

Collaboration diagram for risc::sg::EventConflictTable:

[legend]

List of all members.

Public Member Functions
	EventConflictTable (SegmentGraph &graph, PathInstanceMapper *path_instance_mapper, bool debugging)
	Default constructor for the DataConflictTable.
std::list < risc::sg::MappedVariable >	get_all_list_events_statically (SgSymbol *sc_event_list, int instance_id)
std::list < risc::sg::MappedVariable >	get_all_list_events_dynamically (SgVariableSymbol *sc_event_list, int instance_id)
virtual void	determine_conflict_table ()
	This function determines conflicts among the segments.
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 ()
	This function prints the table instance_id_to_index_lookup_table in the terminal.
void	set_conflict (int segment_id_1, int instance_id_1, int segment_id_2, int instance_id_2)
VertexDescriptor	segment_id_to_vertex_descriptor (int id)
MappedVariableList	get_mapped_variable_statically (SgVariableSymbol *variable, int instance_id)
MappedVariableList	get_mapped_variable_dynamically (SgVariableSymbol *variable, int instance_id)
Public Attributes
VertexDescriptor *	vertex_lookup_
	This lookup table translates segment ids into vertex descriptors. At position i is the segment with the id of instance_id_to_index_lookup_[0][i].
int	size_of_conflict_table_
	This variable defines the size of the conflict table. The size is quadratic.
int	max_instances_
	This variable represents the max number of module instances in the design. Also, this is the number of rows in the instance_id_to_index_lookup_ table.
int	number_of_segments_
	This variable defines how many segments exist in the segment graph. Also, this is the number of columns in the instance_id_to_index_lookup_ table.
int **	instance_id_to_index_lookup_
	This table should be used a lookup table: (segment id, instance id) -> index of conflict table.
bool **	conflict_table_
	The conflict table.
PathInstanceMapper *	path_instance_mapper_
SegmentGraph &	segment_graph_
ConflictInformation **	conflict_info_
bool	debugging_

---

Detailed Description

The conflicts are stored in the base class variable conflict_table_. The columns represent wait statements of the segments. The rows are representing the notifications of events. So, a true in conflict_table_[i][j] means that the associated segment/instance i notifies the event for which the associated segment/instance j is waiting.

TODO Handling for pointers

---

Constructor & Destructor Documentation

risc::sg::EventConflictTable::EventConflictTable	(	SegmentGraph &	graph,
		PathInstanceMapper *	path_instance_mapper,
		bool	debugging
	)

Default constructor for the DataConflictTable.

---

Member Function Documentation

risc::sg::EventConflictTable::determine_conflict_table

(

)

[virtual]

This function determines conflicts among the segments.

Reimplemented from risc::sg::ConflictTable.

std::list< risc::sg::MappedVariable > risc::sg::EventConflictTable::get_all_list_events_dynamically	(	SgVariableSymbol *	sc_event_list,
		int	instance_id
	)

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

risc::sg::MappedVariableList risc::sg::ConflictTable::get_mapped_variable_dynamically	(	SgVariableSymbol *	variable,
		int	instance_id
	)			[inherited]

risc::sg::MappedVariableList risc::sg::ConflictTable::get_mapped_variable_statically	(	SgVariableSymbol *	variable,
		int	instance_id
	)			[inherited]

bool risc::sg::ConflictTable::has_conflict	(	int	segment_id_1,
		int	instance_id_1,
		int	segment_id_2,
		int	instance_id_2
	)			[inherited]

std::pair< int, int > risc::sg::ConflictTable::index_to_segment_and_instance_id

(

int

index

)

[inherited]

void risc::sg::ConflictTable::print_conflict_table

(

std::string

filename

)

[inherited]

risc::sg::ConflictTable::print_instance_id_to_index_lookup_table

(

)

[inherited]

This function prints the table instance_id_to_index_lookup_table in the terminal.

void risc::sg::ConflictTable::print_lookup_table

(

std::string

filename

)

[inherited]

int risc::sg::ConflictTable::segment_and_instance_id_to_index	(	int	segment_id,
		int	instance_id
	)			[inherited]

risc::sg::VertexDescriptor risc::sg::ConflictTable::segment_id_to_vertex_descriptor

(

int

id

)

[inherited]

void risc::sg::ConflictTable::set_conflict	(	int	segment_id_1,
		int	instance_id_1,
		int	segment_id_2,
		int	instance_id_2
	)			[inherited]

---

Member Data Documentation

ConflictInformation** risc::sg::ConflictTable::conflict_info_ [inherited]

bool** risc::sg::ConflictTable::conflict_table_ [inherited]

The conflict table.

bool risc::sg::ConflictTable::debugging_ [inherited]

int** risc::sg::ConflictTable::instance_id_to_index_lookup_ [inherited]

This table should be used a lookup table: (segment id, instance id) -> index of conflict table.

int risc::sg::ConflictTable::max_instances_ [inherited]

This variable represents the max number of module instances in the design. Also, this is the number of rows in the instance_id_to_index_lookup_ table.

int risc::sg::ConflictTable::number_of_segments_ [inherited]

This variable defines how many segments exist in the segment graph. Also, this is the number of columns in the instance_id_to_index_lookup_ table.

PathInstanceMapper* risc::sg::ConflictTable::path_instance_mapper_ [inherited]

SegmentGraph& risc::sg::ConflictTable::segment_graph_ [inherited]

int risc::sg::ConflictTable::size_of_conflict_table_ [inherited]

This variable defines the size of the conflict table. The size is quadratic.

VertexDescriptor* risc::sg::ConflictTable::vertex_lookup_ [inherited]

This lookup table translates segment ids into vertex descriptors. At position i is the segment with the id of instance_id_to_index_lookup_[0][i].

---

The documentation for this class was generated from the following files:

• /local/lecs/lecs/risc_v0.3.0/sources/build/risc_v0.3.0/src/segment_graph/event_conflict_table.h
• /local/lecs/lecs/risc_v0.3.0/sources/build/risc_v0.3.0/src/segment_graph/event_conflict_table.cpp