Doxygen Generated Documentation of Ben-Jose Trainable SAT Solver Library
platform.h
1 
2 
3 /*************************************************************
4 
5 This file is part of ben-jose.
6 
7 ben-jose is free software: you can redistribute it and/or modify
8 it under the terms of the version 3 of the GNU General Public
9 License as published by the Free Software Foundation.
10 
11 ben-jose is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15 
16 You should have received a copy of the GNU General Public License
17 along with ben-jose. If not, see <http://www.gnu.org/licenses/>.
18 
19 ------------------------------------------------------------
20 
21 Copyright (C) 2007-2012, 2014-2016. QUIROGA BELTRAN, Jose Luis.
22 Id (cedula): 79523732 de Bogota - Colombia.
23 See https://github.com/joseluisquiroga/ben-jose
24 
25 ben-jose is free software thanks to The Glory of Our Lord
26  Yashua Melej Hamashiaj.
27 Our Resurrected and Living, both in Body and Spirit,
28  Prince of Peace.
29 
30 ------------------------------------------------------------
31 
32 platform.h
33 
34 Some macros that allow to indent better platform
35 dependant code.
36 
37 Insted of
38 
39 #ifdef MY_PLATFORM
40  <some_code>
41 #endif
42 
43 that can be messy when code has several platforms
44 dependant code. Specially inside functions.
45 
46 Write:
47 
48  MY_PLAT_COD(
49  <some_code>
50  );
51 
52 to make the code more clear.
53 
54 --------------------------------------------------------------*/
55 
56 
57 #ifndef PLATFORM_H
58 #define PLATFORM_H
59 
60 #ifdef FULL_DEBUG
61 #define DBG(prm) prm
62 #define NOT_DBG(prm)
63 #else
64 #define DBG(prm)
65 #define NOT_DBG(prm) prm
66 #endif
67 
68 #define MARK_USED(X) ((void)(&(X)))
69 
70 #ifdef WIN32
71 #define WIN32_COD(prm) prm
72 #else
73 #define WIN32_COD(prm)
74 #endif
75 
76 
77 #ifdef __linux
78 #define LINUX_COD(prm) prm
79 #else
80 #define LINUX_COD(prm)
81 #endif
82 
83 
84 #endif // PLATFORM_H
85 
86