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