Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / MiscSolver.mli @ 40a714df

History | View | Annotate | Download (1.29 KB)

1 4fd28192 Thorsten WiƟmann
val arrayType : (int array) ref
2
val arrayDest1 : (int array) ref
3
val arrayDest2 : (int array) ref
4
val arrayNeg : (int array) ref
5
6
val nodecount : int ref
7
val pathlength : int ref
8
val getNewId : unit -> int
9
val cacherun : int ref
10
val postfixcount : int ref
11
12
module FSet : Set.S with type elt = int
13
module FMap : Map.S with type key = int
14
15
val nrFormulae : int ref
16
val lposEX : int ref
17
val hposEX : int ref
18
val lposAX : int ref
19
val hposAX : int ref
20
val bsfalse : int ref
21
val bstrue : int ref
22
23
type bitset
24
val dummyBS : bitset
25
val makeBS : unit -> bitset
26
val blitBS : bitset -> bitset -> unit
27
val copyBS : bitset -> bitset
28
val emptyBS : bitset -> unit
29
val compareBS : bitset -> bitset -> int
30
val hashBS : bitset -> int
31
val memBS : bitset -> int -> bool
32
val remBS : bitset -> int -> unit
33
val addBS : bitset -> int -> bool
34
val addBSNoChk : bitset -> int -> unit
35
val addBSc : bitset -> bitset -> int -> bool
36
val unionBSNoChk : bitset -> bitset -> bitset
37
val iterBS : (int -> unit) -> bitset -> unit
38
val foldBS : (int -> 'a -> 'a) -> bitset -> 'a -> 'a
39
40
val getPFinclEX : bitset -> int
41
val getPFexclEX : bitset -> int
42
43
val mkEXList : bitset -> int list
44
45
val exportAsSet : string -> ('a -> string list) -> 'a -> string
46
val exportFSet : (int -> 'a) -> bitset -> 'a list
47
48
val initMisc : int -> int -> int -> int -> int -> int -> unit