-
Notifications
You must be signed in to change notification settings - Fork 1
/
mlt_theme_clean1.thm
executable file
·86 lines (64 loc) · 2.21 KB
/
mlt_theme_clean1.thm
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
<?xml version="1.0"?>
<alloy>
<view>
<defaultnode/>
<defaultedge visible="no" constraint="no"/>
<node>
<type name="Int"/>
<type name="String"/>
<type name="univ"/>
<type name="seq/Int"/>
<set name="$e" type="Entity"/>
</node>
<node hideunconnected="no" label="E">
<type name="Entity"/>
</node>
<node label="Type">
<set name="this/Type" type="Entity"/>
</node>
<node shape="Inv House" color="White" label="Individual">
<set name="this/Individual" type="Entity"/>
</node>
<node shape="Inv Trapezoid" color="Gray" label="OrderedType">
<set name="this/OrderedType" type="Entity"/>
</node>
<node shape="Inv Trapezoid" color="Green" label="BasicType">
<set name="this/BasicType" type="Entity"/>
</node>
<node shape="Trapezoid" color="Blue" label="OrderlessType">
<set name="this/OrderlessType" type="Entity"/>
</node>
<node showlabel="yes" label="Individual_">
<set name="this/Individual_" type="Entity"/>
</node>
<node showlabel="yes" label="OrderedType_">
<set name="this/OrderedType_" type="Entity"/>
</node>
<node showlabel="yes" label="OrderlessType_">
<set name="this/OrderlessType_" type="Entity"/>
</node>
<node showlabel="yes" label="Type_">
<set name="this/Type_" type="Entity"/>
</node>
<node showlabel="yes" shape="House" label="Entity_">
<set name="this/Entity_" type="Entity"/>
</node>
<edge attribute="yes">
<relation name="directCharacterizes"> <type name="Entity"/> <type name="Entity"/> </relation>
<relation name="isDirectSubordinateTo"> <type name="Entity"/> <type name="Entity"/> </relation>
<relation name="powertypeOf"> <type name="Entity"/> <type name="Entity"/> </relation>
</edge>
<edge color="Magic" style="Dotted" visible="yes" constraint="yes">
<relation name="directIof"> <type name="Entity"/> <type name="Entity"/> </relation>
</edge>
<edge layout="no">
<relation name="disjCharacterizes"> <type name="Entity"/> <type name="Entity"/> </relation>
</edge>
<edge style="Bold" visible="yes" layout="yes" constraint="yes">
<relation name="directSpecializes"> <type name="Entity"/> <type name="Entity"/> </relation>
</edge>
<edge style="Dotted">
<relation name="iof"> <type name="Entity"/> <type name="Entity"/> </relation>
</edge>
</view>
</alloy>