40 #ifndef __GECODE_INT_UNARY_HH__
41 #define __GECODE_INT_UNARY_HH__
55 namespace Gecode {
namespace Int {
namespace Unary {
145 template<
class Char,
class Traits>
146 std::basic_ostream<Char,Traits>&
147 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPTask&
t);
188 int pmin(
void)
const;
190 int pmax(
void)
const;
219 template<
class Char,
class Traits>
220 std::basic_ostream<Char,Traits>&
221 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPSETask&
t);
243 template<
class Char,
class Traits>
244 std::basic_ostream<Char,Traits>&
245 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTask&
t);
267 template<
class Char,
class Traits>
268 std::basic_ostream<Char,Traits>&
269 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPSETask&
t);
304 int pmin(
void)
const;
306 int pmax(
void)
const;
365 template<
class Char,
class Traits>
366 std::basic_ostream<Char,Traits>&
367 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFlexTask&
t);
389 template<
class Char,
class Traits>
390 std::basic_ostream<Char,Traits>&
391 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFlexTask&
t);
397 namespace Gecode {
namespace Int {
namespace Unary {
440 template<
class Char,
class Traits>
441 std::basic_ostream<Char,Traits>&
442 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPTaskBwd&
t);
448 template<
class Char,
class Traits>
449 std::basic_ostream<Char,Traits>&
456 template<
class Char,
class Traits>
457 std::basic_ostream<Char,Traits>&
458 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTaskBwd&
t);
464 template<
class Char,
class Traits>
465 std::basic_ostream<Char,Traits>&
472 template<
class Char,
class Traits>
473 std::basic_ostream<Char,Traits>&
474 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFlexTaskBwd&
t);
482 template<
class Char,
class Traits>
483 std::basic_ostream<Char,Traits>&
484 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFlexTaskBwd&
t);
490 namespace Gecode {
namespace Int {
657 namespace Gecode {
namespace Int {
namespace Unary {
673 template<
class TaskView>
691 int ect(
int i)
const;
714 template<
class TaskView>
741 int lect(
void)
const;
748 namespace Gecode {
namespace Int {
namespace Unary {
751 template<
class ManTask>
754 template<
class OptTask>
762 template<
class ManTask>
765 template<
class OptTask>
769 template<
class ManTask>
772 template<
class OptTask>
786 template<
class ManTask>
809 template<
class OptTask>