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 | ||
-e→, ←e-, ←e→, -e- 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 | ||
[, and ] | define the starts and the end of a branch connected subgraph |
Selection Type
groimp-platform/xl-operators.1736510328.txt.gz · Last modified: 2025/01/10 12:58 by gaetan