00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040 #ifndef __GECODE_SCHEDULING_HH__
00041 #define __GECODE_SCHEDULING_HH__
00042
00043 #include <gecode/int.hh>
00044
00045
00046
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
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
00253