1 L0 = <http://www.simantics.org/Layer0-1.1>
3 DATA = <http://www.simantics.org/Datatypes-1.1>
5 DATA.BTree <T L0.Entity
6 >-- DATA.BTree.root --> DATA.BTreeNode <R L0.IsComposedOf : L0.FunctionalRelation
7 >-- DATA.BTree.t --> L0.Integer <R L0.HasProperty : L0.FunctionalRelation
8 >-- DATA.BTree.HasOwnerRelation <R L0.DependsOn
9 >-- DATA.BTree.HasNodeType <R L0.DependsOn
10 >-- DATA.BTree.mod --> L0.Long <R L0.HasProperty : L0.FunctionalRelation
12 DATA.BTreeNode <T L0.Entity
13 >-- DATA.BTreeNode.content --> DATA.BTreeNode.Content <R L0.HasProperty : L0.FunctionalRelation
14 >-- DATA.BTreeNode.Owns <R L0.IsComposedOf
15 L0.InverseOf DATA.BTreeNode.IsOwnedBy
17 DATA.BTreeNode.Content <T L0.Literal
18 @L0.assert L0.HasDataType ${
21 keys : Optional(Variant)[],
22 values : Optional(Long(unit="resource"))[],
23 children : Optional(Long(unit="resource"))[]