R157

R157 / 1c:1c-1

Traveling Ego Vehicle wants to get into zero or one Driving Lane

Driving Lane is desired lane of zero or one Traveling Ego Vehicle

---

Only one Multi Lane Maneuver may be executed at a time by a Traveling Ego Vehicle. So either the vehicle wants to traverse toward some target Driving Lane or it doesn’t.

Any given Driving Lane may or may not be the ultimate target of a Multi Lane Change maneuver at a given time.

Notice that a Multi Lane Maneuver can only exist if an ultimate destination Driving Lane has been selected.

Formalization

Multi Lane Maneuver.Ego -> Traveling Ego Vehicle.Ego
Multi Lane Maneuver.(Target lane inside division, Target lane outside division, Road segment) ->
    Driving Lane.(Inside division, Outside division, Road segment)

Road segment {R157c}

Road segment == /R157/Traveling Ego Vehicle/R151/Active Driving Lane.Road segment

We can only change to a Driving Lane within the same Road Segment