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
87
88
89
90
91
92
93
94
95
96
|
digraph tests/Morph_rw {
graph [ratio=0.5]
node [style=filled]
Morph_rw [label="rw", URL=<Morph.html#rw>, peripheries=3, fillcolor="#7FFFD4"] ;
Morphisms_trans_sym_co_inv_impl_morphism [label="trans_sym_co_inv_impl_morphism", URL=<Morphisms.html#trans_sym_co_inv_impl_morphism>, fillcolor="#7FFFD4"] ;
Morph_FsmpM_Proper [label="FsmpM_Proper", URL=<Morph.html#FsmpM_Proper>, fillcolor="#FFB57F"] ;
Morph_F [label="F", URL=<Morph.html#F>, fillcolor="#FACDEF"] ;
Morph_Fsmp [label="Fsmp", URL=<Morph.html#Fsmp>, fillcolor="#FACDEF"] ;
RelationClasses_Equivalence_PER [label="Equivalence_PER", URL=<RelationClasses.html#Equivalence_PER>, fillcolor="#7FFFD4"] ;
Morph_Fequiv [label="Fequiv", URL=<Morph.html#Fequiv>, fillcolor="#FACDEF"] ;
Morph_FequivR [label="FequivR", URL=<Morph.html#FequivR>, fillcolor="#7FFFD4"] ;
Morph_Fequiv_trans [label="Fequiv_trans", URL=<Morph.html#Fequiv_trans>, fillcolor="#FFB57F"] ;
Morph_Fequiv_refl [label="Fequiv_refl", URL=<Morph.html#Fequiv_refl>, fillcolor="#FFB57F"] ;
Morph_Fequiv_sym [label="Fequiv_sym", URL=<Morph.html#Fequiv_sym>, fillcolor="#FFB57F"] ;
RelationClasses_Equivalence [label="Equivalence", URL=<RelationClasses.html#Equivalence>, fillcolor="#E2CDFA"] ;
RelationClasses_Build_Equivalence [label="Build_Equivalence", URL=<RelationClasses.html#Build_Equivalence>, fillcolor="#7FAAFF"] ;
RelationClasses_Symmetric [label="Symmetric", URL=<RelationClasses.html#Symmetric>, fillcolor="#F070D1"] ;
RelationClasses_Reflexive [label="Reflexive", URL=<RelationClasses.html#Reflexive>, fillcolor="#F070D1"] ;
Relation_Definitions_relation [label="relation", URL=<Relation_Definitions.html#relation>, fillcolor="#F070D1"] ;
RelationClasses_Transitive [label="Transitive", URL=<RelationClasses.html#Transitive>, fillcolor="#F070D1"] ;
RelationClasses_Equivalence_Transitive [label="Equivalence_Transitive", URL=<RelationClasses.html#Equivalence_Transitive>, fillcolor="#7FFFD4"] ;
RelationClasses_Equivalence_Symmetric [label="Equivalence_Symmetric", URL=<RelationClasses.html#Equivalence_Symmetric>, fillcolor="#7FFFD4"] ;
RelationClasses_PER [label="PER", URL=<RelationClasses.html#PER>, fillcolor="#E2CDFA"] ;
RelationClasses_Build_PER [label="Build_PER", URL=<RelationClasses.html#Build_PER>, fillcolor="#7FAAFF"] ;
Morphisms_Proper [label="Proper", URL=<Morphisms.html#Proper>, fillcolor="#F070D1"] ;
Morphisms_respectful [label="respectful", URL=<Morphisms.html#respectful>, fillcolor="#F070D1"] ;
Basics_flip [label="flip", URL=<Basics.html#flip>, fillcolor="#F070D1"] ;
Basics_impl [label="impl", URL=<Basics.html#impl>, fillcolor="#F070D1"] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 [label="trans_sym_co_inv_impl_morphism_obligation_1", URL=<Morphisms.html#trans_sym_co_inv_impl_morphism_obligation_1>, fillcolor="#7FFFD4"] ;
RelationClasses_PER_Symmetric [label="PER_Symmetric", URL=<RelationClasses.html#PER_Symmetric>, fillcolor="#7FFFD4"] ;
RelationClasses_symmetry [label="symmetry", URL=<RelationClasses.html#symmetry>, fillcolor="#7FFFD4"] ;
RelationClasses_PER_Transitive [label="PER_Transitive", URL=<RelationClasses.html#PER_Transitive>, fillcolor="#7FFFD4"] ;
RelationClasses_transitivity [label="transitivity", URL=<RelationClasses.html#transitivity>, fillcolor="#7FFFD4"] ;
Morph_rw -> Morphisms_trans_sym_co_inv_impl_morphism [] ;
Morph_rw -> Morph_FsmpM_Proper [] ;
Morph_rw -> RelationClasses_Equivalence_PER [] ;
Morph_rw -> Morph_FequivR [] ;
Morphisms_trans_sym_co_inv_impl_morphism -> Morphisms_Proper [] ;
Morphisms_trans_sym_co_inv_impl_morphism -> Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 [] ;
Morph_FsmpM_Proper -> Morph_Fsmp [] ;
Morph_FsmpM_Proper -> Morph_Fequiv [] ;
Morph_FsmpM_Proper -> Morphisms_Proper [] ;
Morph_FsmpM_Proper -> Morphisms_respectful [] ;
Morph_Fsmp -> Morph_F [] ;
RelationClasses_Equivalence_PER -> RelationClasses_Equivalence_Transitive [] ;
RelationClasses_Equivalence_PER -> RelationClasses_Equivalence_Symmetric [] ;
RelationClasses_Equivalence_PER -> RelationClasses_PER [] ;
RelationClasses_Equivalence_PER -> RelationClasses_Build_PER [] ;
Morph_Fequiv -> Morph_F [] ;
Morph_FequivR -> Morph_Fequiv_trans [] ;
Morph_FequivR -> Morph_Fequiv_refl [] ;
Morph_FequivR -> Morph_Fequiv_sym [] ;
Morph_FequivR -> RelationClasses_Equivalence [] ;
Morph_FequivR -> RelationClasses_Build_Equivalence [] ;
Morph_Fequiv_trans -> Morph_Fequiv [] ;
Morph_Fequiv_refl -> Morph_Fequiv [] ;
Morph_Fequiv_sym -> Morph_Fequiv [] ;
RelationClasses_Equivalence -> RelationClasses_Symmetric [] ;
RelationClasses_Equivalence -> RelationClasses_Reflexive [] ;
RelationClasses_Equivalence -> RelationClasses_Transitive [] ;
RelationClasses_Build_Equivalence -> RelationClasses_Symmetric [] ;
RelationClasses_Build_Equivalence -> RelationClasses_Reflexive [] ;
RelationClasses_Build_Equivalence -> RelationClasses_Transitive [] ;
RelationClasses_Symmetric -> Relation_Definitions_relation [] ;
RelationClasses_Reflexive -> Relation_Definitions_relation [] ;
RelationClasses_Transitive -> Relation_Definitions_relation [] ;
RelationClasses_Equivalence_Transitive -> RelationClasses_Equivalence [] ;
RelationClasses_Equivalence_Symmetric -> RelationClasses_Equivalence [] ;
RelationClasses_PER -> RelationClasses_Symmetric [] ;
RelationClasses_PER -> RelationClasses_Transitive [] ;
RelationClasses_Build_PER -> RelationClasses_Symmetric [] ;
RelationClasses_Build_PER -> RelationClasses_Transitive [] ;
Morphisms_Proper -> Relation_Definitions_relation [] ;
Morphisms_respectful -> Relation_Definitions_relation [] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 -> Morphisms_respectful [] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 -> Basics_flip [] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 -> Basics_impl [] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 -> RelationClasses_PER_Symmetric [] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 -> RelationClasses_symmetry [] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 -> RelationClasses_PER_Transitive [] ;
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1 -> RelationClasses_transitivity [] ;
RelationClasses_PER_Symmetric -> RelationClasses_PER [] ;
RelationClasses_symmetry -> RelationClasses_Symmetric [] ;
RelationClasses_PER_Transitive -> RelationClasses_PER [] ;
RelationClasses_transitivity -> RelationClasses_Transitive [] ;
subgraph cluster_Basics { label="Basics"; fillcolor="#FFFFC3"; labeljust=l; style=filled
Basics_impl; Basics_flip; };
subgraph cluster_RelationClasses { label="RelationClasses"; fillcolor="#FFFFC3"; labeljust=l; style=filled
RelationClasses_transitivity; RelationClasses_PER_Transitive; RelationClasses_symmetry; RelationClasses_PER_Symmetric; RelationClasses_Build_PER; RelationClasses_PER; RelationClasses_Equivalence_Symmetric; RelationClasses_Equivalence_Transitive; RelationClasses_Transitive; RelationClasses_Reflexive; RelationClasses_Symmetric; RelationClasses_Build_Equivalence; RelationClasses_Equivalence; RelationClasses_Equivalence_PER; };
subgraph cluster_Morphisms { label="Morphisms"; fillcolor="#FFFFC3"; labeljust=l; style=filled
Morphisms_trans_sym_co_inv_impl_morphism_obligation_1; Morphisms_respectful; Morphisms_Proper; Morphisms_trans_sym_co_inv_impl_morphism; };
subgraph cluster_Relation_Definitions { label="Relation_Definitions"; fillcolor="#FFFFC3"; labeljust=l; style=filled
Relation_Definitions_relation; };
subgraph cluster_Morph { label="Morph"; fillcolor="#FFFFC3"; labeljust=l; style=filled
Morph_Fequiv_sym; Morph_Fequiv_refl; Morph_Fequiv_trans; Morph_FequivR; Morph_Fequiv; Morph_Fsmp; Morph_F; Morph_FsmpM_Proper; Morph_rw; };
} /* END */
|
