12 #ifndef CPROVER_MUSKETEER_CYCLES_VISITOR_H 13 #define CPROVER_MUSKETEER_CYCLES_VISITOR_H 34 void po_edges(std::set<event_idt> &edges);
39 std::set<event_idt> &edges);
41 std::set<event_idt> &edges);
43 std::set<event_idt> &edges);
45 std::set<event_idt> &edges);
47 std::set<event_idt> &edges);
50 #endif // CPROVER_MUSKETEER_CYCLES_VISITOR_H
void poww_constraint(const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
void powr_constraint(const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
void po_edges(std::set< event_idt > &edges)
cycles_visitort(fence_insertert &_fi)
void porr_constraint(const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
void porw_constraint(const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
fence_insertert & fence_inserter
void com_constraint(const event_grapht::critical_cyclet &C_j, std::set< event_idt > &edges)
event_grapht::critical_cyclet::delayt edget