21 for(event_grapht::critical_cyclet::const_iterator it=cycle.begin();
22 it!=cycle.end(); ++it)
36 for(std::set<event_grapht::critical_cyclet>::const_iterator
bool contains_user_def(const event_grapht::critical_cyclet &cycle) const
bool is_fence(const goto_programt::instructiont &instruction, const namespacet &ns)
std::set< unsigned > selected_cycles
ILP construction for cycles containing user-placed fences and resolution.
instrumentert & instrumenter
std::set< event_grapht::critical_cyclet > set_of_cycles
bool has_user_defined_fence
virtual void process_cycles_selection()