dlvhex  2.1.0
include/dlvhex2/PlatformDefinitions.h
Go to the documentation of this file.
00001 /* dlvhex -- Answer-Set Programming with external interfaces.
00002  * Copyright (C) 2005, 2006, 2007 Roman Schindlauer
00003  * Copyright (C) 2006, 2007, 2008, 2009, 2010 Thomas Krennwallner
00004  * Copyright (C) 2009, 2010 Peter Schüller
00005  * 
00006  * This file is part of dlvhex.
00007  *
00008  * dlvhex is free software; you can redistribute it and/or modify it
00009  * under the terms of the GNU Lesser General Public License as
00010  * published by the Free Software Foundation; either version 2.1 of
00011  * the License, or (at your option) any later version.
00012  *
00013  * dlvhex is distributed in the hope that it will be useful, but
00014  * WITHOUT ANY WARRANTY; without even the implied warranty of
00015  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00016  * Lesser General Public License for more details.
00017  *
00018  * You should have received a copy of the GNU Lesser General Public
00019  * License along with dlvhex; if not, write to the Free Software
00020  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
00021  * 02110-1301 USA.
00022  */
00023 
00024 
00035 #if !defined(_DLVHEX_PLATFORMDEFINITIONS_H)
00036 #define _DLVHEX_PLATFORMDEFINITIONS_H
00037 
00038 
00039 #define DLVHEX_NAMESPACE_BEGIN namespace dlvhex {
00040 #define DLVHEX_NAMESPACE_END   }
00041 #define DLVHEX_NAMESPACE_USE   using namespace dlvhex;
00042 #define DLVHEX_NAMESPACE       dlvhex:: 
00043 
00044 
00045 #ifdef DLLEXPORT
00046 #define DLVHEX_EXPORT __declspec(dllexport)
00047 #else
00048 #define DLVHEX_EXPORT
00049 #endif /* DLLEXPORT/IMPORT */
00050 
00051 #include <boost/cstdint.hpp>
00052 
00053 #endif /* _DLVHEX_PLATFORMDEFINITIONS_H */
00054 
00055 /* vim: set noet sw=4 ts=4 tw=80: */
00056 
00057 
00058 // Local Variables:
00059 // mode: C++
00060 // End: