Generated on Mon Nov 30 23:53:33 2009 for Gecode by doxygen 1.6.1

scheduling.hh

Go to the documentation of this file.
00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
00002 /*
00003  *  Main authors:
00004  *     Mikael Lagerkvist <lagerkvist@gecode.org>
00005  *     Christian Schulte <schulte@gecode.org>
00006  *
00007  *  Copyright:
00008  *     Mikael Lagerkvist, 2005
00009  *     Christian Schulte, 2009
00010  *
00011  *  Last modified:
00012  *     $Date: 2009-10-12 17:36:53 +0200 (Mon, 12 Oct 2009) $ by $Author: schulte $
00013  *     $Revision: 9878 $
00014  *
00015  *  This file is part of Gecode, the generic constraint
00016  *  development environment:
00017  *     http://www.gecode.org
00018  *
00019  *  Permission is hereby granted, free of charge, to any person obtaining
00020  *  a copy of this software and associated documentation files (the
00021  *  "Software"), to deal in the Software without restriction, including
00022  *  without limitation the rights to use, copy, modify, merge, publish,
00023  *  distribute, sublicense, and/or sell copies of the Software, and to
00024  *  permit persons to whom the Software is furnished to do so, subject to
00025  *  the following conditions:
00026  *
00027  *  The above copyright notice and this permission notice shall be
00028  *  included in all copies or substantial portions of the Software.
00029  *
00030  *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00031  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00032  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00033  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
00034  *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
00035  *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
00036  *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
00037  *
00038  */
00039 
00040 #ifndef __GECODE_SCHEDULING_HH__
00041 #define __GECODE_SCHEDULING_HH__
00042 
00043 #include <gecode/int.hh>
00044 
00045 /*
00046  * Configure linking
00047  *
00048  */
00049 #if !defined(GECODE_STATIC_LIBS) && \
00050     (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER))
00051 
00052 #ifdef GECODE_BUILD_SCHEDULING
00053 #define GECODE_SCHEDULING_EXPORT __declspec( dllexport )
00054 #else
00055 #define GECODE_SCHEDULING_EXPORT __declspec( dllimport )
00056 #endif
00057 
00058 #else
00059 
00060 #ifdef GECODE_GCC_HAS_CLASS_VISIBILITY
00061 #define GECODE_SCHEDULING_EXPORT __attribute__ ((visibility("default")))
00062 #else
00063 #define GECODE_SCHEDULING_EXPORT
00064 #endif
00065 
00066 #endif
00067 
00068 // Configure auto-linking
00069 #ifndef GECODE_BUILD_SCHEDULING
00070 #define GECODE_LIBRARY_NAME "Scheduling"
00071 #include <gecode/support/auto-link.hpp>
00072 #endif
00073 
00080 namespace Gecode {
00081 
00126   GECODE_SCHEDULING_EXPORT void
00127   cumulatives(Home home, const IntVarArgs& machine,
00128               const IntVarArgs& start, const IntVarArgs& duration,
00129               const IntVarArgs& end, const IntVarArgs& height,
00130               const IntArgs& limit, bool at_most,
00131               IntConLevel icl=ICL_DEF);
00136   GECODE_SCHEDULING_EXPORT void
00137   cumulatives(Home home, const IntArgs& machine,
00138               const IntVarArgs& start, const IntVarArgs& duration,
00139               const IntVarArgs& end, const IntVarArgs& height,
00140               const IntArgs& limit, bool at_most,
00141               IntConLevel icl=ICL_DEF);
00146   GECODE_SCHEDULING_EXPORT void
00147   cumulatives(Home home, const IntVarArgs& machine,
00148               const IntVarArgs& start, const IntArgs& duration,
00149               const IntVarArgs& end, const IntVarArgs& height,
00150               const IntArgs& limit, bool at_most,
00151               IntConLevel icl=ICL_DEF);
00156   GECODE_SCHEDULING_EXPORT void
00157   cumulatives(Home home, const IntArgs& machine,
00158               const IntVarArgs& start, const IntArgs& duration,
00159               const IntVarArgs& end, const IntVarArgs& height,
00160               const IntArgs& limit, bool at_most,
00161               IntConLevel icl=ICL_DEF);
00166   GECODE_SCHEDULING_EXPORT void
00167   cumulatives(Home home, const IntVarArgs& machine,
00168               const IntVarArgs& start, const IntVarArgs& duration,
00169               const IntVarArgs& end, const IntArgs& height,
00170               const IntArgs& limit, bool at_most,
00171               IntConLevel icl=ICL_DEF);
00176   GECODE_SCHEDULING_EXPORT void
00177   cumulatives(Home home, const IntArgs& machine,
00178               const IntVarArgs& start, const IntVarArgs& duration,
00179               const IntVarArgs& end, const IntArgs& height,
00180               const IntArgs& limit, bool at_most,
00181               IntConLevel icl=ICL_DEF);
00186   GECODE_SCHEDULING_EXPORT void
00187   cumulatives(Home home, const IntVarArgs& machine,
00188               const IntVarArgs& start, const IntArgs& duration,
00189               const IntVarArgs& end, const IntArgs& height,
00190               const IntArgs& limit, bool at_most,
00191               IntConLevel icl=ICL_DEF);
00196   GECODE_SCHEDULING_EXPORT void
00197   cumulatives(Home home, const IntArgs& machine,
00198               const IntVarArgs& start, const IntArgs& duration,
00199               const IntVarArgs& end, const IntArgs& height,
00200               const IntArgs& limit, bool at_most,
00201               IntConLevel icl=ICL_DEF);
00202 
00221   GECODE_SCHEDULING_EXPORT void
00222   unary(Home home, const IntVarArgs& s, const IntArgs& p);
00223 
00244   GECODE_SCHEDULING_EXPORT void
00245   unary(Home home, const IntVarArgs& s, const IntArgs& p, 
00246         const BoolVarArgs& m);
00248 }
00249 
00250 #endif
00251 
00252 // STATISTICS: scheduling-post
00253