1 L0 = <http://www.simantics.org/Layer0-1.1>
\r
2 L0X = <http://www.simantics.org/Layer0X-1.1>
\r
3 PROJ = <http://www.simantics.org/Project-1.2>
\r
4 STR = <http://www.simantics.org/Structural-1.2>
\r
5 MOD = <http://www.simantics.org/Modeling-1.2>
\r
6 DIA = <http://www.simantics.org/Diagram-2.2>
\r
12 PREDS = MOD.Predicates : L0.Library
\r
13 PREDS.HasCounterpart : PRED.Predicate
\r
16 OPS = MOD.Operations : L0.Library
\r
18 MOD.HasModelingOperations <R L0.IsWeaklyRelatedTo
\r
19 MOD.HasDiagramOperations <R L0.IsWeaklyRelatedTo
\r
21 MOD.ModelingOperations : OP.TypeBasedList
22 L0X.HasRelation MOD.HasModelingOperations
24 MOD.DiagramOperations : OP.TypeBasedList
25 L0X.HasRelation MOD.HasDiagramOperations
\r
28 MOD.HasModelingOperations LL : OP.ContextualList <R L0.IsRelatedTo
\r
32 MOD.HasModelingOperations MO : OP.ContextualList <R L0.IsRelatedTo
\r
35 //OPS.NewComponentType : L0.Operation
36 //OPS.NewModel : OP.Operation
\r
39 MOD.HasDiagramOperations _ : OP.ContextualList <R L0.IsRelatedTo
41 _ : OP.ConditionalList
42 OP.HasCondition PREDS.HasCounterpart
43 OP.HasThenElement OPS.NavigateToTarget : OP.Operation
44 //_ : OP.ConditionalList
45 // OP.HasCondition PREDS.HasCounterpart
46 // OP.HasThenElement OPS.DisconnectFlag : OP.Operation
\r
49 MOD.HasDiagramOperations _ : OP.ContextualList <R L0.IsRelatedTo
\r
51 _ : OP.ConditionalList
\r
52 OP.HasCondition PREDS.HasCounterpart
\r
53 OP.HasThenElement OPS.NavigateToTarget : OP.Operation
\r