[10] | 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(const char * fun, const char * file, int lineno, const char * fmt, ...); |
---|
| 72 | void warning(const char * fun, const char * file, int lineno, const char * fmt, ...); |
---|
| 73 | double get_cpu_time(void); |
---|
| 74 | |
---|
| 75 | #endif |
---|