12 #ifndef CPROVER_MUSKETEER_GRAPH_VISITOR_H 13 #define CPROVER_MUSKETEER_GRAPH_VISITOR_H 32 void PT(
const edget &e, std::set<unsigned> &edges);
33 void CT(
const edget &e, std::set<unsigned> &edges);
35 void IT(
const edget &e, std::set<unsigned> &edges);
41 std::list<event_idt> &old_path);
43 std::list<event_idt> &old_path, std::set<unsigned> &edges);
45 std::list<event_idt> &old_path, std::set<unsigned> &edges,
bool porw);
47 std::list<event_idt> &old_path, std::set<unsigned> &edges,
bool porw);
50 std::list<event_idt> &old_path,
51 std::set<unsigned> &edges)
59 std::list<event_idt> &old_path,
60 std::set<unsigned> &edges)
66 std::list<event_idt> &old_path);
68 std::list<event_idt> &old_path);
75 #endif // CPROVER_MUSKETEER_GRAPH_VISITOR_H void graph_explore_BC(event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges)
const_graph_visitort(fence_insertert &_fence_inserter)
void CT_not_powr(const edget &e, std::set< unsigned > &edges)
void graph_explore_AC(event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges)
void CT(const edget &e, std::set< unsigned > &edges)
event_grapht::critical_cyclet::delayt edget
fence_insertert & fence_inserter
wmm_grapht::node_indext event_idt
void graph_explore(event_grapht &graph, event_idt next, event_idt end, std::list< event_idt > &old_path, std::set< unsigned > &edges)
void const_graph_explore(event_grapht &graph, event_idt next, event_idt end, std::list< event_idt > &old_path)
void graph_explore_BC(event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges, bool porw)
void graph_explore_AC(event_grapht &egraph, event_idt next, std::list< event_idt > &old_path, std::set< unsigned > &edges, bool porw)
void const_graph_explore_BC(event_grapht &egraph, event_idt next, std::list< event_idt > &old_path)
void const_graph_explore_AC(event_grapht &egraph, event_idt next, std::list< event_idt > &old_path)
void PT(const edget &e, std::set< unsigned > &edges)
std::set< event_idt > visited_nodes
void IT(const edget &e, std::set< unsigned > &edges)