Project

General

Profile

Download (1.41 KB) Statistics
| Branch: | Tag: | Revision:
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
*)
(2-2/12)