13 #ifndef CPROVER_MUSKETEER_FENCE_USER_DEF_H 14 #define CPROVER_MUSKETEER_FENCE_USER_DEF_H 37 return selected_cycles.find(cycles_id)==selected_cycles.end();
52 #endif // CPROVER_MUSKETEER_FENCE_USER_DEF_H bool contains_user_def(const event_grapht::critical_cyclet &cycle) const
std::set< unsigned > selected_cycles
fence_user_def_insertert(instrumentert &instr, memory_modelt _model)
virtual bool filter_cycles(unsigned cycles_id) const
fence_user_def_insertert(instrumentert &instr)
ILP construction for all cycles and resolution.
virtual void process_cycles_selection()