groimp-platform:xl-operators
This is an old revision of the document!
Table of Contents
Production operators
Production operators are operators that can be used in a production statement.
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 |
| [, ] | define the starts and the end of a branch connected subgraph |
Pattern predicates
ID usually represent identifier, but can also be expression. The symbols are put between '. The pattern predicates can only be used on the pattern side of the query.
groimp-platform/xl-operators.1736518111.txt.gz · Last modified: 2025/01/10 15:08 by gaetan