40 #ifndef __GECODE_INT_CUMULATIVE_HH__
41 #define __GECODE_INT_CUMULATIVE_HH__
59 namespace Gecode {
namespace Int {
namespace Cumulative {
99 template<
class Char,
class Traits>
100 std::basic_ostream<Char,Traits>&
101 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPTask& t);
138 double e(
void)
const;
153 template<
class Char,
class Traits>
154 std::basic_ostream<Char,Traits>&
155 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPSETask& t);
180 double e(
void)
const;
195 template<
class Char,
class Traits>
196 std::basic_ostream<Char,Traits>&
197 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFlexTask& t);
222 template<
class Char,
class Traits>
223 std::basic_ostream<Char,Traits>&
224 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTask& t);
248 template<
class Char,
class Traits>
249 std::basic_ostream<Char,Traits>&
250 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPSETask& t);
274 template<
class Char,
class Traits>
275 std::basic_ostream<Char,Traits>&
276 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFlexTask& t);
282 namespace Gecode {
namespace Int {
namespace Cumulative {
325 template<
class Char,
class Traits>
326 std::basic_ostream<Char,Traits>&
327 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPTaskBwd& t);
333 template<
class Char,
class Traits>
334 std::basic_ostream<Char,Traits>&
335 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPSETaskBwd& t);
341 template<
class Char,
class Traits>
342 std::basic_ostream<Char,Traits>&
343 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTaskBwd& t);
349 template<
class Char,
class Traits>
350 std::basic_ostream<Char,Traits>&
351 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPSETaskBwd& t);
357 namespace Gecode {
namespace Int {
536 namespace Gecode {
namespace Int {
namespace Cumulative {
552 template<
class TaskView>
570 double env(
void)
const;
585 template<
class TaskView>
636 template<
class TaskView>
658 double env(
void)
const;
660 double lenv(
void)
const;
667 namespace Gecode {
namespace Int {
namespace Cumulative {
670 template<
class Task,
class Cap>
674 template<
class ManTask>
687 template<
class ManTask,
class Cap>
714 template<
class OptTask,
class Cap>