R3 - woven-planet/opensafety-mbse GitHub Wiki

R3 / Generalization

Road Segment is a One Way Road Segment Two Way Road Segment or Undivided Road Segment

There are only three possible ways that traffic can flow on a Road Segment. Traffic either flows one way, both ways divided or both ways undivided.

Formalization

<subclass>.ID -> Road Segment.ID
⚠️ **GitHub.com Fallback** ⚠️