check_AC(const_iterator s_it, const abstract_eventt &first, const abstract_eventt &second) const | event_grapht::critical_cyclet | protected |
check_BC(const_iterator it, const abstract_eventt &first, const abstract_eventt &second) const | event_grapht::critical_cyclet | protected |
compute_unsafe_pairs(memory_modelt model) | event_grapht::critical_cyclet | inline |
critical_cyclet(event_grapht &_egraph, unsigned _id) | event_grapht::critical_cyclet | inline |
egraph | event_grapht::critical_cyclet | protected |
has_user_defined_fence | event_grapht::critical_cyclet | |
hide_internals(critical_cyclet &reduced) const | event_grapht::critical_cyclet | |
id | event_grapht::critical_cyclet | |
is_cycle() | event_grapht::critical_cyclet | inline |
is_not_thin_air() const | event_grapht::critical_cyclet | |
is_not_uniproc() const | event_grapht::critical_cyclet | protected |
is_not_uniproc(memory_modelt model) const | event_grapht::critical_cyclet | inline |
is_not_weak_uniproc() const | event_grapht::critical_cyclet | protected |
is_unsafe(memory_modelt model, bool fast=false) | event_grapht::critical_cyclet | |
is_unsafe_asm(memory_modelt model, bool fast=false) | event_grapht::critical_cyclet | |
is_unsafe_fast(memory_modelt model) | event_grapht::critical_cyclet | inline |
operator()(const critical_cyclet &cyc) | event_grapht::critical_cyclet | inline |
operator<(const critical_cyclet &other) const | event_grapht::critical_cyclet | inline |
print() const | event_grapht::critical_cyclet | |
print_all(memory_modelt model, std::map< std::string, std::string > &map_id2var, std::map< std::string, std::string > &map_var2id, bool hide_internals) const | event_grapht::critical_cyclet | |
print_detail(const critical_cyclet &reduced, std::map< std::string, std::string > &map_id2var, std::map< std::string, std::string > &map_var2id, memory_modelt model) const | event_grapht::critical_cyclet | protected |
print_dot(std::ostream &str, unsigned colour, memory_modelt model) const | event_grapht::critical_cyclet | |
print_events() const | event_grapht::critical_cyclet | |
print_name(const critical_cyclet &redyced, memory_modelt model) const | event_grapht::critical_cyclet | protected |
print_name(memory_modelt model) const | event_grapht::critical_cyclet | inline |
print_name(memory_modelt model, bool hide_internals) const | event_grapht::critical_cyclet | inline |
print_output() const | event_grapht::critical_cyclet | |
print_unsafes() const | event_grapht::critical_cyclet | |
unsafe_pairs | event_grapht::critical_cyclet | |