You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If a nodified edge node has multiple incoming/outgoing edges, they are all treated the same. Instead, the formatting instructions could be moved to the edges themselves, by introducing a format: or label: prefix in the type graph. In fact, this could be supported independently from the fact that they are incident to a nodified edge node.
Reported by: rensink
The text was updated successfully, but these errors were encountered:
If a nodified edge node has multiple incoming/outgoing edges, they are all treated the same. Instead, the formatting instructions could be moved to the edges themselves, by introducing a format: or label: prefix in the type graph. In fact, this could be supported independently from the fact that they are incident to a nodified edge node.
Reported by: rensink
The text was updated successfully, but these errors were encountered: