@@ -8,7 +8,7 @@ function $$eval(_bdd, vars) {
8
8
if ( typeof bdd === "number" ) {
9
9
return bdd === 0 ;
10
10
}
11
- if ( Caml_array . caml_array_get ( vars , bdd . _1 ) ) {
11
+ if ( Caml_array . get ( vars , bdd . _1 ) ) {
12
12
_bdd = bdd . _3 ;
13
13
continue ;
14
14
}
@@ -72,16 +72,16 @@ function resize(newSize) {
72
72
} ;
73
73
}
74
74
var ind = hashVal ( getId ( n . _0 ) , getId ( n . _3 ) , n . _1 ) & newSz_1 ;
75
- Caml_array . caml_array_set ( newArr , ind , {
75
+ Caml_array . set ( newArr , ind , {
76
76
hd : n ,
77
- tl : Caml_array . caml_array_get ( newArr , ind )
77
+ tl : Caml_array . get ( newArr , ind )
78
78
} ) ;
79
79
_bucket = bucket . tl ;
80
80
continue ;
81
81
} ;
82
82
} ;
83
83
for ( var n = 0 , n_finish = sz_1 . contents ; n <= n_finish ; ++ n ) {
84
- copyBucket ( Caml_array . caml_array_get ( arr , n ) ) ;
84
+ copyBucket ( Caml_array . get ( arr , n ) ) ;
85
85
}
86
86
htab . contents = newArr ;
87
87
sz_1 . contents = newSz_1 ;
@@ -90,7 +90,7 @@ function resize(newSize) {
90
90
91
91
function insert ( idl , idh , v , ind , bucket , newNode ) {
92
92
if ( n_items . contents <= sz_1 . contents ) {
93
- Caml_array . caml_array_set ( htab . contents , ind , {
93
+ Caml_array . set ( htab . contents , ind , {
94
94
hd : newNode ,
95
95
tl : bucket
96
96
} ) ;
@@ -99,9 +99,9 @@ function insert(idl, idh, v, ind, bucket, newNode) {
99
99
}
100
100
resize ( ( sz_1 . contents + sz_1 . contents | 0 ) + 2 | 0 ) ;
101
101
var ind$1 = hashVal ( idl , idh , v ) & sz_1 . contents ;
102
- return Caml_array . caml_array_set ( htab . contents , ind$1 , {
102
+ return Caml_array . set ( htab . contents , ind$1 , {
103
103
hd : newNode ,
104
- tl : Caml_array . caml_array_get ( htab . contents , ind$1 )
104
+ tl : Caml_array . get ( htab . contents , ind$1 )
105
105
} ) ;
106
106
}
107
107
@@ -120,7 +120,7 @@ function mkNode(low, v, high) {
120
120
return low ;
121
121
}
122
122
var ind = hashVal ( idl , idh , v ) & sz_1 . contents ;
123
- var bucket = Caml_array . caml_array_get ( htab . contents , ind ) ;
123
+ var bucket = Caml_array . get ( htab . contents , ind ) ;
124
124
var _b = bucket ;
125
125
while ( true ) {
126
126
var b = _b ;
@@ -199,12 +199,12 @@ function not(n) {
199
199
}
200
200
var id = n . _2 ;
201
201
var h = id % 1999 ;
202
- if ( id === Caml_array . caml_array_get ( notslot1 , h ) ) {
203
- return Caml_array . caml_array_get ( notslot2 , h ) ;
202
+ if ( id === Caml_array . get ( notslot1 , h ) ) {
203
+ return Caml_array . get ( notslot2 , h ) ;
204
204
}
205
205
var f = mkNode ( not ( n . _0 ) , n . _1 , not ( n . _3 ) ) ;
206
- Caml_array . caml_array_set ( notslot1 , h , id ) ;
207
- Caml_array . caml_array_set ( notslot2 , h , f ) ;
206
+ Caml_array . set ( notslot1 , h , id ) ;
207
+ Caml_array . set ( notslot2 , h , f ) ;
208
208
return f ;
209
209
}
210
210
@@ -232,8 +232,8 @@ function and2(n1, n2) {
232
232
var v2 = n2 . _1 ;
233
233
var l2 = n2 . _0 ;
234
234
var h = hash ( i1 , i2 ) ;
235
- if ( i1 === Caml_array . caml_array_get ( andslot1 , h ) && i2 === Caml_array . caml_array_get ( andslot2 , h ) ) {
236
- return Caml_array . caml_array_get ( andslot3 , h ) ;
235
+ if ( i1 === Caml_array . get ( andslot1 , h ) && i2 === Caml_array . get ( andslot2 , h ) ) {
236
+ return Caml_array . get ( andslot3 , h ) ;
237
237
}
238
238
var match = cmpVar ( v1 , v2 ) ;
239
239
var f ;
@@ -249,9 +249,9 @@ function and2(n1, n2) {
249
249
break ;
250
250
251
251
}
252
- Caml_array . caml_array_set ( andslot1 , h , i1 ) ;
253
- Caml_array . caml_array_set ( andslot2 , h , i2 ) ;
254
- Caml_array . caml_array_set ( andslot3 , h , f ) ;
252
+ Caml_array . set ( andslot1 , h , i1 ) ;
253
+ Caml_array . set ( andslot2 , h , i2 ) ;
254
+ Caml_array . set ( andslot3 , h , f ) ;
255
255
return f ;
256
256
}
257
257
@@ -279,8 +279,8 @@ function xor(n1, n2) {
279
279
var v2 = n2 . _1 ;
280
280
var l2 = n2 . _0 ;
281
281
var h = hash ( i1 , i2 ) ;
282
- if ( i1 === Caml_array . caml_array_get ( andslot1 , h ) && i2 === Caml_array . caml_array_get ( andslot2 , h ) ) {
283
- return Caml_array . caml_array_get ( andslot3 , h ) ;
282
+ if ( i1 === Caml_array . get ( andslot1 , h ) && i2 === Caml_array . get ( andslot2 , h ) ) {
283
+ return Caml_array . get ( andslot3 , h ) ;
284
284
}
285
285
var match = cmpVar ( v1 , v2 ) ;
286
286
var f ;
@@ -296,9 +296,9 @@ function xor(n1, n2) {
296
296
break ;
297
297
298
298
}
299
- Caml_array . caml_array_set ( andslot1 , h , i1 ) ;
300
- Caml_array . caml_array_set ( andslot2 , h , i2 ) ;
301
- Caml_array . caml_array_set ( andslot3 , h , f ) ;
299
+ Caml_array . set ( andslot1 , h , i1 ) ;
300
+ Caml_array . set ( andslot2 , h , i2 ) ;
301
+ Caml_array . set ( andslot3 , h , f ) ;
302
302
return f ;
303
303
}
304
304
@@ -332,7 +332,7 @@ function random(param) {
332
332
function random_vars ( n ) {
333
333
var vars = Caml_array . caml_make_vect ( n , false ) ;
334
334
for ( var i = 0 ; i < n ; ++ i ) {
335
- Caml_array . caml_array_set ( vars , i , random ( undefined ) ) ;
335
+ Caml_array . set ( vars , i , random ( undefined ) ) ;
336
336
}
337
337
return vars ;
338
338
}
@@ -354,12 +354,12 @@ function bool_equal(a, b) {
354
354
function test_hwb ( bdd , vars ) {
355
355
var ntrue = 0 ;
356
356
for ( var i = 0 , i_finish = vars . length ; i < i_finish ; ++ i ) {
357
- if ( Caml_array . caml_array_get ( vars , i ) ) {
357
+ if ( Caml_array . get ( vars , i ) ) {
358
358
ntrue = ntrue + 1 | 0 ;
359
359
}
360
360
361
361
}
362
- return bool_equal ( $$eval ( bdd , vars ) , ntrue > 0 ? Caml_array . caml_array_get ( vars , ntrue - 1 | 0 ) : false ) ;
362
+ return bool_equal ( $$eval ( bdd , vars ) , ntrue > 0 ? Caml_array . get ( vars , ntrue - 1 | 0 ) : false ) ;
363
363
}
364
364
365
365
function main ( param ) {
0 commit comments