File: prefixTree.mli

package info (click to toggle)
sks 1.1.6-14
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 2,296 kB
  • sloc: ml: 15,228; ansic: 1,069; sh: 358; makefile: 347
file content (32 lines) | stat: -rw-r--r-- 1,092 bytes parent folder | download | duplicates (5)
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
type 'a tree
type node
type 'a db
type 'a disk

val create :
  ?db:(string -> string) * ('a option -> key:string -> data:string -> unit) *
      ('a option -> string -> unit) *
      ((unit -> 'a option) * ('a option -> unit) * ('a option -> unit)) *
      int ->
  txn:'a option ->
  num_samples:int -> bitquantum:int -> thresh:int -> unit -> 'a tree
val child_keys : 'a tree -> Bitstring.t -> Bitstring.t list
val get_zzp_elements : 'a tree -> node -> ZZp.Set.t
val clean : 'a option -> 'a tree -> unit
val points : 'a tree -> ZZp.zz array
val get_node_key : ?sef:bool -> 'a tree -> Bitstring.t -> node
val svalues : node -> ZZp.mut_array
val size : node -> int
val is_leaf : node -> bool
val num_elements : 'a -> node -> int
val elements : 'a tree -> node -> ZZp.Set.t
val root : 'a tree -> node
val get_random : 'a tree -> node -> string

val set_synctime : 'a tree -> float -> unit
val get_synctime : 'a tree -> float

val insert_str : 'a tree -> 'a option -> string -> unit
val delete_str : 'a tree -> 'a option -> string -> unit

val set_maxnodes : 'a tree -> 'a option -> int -> unit