1 L0 = <http://www.simantics.org/Layer0-1.0>
3 L0.HasAttributeName <R L0.HasProperty : L0.FunctionalRelation
6 L0.PropertyType <T L0.Type
7 /*L0.Property <T L0.Entity : L0.PropertyType
11 L0.Operation <T L0.Entity
12 L0.AbstractContextualList <T L0.Entity
13 L0.ContextualList <T L0.AbstractContextualList <T L0.OrderedSet
14 L0.TypeBasedList <T L0.AbstractContextualList
15 @L0.singleProperty L0.HasRelation
16 L0.ConditionalList <T L0.AbstractContextualList
17 @L0.singleProperty L0.HasCondition
18 @L0.singleProperty L0.HasThenElement
19 // [HasElseElement card "0..1"]
20 L0.HasCondition <R L0.IsRelatedTo
21 L0.HasRange L0.Predicate
22 L0.HasThenElement <R L0.IsRelatedTo
23 L0.HasRange L0.AbstractContextualList
24 L0.HasElseElement <R L0.IsRelatedTo
25 L0.HasRange L0.AbstractContextualList
27 L0.Value <T L0.Literal : L0.ValueType
28 @L0.property L0.PropertyOf
31 L0.Version <T L0.String
32 L0.HasVersion <R L0.HasProperty : L0.FunctionalRelation
33 L0.HasRange L0.Version
35 L0.Trigger <T L0.Entity
37 @L0.property L0.IsTriggerOf
38 L0.HasTrigger <R L0.IsRelatedTo
40 L0.HasRange L0.Trigger
41 L0.InverseOf L0.IsTriggerOf <R L0.IsWeaklyRelatedTo
43 L0.Activation <T L0.Entity
45 L0.HasActivation <R L0.IsRelatedTo
47 L0.HasRange L0.Activation
49 L0.Extent <T L0.Entity
50 L0.SubExtentOf <T L0.Entity
51 L0.HasExtent <T L0.Entity
52 L0.Propagates <T L0.Entity
53 L0.PropagatesTo <T L0.Entity
54 L0.Includes <T L0.Entity
55 L0.IsIncludedWith <T L0.Entity
57 L0.HasPackageName <R L0.HasProperty
60 L0.HasChangeCode <R L0.IsRelatedTo
65 L0.Requires <R L0.IsRelatedTo
66 L0.Requirement <T L0.Entity
67 @L0.property L0.Ignore
69 L0.HasRequirement <R L0.DependsOn
70 L0.HasRange L0.Requirement
71 L0.RequirementDisjunction <T L0.Requirement
72 @L0.property L0.HasRequirement
73 L0.RequirementConjunction <T L0.Requirement
74 @L0.property L0.HasRequirement
75 L0.RequirementNegation <T L0.Requirement
76 @L0.singleProperty L0.HasRequirement
77 L0.EqualityRequirement <T L0.Requirement
78 @L0.singleProperty L0.HasEntity
79 L0.TypeRequirement <T L0.Requirement
80 @L0.singleProperty L0.HasType
81 L0.RelationRequirement <T L0.Requirement
82 @L0.singleProperty L0.ConcernsRelation
83 // [HasCardinality card "0..1"]
84 @L0.property L0.AllValuesSatisfy
85 @L0.property L0.SomeValuesSatisfy
86 L0.ValueRequirement <T L0.Requirement
87 // [HasType card "1" all ValueType]
88 @L0.singleProperty L0.HasMultiplicity
89 // [HasValidNumericalRange card "0..1"]
90 L0.HasValueRequirement <R L0.HasProperty
91 L0.HasRange L0.ValueRequirement
92 L0.HasEntity <R L0.IsRelatedTo
93 L0.AllValuesSatisfy <R L0.DependsOn
94 L0.HasRange L0.Requirement
95 L0.SomeValuesSatisfy <R L0.DependsOn
96 L0.HasRange L0.Requirement
97 L0.IntegerRangeUnion <T L0.String
98 L0.HasMultiplicity <R L0.HasProperty
99 L0.HasRange L0.IntegerRangeUnion
100 L0.ValueType <T L0.Type
101 @L0.property L0.HasMultiplicity
105 L0.Predicate <T L0.Entity
106 L0.BinaryPredicate <T L0.Entity
107 L0P = L0.Predicates : L0.Library
108 L0P.Conjunction <T L0.Predicate
109 // [HasPredicate all Predicate]
110 L0P.Disjunction <T L0.Predicate
111 // [HasPredicate all Predicate]
112 L0P.Negation <T L0.Predicate
113 // [HasPredicate all Predicate card "1"]
114 L0BP = L0.BinaryPredicates : L0.Library
115 L0BP.OrderedSetElements : L0.BinaryPredicate
116 L0BP.CompositePredicate <T L0.BinaryPredicate
117 @L0.singleProperty L0BP.AppliesFirst
118 @L0.singleProperty L0BP.AppliesThen
119 L0BP.InversePredicate <T L0.BinaryPredicate
120 @L0.singleProperty L0BP.HasBinaryPredicate
121 L0BP.TransitiveClosure <T L0.BinaryPredicate
122 @L0.singleProperty L0BP.HasBinaryPredicate
123 L0BP.UnionPredicate <T L0.BinaryPredicate
124 @L0.property L0BP.HasBinaryPredicate
125 L0BP.IntersectionPredicate <T L0.BinaryPredicate
126 @L0.property L0BP.HasBinaryPredicate
127 L0BP.HasBinaryPredicate <R L0.IsRelatedTo
128 L0.HasRange L0.BinaryPredicate
129 L0BP.AppliesFirst <R L0.IsRelatedTo
130 L0.HasRange L0.BinaryPredicate
131 L0BP.AppliesThen <R L0.IsRelatedTo
132 L0.HasRange L0.BinaryPredicate
134 L0.EntityType <T L0.Type
135 L0.Constraint <T L0.Entity
136 L0.EvaluatesTo <R L0.IsRelatedTo