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
|
digraph tests/Morph {
graph [ratio=0.5]
node [style=filled]
Morph_rw [label="rw", URL=<Morph.html#rw>, peripheries=3, fillcolor="#7FFFD4"] ;
Morph_FsmpM [label="FsmpM", URL=<Morph.html#FsmpM>, peripheries=3, fillcolor="#7FFFD4"] ;
Morph_FsmpM_Proper [label="FsmpM_Proper", URL=<Morph.html#FsmpM_Proper>, fillcolor="#FFB57F"] ;
Morph_Fsmp [label="Fsmp", URL=<Morph.html#Fsmp>, fillcolor="#FACDEF"] ;
Morph_FequivR [label="FequivR", URL=<Morph.html#FequivR>, fillcolor="#7FFFD4"] ;
Morph_FequivR_Transitive [label="FequivR_Transitive", URL=<Morph.html#FequivR_Transitive>, peripheries=3, fillcolor="#7FFFD4"] ;
Morph_FequivR_Symmetric [label="FequivR_Symmetric", URL=<Morph.html#FequivR_Symmetric>, peripheries=3, fillcolor="#7FFFD4"] ;
Morph_FequivR_Reflexive [label="FequivR_Reflexive", URL=<Morph.html#FequivR_Reflexive>, peripheries=3, fillcolor="#7FFFD4"] ;
Morph_FequivR_relation [label="FequivR_relation", URL=<Morph.html#FequivR_relation>, peripheries=3, fillcolor="#7FFFD4"] ;
Morph_Fequiv_trans [label="Fequiv_trans", URL=<Morph.html#Fequiv_trans>, fillcolor="#FFB57F"] ;
Morph_Fequiv_sym [label="Fequiv_sym", URL=<Morph.html#Fequiv_sym>, fillcolor="#FFB57F"] ;
Morph_Fequiv_refl [label="Fequiv_refl", URL=<Morph.html#Fequiv_refl>, fillcolor="#FFB57F"] ;
Morph_Fequiv [label="Fequiv", URL=<Morph.html#Fequiv>, fillcolor="#FACDEF"] ;
Morph_F [label="F", URL=<Morph.html#F>, fillcolor="#FACDEF"] ;
Morph_rw -> Morph_FsmpM_Proper [] ;
Morph_rw -> Morph_FequivR [] ;
Morph_FsmpM -> Morph_FsmpM_Proper [] ;
Morph_FsmpM_Proper -> Morph_Fsmp [] ;
Morph_FsmpM_Proper -> Morph_Fequiv [] ;
Morph_Fsmp -> Morph_F [] ;
Morph_FequivR -> Morph_Fequiv_trans [] ;
Morph_FequivR -> Morph_Fequiv_sym [] ;
Morph_FequivR -> Morph_Fequiv_refl [] ;
Morph_FequivR_Transitive -> Morph_Fequiv_trans [] ;
Morph_FequivR_Symmetric -> Morph_Fequiv_sym [] ;
Morph_FequivR_Reflexive -> Morph_Fequiv_refl [] ;
Morph_FequivR_relation -> Morph_Fequiv [] ;
Morph_Fequiv_trans -> Morph_Fequiv [] ;
Morph_Fequiv_sym -> Morph_Fequiv [] ;
Morph_Fequiv_refl -> Morph_Fequiv [] ;
Morph_Fequiv -> Morph_F [] ;
subgraph cluster_Morph { label="Morph"; fillcolor="#FFFFC3"; labeljust=l; style=filled
Morph_F; Morph_Fequiv; Morph_Fequiv_refl; Morph_Fequiv_sym; Morph_Fequiv_trans; Morph_FequivR_relation; Morph_FequivR_Reflexive; Morph_FequivR_Symmetric; Morph_FequivR_Transitive; Morph_FequivR; Morph_Fsmp; Morph_FsmpM_Proper; Morph_FsmpM; Morph_rw; };
} /* END */
|
