Configurability for Layer0 List modelling

[simantics/platform.git] / bundles / org.simantics.layer0 / graph / Layer0List.pgraph

diff --git a/bundles/org.simantics.layer0/graph/Layer0List.pgraph b/bundles/org.simantics.layer0/graph/Layer0List.pgraph
index 64d13dcf764b2bc5b2f36caf50efef2099499f68..659a8aa226b494e6837189c76a8d6ece50645a55 100644 (file)
--- a/bundles/org.simantics.layer0/graph/Layer0List.pgraph
+++ b/bundles/org.simantics.layer0/graph/Layer0List.pgraph
@@ -7,6 +7,10 @@ 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
@@ -14,4 +18,6 @@ L0.List.Next <R L0.IsRelatedTo : L0.TotalFunction
 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.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