-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathorders.dot
30 lines (29 loc) · 1.11 KB
/
orders.dot
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
digraph {
size="5,3";
margin=0;
rankdir=BT;
// StrongSetoid [fillcolor=lightgrey,style=filled]
FullPartialOrder [fillcolor=lightgrey,style=filled]
PseudoOrder [fillcolor=lightgrey,style=filled]
FullPseudoOrder [fillcolor=lightgrey,style=filled]
PseudoSemiRingOrder [fillcolor=lightgrey,style=filled]
FullPseudoSemiRingOrder [fillcolor=lightgrey,style=filled]
StrictSetoidOrder -> StrictOrder
// StrictSetoidOrder -> Setoid
PartialOrder -> PreOrder
// PartialOrder -> Setoid
FullPartialOrder -> PartialOrder
// FullPartialOrder -> StrongSetoid
FullPartialOrder -> StrictSetoidOrder [style=dotted]
PseudoOrder -> StrictSetoidOrder [style=dotted]
// PseudoOrder -> StrongSetoid
FullPseudoOrder -> PseudoOrder
FullPseudoOrder -> FullPartialOrder [style=dotted]
SemiRingOrder -> PartialOrder
StrictSemiRingOrder -> StrictSetoidOrder
PseudoSemiRingOrder -> PseudoOrder
PseudoSemiRingOrder -> StrictSemiRingOrder [style=dotted]
FullPseudoSemiRingOrder -> PseudoSemiRingOrder
FullPseudoSemiRingOrder -> FullPseudoOrder [style=dotted]
FullPseudoSemiRingOrder -> SemiRingOrder [style=dotted]
}