Implement set-theoretic operation on 2WSATA (union, intersection,
[tatoo.git] / include / utils32.ml
1 IFNDEF UTILS32__ML__
2 THEN
3 DEFINE UTILS32__ML__
4     DEFINE WORDSIZE = 32
5
6
7     DEFINE HALFWORDSIZE = 16
8     DEFINE INTSIZE = 31
9     DEFINE HALFINTSIZE = 15
10     DEFINE HALF_MAX_INT = 536870911
11     DEFINE HPARAM = 65599
12     DEFINE HPARAM2 = 8261505
13     DEFINE HPARAM3 = 780587199
14     DEFINE HPARAM4 = 549173308
15 END