Differences

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

--- 01_user_documentation:06_graph:01_edge:02_branch [2025/01/30 10:43] – created gaetan
+++ 01_user_documentation:06_graph:01_edge:02_branch [2025/08/20 09:28] (current) – gaetan
@@ Line 1: / Line 1: @@
 ====== Branch ======
-A branch edge is a branch.
+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|}}