1
|
(* This file is part of the Kind 2 model checker.
|
2
|
|
3
|
Copyright (c) 2014 by the Board of Trustees of the University of Iowa
|
4
|
|
5
|
Licensed under the Apache License, Version 2.0 (the "License"); you
|
6
|
may not use this file except in compliance with the License. You
|
7
|
may obtain a copy of the License at
|
8
|
|
9
|
http://www.apache.org/licenses/LICENSE-2.0
|
10
|
|
11
|
Unless required by applicable law or agreed to in writing, software
|
12
|
distributed under the License is distributed on an "AS IS" BASIS,
|
13
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
|
14
|
implied. See the License for the specific language governing
|
15
|
permissions and limitations under the License.
|
16
|
|
17
|
*)
|
18
|
|
19
|
(** Managing of identifier to avoid clashes
|
20
|
|
21
|
@author Christoph Sticksel *)
|
22
|
|
23
|
(** Identifier
|
24
|
|
25
|
This type will become private later *)
|
26
|
type t = string
|
27
|
|
28
|
(** Equality of identifiers *)
|
29
|
val equal : t -> t -> bool
|
30
|
|
31
|
(** Total order of identifiers *)
|
32
|
val compare : t -> t -> int
|
33
|
|
34
|
(** Set of identifiers *)
|
35
|
module IdentSet : Set.S with type elt = t
|
36
|
|
37
|
(** Map of identifiers *)
|
38
|
module IdentMap : Map.S with type key = t
|
39
|
|
40
|
(** Pretty-print an identifier *)
|
41
|
val pp_print_ident : Format.formatter -> t -> unit
|
42
|
|
43
|
(** Construct an identifier from a string *)
|
44
|
val of_string : string -> t
|
45
|
|
46
|
(** Return a string representation of an identifier x*)
|
47
|
val to_string : t -> string
|
48
|
|
49
|
(*
|
50
|
Local Variables:
|
51
|
compile-command: "make -C .. -k"
|
52
|
indent-tabs-mode: nil
|
53
|
End:
|
54
|
*)
|