relay-sv/fstructs.mli at main · vesalvojdani/relay-sv · GitHub

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
open Cil

(*** Function key data structures ***)

type fKey = int

val funToKey : fundec -> fKey

val string_of_fkey : fKey -> string

val fkey_of_string : string -> fKey

val getFkey : Cil.fundec -> fKey

val compareFKey : fKey -> fKey -> int

val dummyFKey : fKey

module FKMap : Map.S with type key = fKey

module FKSet : Sparsebitv.S

module OrderedFKeys : Map.OrderedType with type t = fKey

module IntMap : Map.S with type key = int

module IntSet : Sparsebitv.S


(*** Name + type string data structures *)

type fTS = string

type fNT = (string * fTS)

val string_of_fNT : fNT -> string

val compareNT : fNT -> fNT -> int

module FNTMap : Map.S with type key = fNT

module FNTSet : Set.S with type elt = fNT


module FNTHash : Hashtbl.S with type key = fNT

module OrderedFNTs : Map.OrderedType with type t = fNT