User Tools

Site Tools


01_user_documentation:06_graph:01_edge:03_containment

Differences

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

Link to this comparison view

Next revision
Previous revision
01_user_documentation:06_graph:01_edge:03_containment [2025/01/30 10:44] – created gaetan01_user_documentation:06_graph:01_edge:03_containment [2025/08/20 09:36] (current) gaetan
Line 1: Line 1:
 ====== Containment ====== ====== Containment ======
  
-A containment edge contains stuff+A containment edge means that the target node of the edge is contained (in some graph-dependent sense) in the source node of the edge.  
 +The bit mask is 1024. 
 + 
 +The containment edges also use the ''end of containment'' bit mask 2048, which indicate the end of the containment. 
 + 
 +=====  ===== 
 + 
 +XL symbol: no specific symbol, use the defined bit mask. 
 + 
 +<code java> 
 +Node -Graph.CONTAINMENT_EDGE-> Node 
 +</code> 
 + 
 +Representation: 
 + 
 +{{:01_user_documentation:06_graph:01_edge:edge_cont.png?100|}}
01_user_documentation/06_graph/01_edge/03_containment.1738230278.txt.gz · Last modified: 2025/01/30 10:44 by gaetan