No line crossing

LineCrossing

Description

Overlapping of edges with edges or other elements shall be prevented. Element overlapping is prevented by SCADE editor. Setting the parameter to lines=no does not report edges crossing edges.

Rationale

<TODO>

Verification

<TODO>

Resolution

<TODO>

Customization

N/A.