22 #define OUTPUT(s, fence, file, line, id, type) \ 23 s<<fence<<"|"<<file<<"|"<<line<<"|"<<id<<"|"<<type<<'\n' 28 res.open(
"results.txt");
30 for(std::list<event_idt>::const_iterator st_it=
egraph.
po_order.begin();
75 for(wmm_grapht::edgest::const_iterator
std::list< event_idt > po_order
static mstreamt & eom(mstreamt &m)
const wmm_grapht::edgest & po_out(event_idt n) const
const irep_idt & get_line() const
#define OUTPUT(s, fence, file, line, id, type)
const wmm_grapht::edgest & com_out(event_idt n) const
wmm_grapht::node_indext event_idt
bool find_second_event(event_idt source)
const irep_idt & get_file() const
void collect_pairs(namespacet &ns)
std::set< event_idt > visited_nodes
source_locationt source_location