task.hpp
Go to the documentation of this file.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 namespace Gecode { namespace Scheduling { namespace Unary {
00039
00040
00041
00042
00043
00044 forceinline
00045 ManFixTask::ManFixTask(void) {}
00046 forceinline
00047 ManFixTask::ManFixTask(IntVar s, int p) : _s(s), _p(p) {}
00048 forceinline void
00049 ManFixTask::init(IntVar s, int p) {
00050 _s=s; _p=p;
00051 }
00052
00053 forceinline int
00054 ManFixTask::est(void) const {
00055 return _s.min();
00056 }
00057 forceinline int
00058 ManFixTask::ect(void) const {
00059 return _s.min()+_p;
00060 }
00061 forceinline int
00062 ManFixTask::lst(void) const {
00063 return _s.max();
00064 }
00065 forceinline int
00066 ManFixTask::lct(void) const {
00067 return _s.max()+_p;
00068 }
00069 forceinline IntVar
00070 ManFixTask::st(void) const {
00071 return _s;
00072 }
00073 forceinline int
00074 ManFixTask::p(void) const {
00075 return _p;
00076 }
00077
00078 forceinline bool
00079 ManFixTask::assigned(void) const {
00080 return _s.assigned();
00081 }
00082
00083 forceinline ModEvent
00084 ManFixTask::est(Space& home, int n) {
00085 return _s.gq(home,n);
00086 }
00087 forceinline ModEvent
00088 ManFixTask::ect(Space& home, int n) {
00089 return _s.gq(home,n-_p);
00090 }
00091 forceinline ModEvent
00092 ManFixTask::lst(Space& home, int n) {
00093 return _s.lq(home,n);
00094 }
00095 forceinline ModEvent
00096 ManFixTask::lct(Space& home, int n) {
00097 return _s.lq(home,n-_p);
00098 }
00099
00100 forceinline void
00101 ManFixTask::update(Space& home, bool share, ManFixTask& t) {
00102 _s.update(home,share,t._s); _p=t._p;
00103 }
00104
00105 forceinline void
00106 ManFixTask::subscribe(Space& home, Propagator& p) {
00107 _s.subscribe(home, p, Int::PC_INT_BND);
00108 }
00109 forceinline void
00110 ManFixTask::cancel(Space& home, Propagator& p) {
00111 _s.cancel(home, p, Int::PC_INT_BND);
00112 }
00113
00114 template<class Char, class Traits>
00115 std::basic_ostream<Char,Traits>&
00116 operator <<(std::basic_ostream<Char,Traits>& os, const ManFixTask& t) {
00117 std::basic_ostringstream<Char,Traits> s;
00118 s.copyfmt(os); s.width(0);
00119 s << t.est() << ':' << t.p() << ':' << t.lct();
00120 return os << s.str();
00121 }
00122
00123
00124
00125
00126
00127
00128 forceinline
00129 OptFixTask::OptFixTask(void) {}
00130 forceinline
00131 OptFixTask::OptFixTask(IntVar s, int p, BoolVar m) {
00132 ManFixTask::init(s,p); _m=m;
00133 }
00134 forceinline void
00135 OptFixTask::init(IntVar s, int p, BoolVar m) {
00136 ManFixTask::init(s,p); _m=m;
00137 }
00138
00139 template<class Char, class Traits>
00140 std::basic_ostream<Char,Traits>&
00141 operator <<(std::basic_ostream<Char,Traits>& os, const OptFixTask& t) {
00142 std::basic_ostringstream<Char,Traits> s;
00143 s.copyfmt(os); s.width(0);
00144 s << t.est() << ':' << t.p() << ':' << t.lct() << ':'
00145 << (t.mandatory() ? '1' : (t.optional() ? '?' : '0'));
00146 return os << s.str();
00147 }
00148
00149 }}}
00150
00151