Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / MiscSolver.mli @ 7c4d2eb4

History | View | Annotate | Download (2.01 KB)

1
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
type annbitset
41
val absNotIn : int
42
val absUnAnn : int
43
val absAnn1 : int
44
val absAnn2 : int
45
val dummyABS : annbitset
46
val makeABS : unit -> annbitset
47
val blitABS : annbitset -> annbitset -> unit
48
val copyABS : annbitset -> annbitset
49
val emptyABS : annbitset -> unit
50
val compareABS : annbitset -> annbitset -> int
51
val hashABS : annbitset -> int
52
val getAnnABS : annbitset -> int -> int
53
val setAnnABS : annbitset -> int -> int -> unit
54
val memABS : annbitset -> int -> bool
55
val remABS : annbitset -> int -> unit
56
val addABS : annbitset -> int -> bool
57
val addBSa : bitset -> annbitset -> int -> bool
58
val blitBSa : annbitset -> bitset -> unit
59
val getPFinclEX : bitset -> int
60
val getPFexclEX : bitset -> int
61

    
62
val mkEXList : bitset -> int list
63
val mkEXListAnn : annbitset -> int list
64

    
65
val exportAsSet : string -> ('a -> string list) -> 'a -> string
66
val exportFSet : (int -> 'a) -> bitset -> 'a list
67
val exportAnnFSet : (int -> string) -> annbitset -> string list
68

    
69
val initMisc : int -> int -> int -> int -> int -> int -> unit