R65 - woven-planet/opensafety-mbse GitHub Wiki

Movement is a Turn Movement or Thru Movement

From an Entrance Lane there are only two possibilities: straight ahead or turn. As there are several considerations that apply only to Turn Movements, these two possibilities are abstracted separately.

Formalization

<subclass>.(EL inside division, EL road segment, Exit conduit road segment, Exit conduit, Intersection) ->
    Movement.(EL inside division, EL road segment, Exit conduit road segment, Exit conduit, Intersection)
⚠️ **GitHub.com Fallback** ⚠️