Frequently Used Methods
Frequently Used Methods
Frequently Used Methods
Frequently Used Methods
void insert(event& e, Int* i, Int* j) { EQ.append(three_tuple<event*,Int*,Int*>(&e,i,j)); }
void insert(event& e, Int* i, Int* j) { EQ.append(three_tuple<event*,Int*,Int*>(&e,i,j)); }