40 #ifndef __GECODE_INT_CUMULATIVE_HH__
41 #define __GECODE_INT_CUMULATIVE_HH__
59 namespace Gecode {
namespace Int {
namespace Cumulative {
62 void mul_check(
long long int x,
long long int y);
65 void mul_check(
long long int x,
long long int y,
long long int z);
71 namespace Gecode {
namespace Int {
namespace Cumulative {
96 long long int e(
void)
const;
111 template<
class Char,
class Traits>
112 std::basic_ostream<Char,Traits>&
113 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPTask&
t);
150 long long int e(
void)
const;
165 template<
class Char,
class Traits>
166 std::basic_ostream<Char,Traits>&
167 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPSETask&
t);
192 long long int e(
void)
const;
207 template<
class Char,
class Traits>
208 std::basic_ostream<Char,Traits>&
209 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFlexTask&
t);
234 template<
class Char,
class Traits>
235 std::basic_ostream<Char,Traits>&
236 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTask&
t);
260 template<
class Char,
class Traits>
261 std::basic_ostream<Char,Traits>&
262 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPSETask&
t);
286 template<
class Char,
class Traits>
287 std::basic_ostream<Char,Traits>&
288 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFlexTask&
t);
294 namespace Gecode {
namespace Int {
namespace Cumulative {
337 template<
class Char,
class Traits>
338 std::basic_ostream<Char,Traits>&
339 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPTaskBwd&
t);
345 template<
class Char,
class Traits>
346 std::basic_ostream<Char,Traits>&
353 template<
class Char,
class Traits>
354 std::basic_ostream<Char,Traits>&
355 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTaskBwd&
t);
361 template<
class Char,
class Traits>
362 std::basic_ostream<Char,Traits>&
369 namespace Gecode {
namespace Int {
548 namespace Gecode {
namespace Int {
namespace Cumulative {
564 template<
class TaskView>
582 long long int env(
void)
const;
597 template<
class TaskView>
624 long long int env(
int i);
648 template<
class TaskView>
670 long long int env(
void)
const;
672 long long int lenv(
void)
const;
679 namespace Gecode {
namespace Int {
namespace Cumulative {
682 template<
class Task,
class Cap>
686 template<
class ManTask>
699 template<
class ManTask,
class Cap>
726 template<
class OptTask,
class Cap>