Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Int::Cumulatives Namespace Reference

Cumulatives propagators More...

Classes

class  Event
 An event collects the information for one evnet for the sweep-line. More...
class  Val
 Propagator for the cumulatives constraint More...

Enumerations

enum  ev_t { EVENT_CHCK , EVENT_PROF , EVENT_PRUN }
 Types of events for the sweep-line. More...

Detailed Description

Cumulatives propagators

This namespace contains a propagator for the cumulatives constraint as presented in

@inproceedings{DBLP:conf/cp/BeldiceanuC02,
  author    = {Nicolas Beldiceanu and Mats Carlsson},
  title     = {A New Multi-resource cumulatives Constraint
               with Negative Heights.},
  booktitle = {CP},
  year      = {2002},
  pages     = {63-79},
  ee        = {http://link.springer.de/link/service/series/0558/
               bibs/2470/24700063.htm},
  crossref  = {DBLP:conf/cp/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cp/2002,
  editor    = {Pascal Van Hentenryck},
  title     = {Principles and Practice of Constraint Programming -
               CP 2002, 8th International Conference, CP 2002,
               Ithaca, NY, USA, September 9-13, 2002, Proceedings},
  booktitle = {CP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2470},
  year      = {2002},
  isbn      = {3-540-44120-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Enumeration Type Documentation

◆ ev_t

Types of events for the sweep-line.

Enumerator
EVENT_CHCK 
EVENT_PROF 
EVENT_PRUN 

Definition at line 128 of file val.hpp.