X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.layer0%2Fgraph%2FLayer0List.pgraph;h=659a8aa226b494e6837189c76a8d6ece50645a55;hb=15f274a205dabc11df9bf880291320fa5274e535;hp=abeacb4d78bdb59d348a7245f376a3d8e3033dce;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.layer0/graph/Layer0List.pgraph b/bundles/org.simantics.layer0/graph/Layer0List.pgraph
index abeacb4d7..659a8aa22 100644
--- a/bundles/org.simantics.layer0/graph/Layer0List.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0List.pgraph
@@ -1,17 +1,23 @@
-L0 = <http://www.simantics.org/Layer0-1.1>
-
-L0.list : L0.Template 
-    L0.HasDescription "A builtin template that is only used in graph compilation."
-
-L0.List <T L0.Value
-    L0.HasDescription """Represents a list of resources that may contain repetitions."""
-    @L0.assert L0.HasValueType "[Resource]"
-    @L0.assert L0.ConvertsToValueWith L0.Functions.listResources
-L0.List.Entry <T L0.List
-L0.List.Next <R L0.IsRelatedTo : L0.TotalFunction
-    L0.HasDomain L0.List
-    L0.HasRange L0.List
-L0.List.Previous <R L0.IsRelatedTo : L0.TotalFunction
-    L0.InverseOf L0.List.Next
-L0.List.Element <R L0.IsRelatedTo : L0.TotalFunction
-    L0.HasDomain L0.List.Entry
\ No newline at end of file
+L0 = <http://www.simantics.org/Layer0-1.1>
+
+L0.list : L0.Template 
+    L0.HasDescription "A builtin template that is only used in graph compilation."
+
+L0.List <T L0.Value
+    L0.HasDescription """Represents a list of resources that may contain repetitions."""
+    @L0.assert L0.HasValueType "[Resource]"
+    @L0.assert L0.ConvertsToValueWith L0.Functions.listResources
+    >-- L0.List.ElementPredicate --> L0.Relation <R L0.DependsOn : L0.FunctionalRelation
+    @L0.assert L0.List.ElementPredicate L0.List.Element
+L0.ListWithInverses <T L0.List    
+    @L0.assert L0.List.ElementPredicate L0.List.ElementWithInverse
+L0.List.Entry <T L0.List
+L0.List.Next <R L0.IsRelatedTo : L0.TotalFunction
+    L0.HasDomain L0.List
+    L0.HasRange L0.List
+L0.List.Previous <R L0.IsRelatedTo : L0.TotalFunction
+    L0.InverseOf L0.List.Next
+L0.List.Element <R L0.IsRelatedTo : L0.TotalFunction
+    L0.HasDomain L0.List.Entry
+L0.List.ElementWithInverse <R L0.List.Element
+    L0.InverseOf L0.List.ElementWithInverse.Inverse <R L0.IsRelatedTo     
\ No newline at end of file