Incremental frontend for glucose solver
[satlib.git] / zchaff64 / zchaff_header.h
1 // *********************************************************************
2 // Copyright 2000-2004, Princeton University.  All rights reserved.
3 // By using this software the USER indicates that he or she has read,
4 // understood and will comply with the following:
5 //
6 // --- Princeton University hereby grants USER nonexclusive permission
7 // to use, copy and/or modify this software for internal, noncommercial,
8 // research purposes only. Any distribution, including commercial sale
9 // or license, of this software, copies of the software, its associated
10 // documentation and/or modifications of either is strictly prohibited
11 // without the prior consent of Princeton University.  Title to copyright
12 // to this software and its associated documentation shall at all times
13 // remain with Princeton University.  Appropriate copyright notice shall
14 // be placed on all software copies, and a complete copy of this notice
15 // shall be included in all copies of the associated documentation.
16 // No right is  granted to use in advertising, publicity or otherwise
17 // any trademark,  service mark, or the name of Princeton University.
18 //
19 //
20 // --- This software and any associated documentation is provided "as is"
21 //
22 // PRINCETON UNIVERSITY MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS
23 // OR IMPLIED, INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A
24 // PARTICULAR PURPOSE, OR THAT  USE OF THE SOFTWARE, MODIFICATIONS, OR
25 // ASSOCIATED DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
26 // TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.
27 //
28 // Princeton University shall not be liable under any circumstances for
29 // any direct, indirect, special, incidental, or consequential damages
30 // with respect to any claim by USER or any third party on account of
31 // or arising from the use, or inability to use, this software or its
32 // associated documentation, even if Princeton University has been advised
33 // of the possibility of those damages.
34 // *********************************************************************
35
36 #ifndef __ZCHAFF_INCLUDE__
37 #define __ZCHAFF_INCLUDE__
38
39 #define WORD_SIZE 4
40 // #define WORD_SIZE 8
41
42 extern int _global_debug_level;
43 extern int _global_check_level;
44
45 #ifndef __FUNCTION__
46 # define __FUNCTION__ ((char*)0)
47 #endif
48
49 #ifndef __FILE__
50 # define __FILE__ 0
51 #endif
52
53 #ifndef __LINE__
54 # define __LINE__ 0
55 #endif
56
57 #define _POSITION_  __FUNCTION__, __FILE__, __LINE__
58
59 #if WORD_SIZE == 4
60 #define WORD_WIDTH         32
61 typedef unsigned        uint32;
62 typedef int             int32;
63 typedef long long       long64;
64 #elif WORD_SIZE == 8
65 #define WORD_WIDTH         64
66 typedef unsigned int    uint32;
67 typedef int             int32;
68 typedef long            long64;
69 #endif
70
71 void fatal(char * fun, char * file, int lineno, char * fmt, ...);
72 void warning(char * fun, char * file, int lineno, char * fmt, ...);
73 double get_cpu_time(void);
74
75 #endif