Differences

This shows you the differences between two versions of the page.

--- 01_user_documentation:06_graph:01_edge:02_branch [2025/08/19 16:23] – gaetan
+++ 01_user_documentation:06_graph:01_edge:02_branch [2025/08/20 09:28] (current) – gaetan
@@ Line 3: / Line 3: @@
 A branch edge means that the target node of the edge is the first node of a branch (in some graph-dependent sense) originating at the source node of the edge.
 The bit mask is 512.
+=====  =====
+XL symbol: ''+>'', and ''<+''
+<code java>
+Node +> Node
+</code>
+Representation:
+{{:01_user_documentation:06_graph:01_edge:edge_branch.png?100|}}