conflict_info_ | risc::sg::ConflictTable | |
conflict_table_ | risc::sg::ConflictTable | |
ConflictTable(SegmentGraph &segment_graph, PathInstanceMapper *path_instance_mapper, bool debugging=false) | risc::sg::ConflictTable | |
debugging_ | risc::sg::ConflictTable | |
determine_conflict_table() | risc::sg::EventConflictTable | virtual |
determine_mapped_events(std::set< SymbolWithPath > &event_list, int instance_id, bool dynamic_analysis) | risc::sg::EventConflictTable | |
EventConflictTable(SegmentGraph &graph, PathInstanceMapper *path_instance_mapper, bool debugging) | risc::sg::EventConflictTable | |
get_all_list_events_dynamically(SgVariableSymbol *sc_event_list, int instance_id) | risc::sg::EventConflictTable | |
get_all_list_events_statically(SgSymbol *sc_event_list, int instance_id, PortCallPath pcp) | risc::sg::EventConflictTable | |
get_channel_id(const SymbolWithPath &swp, int instance, bool dynamic_analysis) | risc::sg::ConflictTable | |
get_channel_id_dynamically(const SymbolWithPath &swp, int instance) | risc::sg::ConflictTable | |
get_channel_id_statically(const SymbolWithPath &swp, int instance) | risc::sg::ConflictTable | |
get_mapped_variable(SgVariableSymbol *variable, int instance_id, bool dynamic_analysis) | risc::sg::ConflictTable | |
get_mapped_variable_dynamically(SgVariableSymbol *variable, int instance_id) | risc::sg::ConflictTable | |
get_mapped_variable_statically(SgVariableSymbol *variable, int instance_id) | risc::sg::ConflictTable | |
get_max_instances(int segment_id) | risc::sg::ConflictTable | |
has_conflict(int segment_id_1, int instance_id_1, int segment_id_2, int instance_id_2) | risc::sg::ConflictTable | |
index_to_segment_and_instance_id(int index) | risc::sg::ConflictTable | |
instance_id_to_index_lookup_ | risc::sg::ConflictTable | |
max_instances_ | risc::sg::ConflictTable | |
max_instances_with_thread_ | risc::sg::ConflictTable | |
number_of_segments_ | risc::sg::ConflictTable | |
path_instance_mapper_ | risc::sg::ConflictTable | |
print_conflict_table(std::string filename) | risc::sg::ConflictTable | |
print_instance_id_to_index_lookup_table() | risc::sg::ConflictTable | |
print_lookup_table(std::string filename) | risc::sg::ConflictTable | |
segment_and_instance_id_to_index(int segment_id, int instance_id) | risc::sg::ConflictTable | |
segment_graph_ | risc::sg::ConflictTable | |
segment_id_to_vertex_descriptor(int id) | risc::sg::ConflictTable | |
set_conflict(int segment_id_1, int instance_id_1, int segment_id_2, int instance_id_2) | risc::sg::ConflictTable | |
size_of_conflict_table_ | risc::sg::ConflictTable | |
vertex_lookup_ | risc::sg::ConflictTable | |
~ConflictTable() | risc::sg::ConflictTable | |