| Description: |
no suppresses the sharing of ports of edges at the nodes. Normally, if multiple edges are adjacent to the same node, and the
arrow head of all these edges has the same visual appearance (color, size, etc.), then these edges may share a port at a node,
i.e. only one arrow head is draw, and all edges are incoming into this arrow head. This allows to have many edges adjacent
to one node without getting confused by too many arrow heads. If no port sharing is used, each edge has its own port, i.e.
its own place where it is adjacent to the node.
|