groimp-platform:xl-operators
This is an old revision of the document!
Edge operators
| whitespace | add node and connect with previous node, if any, by a successor edge |
| > | connect node with previous by a successor edge |
| < | connect node with previous by a reverse successor edge |
| ↔ | connect node with previous by successor edges in both directions |
| — | connect node with previous by a successor edge if there does not yet exist such an edge in either direction |
| +>, <+, <+>, -+- | as before, but branch instead of successor edges |
| />, </, </>, -/- | as before, but refinement instead of successor edges |
with an int-valued expression e | as before, but edges of type e instead of successor edges | -n→ with a node-valued expression n | create a compound edge with n encoding the edge data |
| ←n- with a node-valued expression n | as before, but reverse direction |
groimp-platform/xl-operators.1736510201.txt.gz · Last modified: 2025/01/10 12:56 by gaetan