viewcvs.cgi/types/intervals.mli

type v
val print_v : Format.formatter -> v -> unit
val mk: string -> v

val vcompare: v -> v -> int
val vhash: v -> int

val vadd: v -> v -> v
val vmult: v -> v -> v
val vsub: v -> v -> v
val vdiv: v -> v -> v
val vmod: v -> v -> v


type t
val equal : t -> t -> bool
val hash  : int -> t -> int
val print : t -> (Format.formatter -> unit) list
val compare : t -> t -> int

val empty : t
val any   : t
val cup   : t -> t -> t
val cap   : t -> t -> t
val diff  : t -> t -> t

val bounded  : v -> v -> t
val left : v -> t
val right : v -> t
val atom : v -> t

val disjoint : t -> t -> bool
val is_empty : t -> bool
val contains : v -> t -> bool
val sample : t -> v


val add : t -> t -> t
val sub : t -> t -> t
val negat : t -> t
1	type v
2	val print_v : Format.formatter -> v -> unit
3	val mk: string -> v
4
5	val vcompare: v -> v -> int
6	val vhash: v -> int
7
8	val vadd: v -> v -> v
9	val vmult: v -> v -> v
10	val vsub: v -> v -> v
11	val vdiv: v -> v -> v
12	val vmod: v -> v -> v
13
14
15	type t
16	val equal : t -> t -> bool
17	val hash : int -> t -> int
18	val print : t -> (Format.formatter -> unit) list
19	val compare : t -> t -> int
20
21	val empty : t
22	val any : t
23	val cup : t -> t -> t
24	val cap : t -> t -> t
25	val diff : t -> t -> t
26
27	val bounded : v -> v -> t
28	val left : v -> t
29	val right : v -> t
30	val atom : v -> t
31
32	val disjoint : t -> t -> bool
33	val is_empty : t -> bool
34	val contains : v -> t -> bool
35	val sample : t -> v
36
37
38	val add : t -> t -> t
39	val sub : t -> t -> t
40	val negat : t -> t