bundles/org.simantics.datatypes.ontology/graph/BTree.pgraph

   1 L0 = <http://www.simantics.org/Layer0-1.1>
   2
   3 DATA = <http://www.simantics.org/Datatypes-1.1>
   4
   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
  11
  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
  16
  17 DATA.BTreeNode.Content <T L0.Literal
  18     @L0.assert L0.HasDataType ${
  19       leaf : Boolean,
  20       size : Integer,
  21       keys : Optional(Variant)[],
  22       values : Optional(Long(unit="resource"))[],
  23       children : Optional(Long(unit="resource"))[]
  24     }
  25