Generated on Fri Oct 19 11:26:09 2018 for Gecode by doxygen 1.6.3

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

Types of events for the sweep-line.

Enumerator:
EVENT_CHCK 
EVENT_PROF 
EVENT_PRUN 

Definition at line 128 of file val.hpp.