Gecode::Int::Event Class Reference
Time-tabling event for task. More...
#include <task.hh>
Public Types | |
enum | Type { LRT = 0, LCT = 1, EST = 2, ZRO = 3, ERT = 4, END = 5 } |
Event type for task with order in which they are processed. More... | |
Public Member Functions | |
void | init (Type e, int t, int i) |
Initialize event. | |
Type | type (void) const |
Return event type. | |
int | time (void) const |
Return event time. | |
int | idx (void) const |
Return event index. | |
bool | operator< (const Event &e) const |
Order among events. | |
Static Public Member Functions | |
template<class Task > | |
static Event * | events (Region &r, const TaskArray< Task > &t, bool &assigned) |
Allocate from r and initialize event array with tasks t. | |
template<class Task > | |
static Event * | events (Region &r, const TaskArray< Task > &t) |
Allocate from r and initialize event array with assigned tasks t only. | |
Protected Attributes | |
unsigned int | ei |
Combines type and number of task. | |
int | t |
Time of event. |
Detailed Description
Time-tabling event for task.
Definition at line 490 of file task.hh.
Member Enumeration Documentation
Member Function Documentation
void Gecode::Int::Event::init | ( | Event::Type | e0, | |
int | t, | |||
int | i | |||
) | [inline] |
Event::Type Gecode::Int::Event::type | ( | void | ) | const [inline] |
int Gecode::Int::Event::time | ( | void | ) | const [inline] |
int Gecode::Int::Event::idx | ( | void | ) | const [inline] |
bool Gecode::Int::Event::operator< | ( | const Event & | e | ) | const [inline] |
Member Data Documentation
unsigned int Gecode::Int::Event::ei [protected] |
int Gecode::Int::Event::t [protected] |
The documentation for this class was generated from the following files: