38 namespace Gecode {
namespace Int {
42 ei=static_cast<unsigned int>(e0 | (i0 << 3));
t=t0;
47 return static_cast<Type>(
ei & 7);
55 return static_cast<int>(
ei >> 3);;
66 template<
class Char,
class Traits>
67 inline std::basic_ostream<Char,Traits>&
69 std::basic_ostringstream<Char,Traits> s;
70 s.copyfmt(os); s.width(0);
80 s <<
',' << e.
time() <<
',' << e.
idx() <<
']';
95 for (
int i=
t.size();
i--; )
98 if (
t[
i].pmin() > 0) {
102 }
else if (
t[
i].pmax() == 0) {
111 if (
t[
i].lst() <
t[
i].ect()) {
137 for (
int i=
t.size();
i--; )
139 if (
t[
i].pmin() > 0) {
142 }
else if (
t[
i].pmax() == 0) {
146 assert(!
t[
i].excluded());
Zero-length task start time.
Type type(void) const
Return event type.
unsigned int ei
Combines type and number of task.
int time(void) const
Return event time.
int idx(void) const
Return event index.
void init(Type e, int t, int i)
Initialize event.
Earliest required time of task.
Gecode::IntArgs i(4, 1, 2, 3, 4)
void quicksort(Type *l, Type *r, Less &less)
Standard quick sort.
int n
Number of negative literals for node type.
Time-tabling event for task.
bool operator<(const Event &e) const
Order among events.
Latest completion time of task.
Post propagator for SetVar SetOpType SetVar SetRelType r
const int infinity
Infinity for integers.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x)
bool assigned(View x, int v)
Whether x is assigned to value v.
Latest required time of task.
static Event * events(Region &r, const TaskArray< Task > &t, bool &assigned)
Allocate from r and initialize event array with tasks t.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.
Type
Event type for task with order in which they are processed.
Earliest start time of task.