Generated on Sat Feb 7 2015 02:01:33 for Gecode by doxygen 1.8.9.1
val.hpp File Reference

(Revision: 13068)

#include <algorithm>

Go to the source code of this file.

Classes

class  Gecode::Int::Cumulatives::Event
 An event collects the information for one evnet for the sweep-line. More...
 

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Int
 Finite domain integers.
 
 Gecode::Int::Cumulatives
 Cumulatives propagators
 

Macros

#define GECODE_PUSH_EVENTS(E)
 

Enumerations

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

Macro Definition Documentation

#define GECODE_PUSH_EVENTS (   E)
Value:
assert(events_size < s.size()*8); \
events[events_size++] = E