void Path::forward() { if (!eop()) { _index++; _currentWaypoint = _nextWaypoint; _nextWaypoint = _waypoints.at(_index); } }
enode & operator()(eop_type type, cfg::op_id id) { ops.push_back(eop(type, id)); return *this; }
jump_sentinel(cfg::vertex_descriptor sentinel, eop const & value = eop()) : sentinel(sentinel), value(value) { }