#include <basic.hpp>
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) |
bool | operator< (const Event &e) const |
Order among events. | |
Public Attributes | |
Type | e |
Type of event. | |
int | t |
Time of event. | |
int | i |
Number of task Initialize event. |
Event for task.
Event type for task with order in which they are processed.
void Gecode::Int::Cumulative::Event::init | ( | Event::Type | e0, |
int | t, | ||
int | i | ||
) | [inline] |
bool Gecode::Int::Cumulative::Event::operator< | ( | const Event & | e | ) | const [inline] |