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>&
450 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPSETaskBwd& t);
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>&
466 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPSETaskBwd& t);
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>