Commit | Line | Data |
---|---|---|
34e49164 C |
1 | |
2 | class ['a] ograph2way : | |
3 | (< add : 'a * 'a Oset.oset -> 'c; delkey : 'a -> 'c; | |
4 | find : 'a -> 'a Oset.oset; iter : ('a * 'd -> unit) -> 'e; | |
5 | replkey : 'a * 'a Oset.oset -> 'c; .. > | |
6 | as 'c) -> | |
7 | (< add : 'a * 'a Oset.oset -> 'f; delkey : 'a -> 'f; | |
8 | find : 'a -> 'a Oset.oset; replkey : 'a * 'a Oset.oset -> 'f; .. > | |
9 | as 'f) -> | |
10 | (unit -> 'a Oset.oset) -> | |
11 | object ('o) | |
12 | inherit ['a] Ograph.ograph | |
13 | val pred : 'f | |
14 | val succ : 'c | |
15 | ||
16 | (* ograph concrete instantiation of virtual methods *) | |
17 | method empty : 'o | |
18 | ||
19 | method add_node : 'a -> 'o | |
20 | method del_node : 'a -> 'o | |
21 | ||
22 | method add_arc : 'a * 'a -> 'o | |
23 | method del_arc : 'a * 'a -> 'o | |
24 | ||
25 | method nodes : 'a Oset.oset | |
26 | method predecessors : 'a -> 'a Oset.oset | |
27 | method successors : 'a -> 'a Oset.oset | |
28 | ||
29 | method ancestors : 'a Oset.oset -> 'a Oset.oset | |
30 | method brothers : 'a -> 'a Oset.oset | |
31 | method children : 'a Oset.oset -> 'a Oset.oset | |
32 | ||
33 | end |