36namespace Gecode {
namespace Int {
namespace Cumulative {
62 return static_cast<long long int>(
pmin())*
c();
70 template<
class Char,
class Traits>
71 std::basic_ostream<Char,Traits>&
73 std::basic_ostringstream<Char,Traits> s;
74 s.copyfmt(os); s.width(0);
75 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct();
103 return static_cast<long long int>(
pmin())*
c();
111 template<
class Char,
class Traits>
112 std::basic_ostream<Char,Traits>&
114 std::basic_ostringstream<Char,Traits> s;
115 s.copyfmt(os); s.width(0);
116 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct();
117 return os << s.str();
144 return static_cast<long long int>(
pmin())*
c();
152 template<
class Char,
class Traits>
153 std::basic_ostream<Char,Traits>&
155 std::basic_ostringstream<Char,Traits> s;
156 s.copyfmt(os); s.width(0);
157 s <<
t.est() <<
':' <<
t.lst() <<
':' <<
t.pmin() <<
':'
158 <<
t.pmax() <<
':' <<
t.c() <<
':' <<
t.ect() <<
':' <<
t.lct();
159 return os << s.str();
181 template<
class Char,
class Traits>
182 std::basic_ostream<Char,Traits>&
184 std::basic_ostringstream<Char,Traits> s;
185 s.copyfmt(os); s.width(0);
186 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct() <<
':'
187 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
188 return os << s.str();
210 template<
class Char,
class Traits>
211 std::basic_ostream<Char,Traits>&
213 std::basic_ostringstream<Char,Traits> s;
214 s.copyfmt(os); s.width(0);
215 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct() <<
':'
216 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
217 return os << s.str();
239 template<
class Char,
class Traits>
240 std::basic_ostream<Char,Traits>&
242 std::basic_ostringstream<Char,Traits> s;
243 s.copyfmt(os); s.width(0);
244 s <<
t.est() <<
':' <<
t.lst() <<
':' <<
t.pmin() <<
':'
245 <<
t.pmax() <<
':' <<
t.c() <<
':' <<
t.ect() <<
':' <<
t.lct()
246 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
247 return os << s.str();
int p
Number of positive literals for node type.
Boolean integer variables.
Cumulative (mandatory) task with fixed processing, start or end time.
void init(TaskType t, IntVar s, int p, int c)
Initialize task.
long long int e(void) const
Return required energy.
ManFixPSETask(void)
Default constructor.
int c(void) const
Return required capacity.
void update(Space &home, ManFixPSETask &t)
Update this task to be a clone of task t.
Cumulative (mandatory) task with fixed processing time.
void init(IntVar s, int p, int c)
Initialize task with start time s, processing time p, and required resource c.
long long int e(void) const
Return required energy.
ManFixPTask(void)
Default constructor.
int c(void) const
Return required capacity.
void update(Space &home, ManFixPTask &t)
Update this task to be a clone of task t.
Cumulative (mandatory) task with flexible processing time.
void init(IntVar s, IntVar p, IntVar e, int c)
Initialize with start time s, processing time p, end time e.
long long int e(void) const
Return required energy.
void update(Space &home, ManFlexTask &t)
Update this task to be a clone of task t.
ManFlexTask(void)
Default constructor.
int c(void) const
Return required capacity.
Cumulative optional task with fixed processing, start or end time.
void init(TaskType t, IntVar s, int p, int c, BoolVar m)
Initialize with start time s, processing time p, required capacity c, and mandatory flag m.
OptFixPSETask(void)
Default constructor.
Cumulative optional task with fixed processing time.
OptFixPTask(void)
Default constructor.
void init(IntVar s, int p, int c, BoolVar m)
Initialize with start time s, processing time p, required capacity c, and mandatory flag m.
Cumulative optional task with flexible processing time
OptFlexTask(void)
Default constructor.
void init(IntVar s, IntVar p, IntVar e, int c, BoolVar m)
Initialize with start time s, processing time p, end time e, and mandatory flag m.
int pmin(void) const
Return minimum processing time.
void init(TaskType t, IntVar s, int p)
Initialize task.
void update(Space &home, ManFixPSETask &t)
Update this task to be a clone of task t.
int pmin(void) const
Return minimum processing time.
void init(IntVar s, int p)
Initialize with start time s and processing time p.
void update(Space &home, ManFixPTask &t)
Update this task to be a clone of task t.
IntVar p(void) const
Return processing time.
int pmin(void) const
Return minimum processing time.
void update(Space &home, ManFlexTask &t)
Update this task to be a clone of task t.
void init(IntVar s, IntVar p, IntVar e)
Initialize with start time s, processing time p, end time e.
Unary optional task with fixed processing, start or end time.
Unary optional task with fixed processing time
Unary optional task with flexible processing time
TaskType
Type of task for scheduling constraints.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const ManFixPTaskBwd &t)
Gecode toplevel namespace