| 115 | ConflictGraph::Nodes::Nodes(const NodeSet& ns0) |
| 116 | : ns(ns0), c(ns.next(0)) {} |
| 117 | forceinline void |
| 118 | ConflictGraph::Nodes::operator ++(void) { |
| 119 | c = ns.next(c+1); |
| 120 | } |
| 121 | forceinline int |
| 122 | ConflictGraph::Nodes::operator ()(void) const { |
| 123 | return static_cast<int>(c); |