R56 - woven-planet/opensafety-mbse GitHub Wiki

R56 / Generalization

Intersection Exit Lane is a Circular Intersection Exit Lane or Angular Intersection Exit Lane

The logic here is similar to that for Intersection Entrance Lanes. Furthermore, an Angular Intersection Exit Lane may only be connected to an Angular Intersection Entrance Lane.

Formalization

<subclass>.(Inside division, Road segment) -> Intersection Exit Lane.(Inside division, Road segment)
⚠️ **GitHub.com Fallback** ⚠️