-
Notifications
You must be signed in to change notification settings - Fork 0
/
bfnum.h
40 lines (28 loc) · 1.24 KB
/
bfnum.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/*------------------------------------------------------------------------*/
/* Copyright (c) 2005 - 2010 Armin Biere, Johannes Kepler University. */
/*------------------------------------------------------------------------*/
#ifndef BOOLEFORCE_bfnum_h_INCLUDED
#define BOOLEFORCE_bfnum_h_INCLUDED
/*------------------------------------------------------------------------*/
#include <stdio.h>
/*------------------------------------------------------------------------*/
typedef struct BfUwe BfUwe;
/*------------------------------------------------------------------------*/
#define BfUweMantissa unsigned short
#define BfUweExponent signed short
/*------------------------------------------------------------------------*/
struct BfUwe
{
BfUweMantissa mantissa;
BfUweExponent exponent;
};
/*------------------------------------------------------------------------*/
BfUwe booleforce_init_uwe (unsigned mantissa, int exponent);
BfUwe booleforce_shift_uwe (BfUwe, int);
int booleforce_is_infinity_uwe (BfUwe);
int booleforce_is_zero_uwe (BfUwe);
BfUwe booleforce_add_uwe (BfUwe, BfUwe);
void booleforce_print_uwe (BfUwe, FILE *);
int booleforce_cmp_uwe (BfUwe, BfUwe);
/*------------------------------------------------------------------------*/
#endif