Generated on Tue Mar 5 2013 22:37:33 for Gecode by doxygen 1.8.3.1
val.hpp File Reference

(Revision: 12188)

#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

namespace  Gecode
 Gecode toplevel namespace
 
namespace  Gecode::Int
 Finite domain integers.
 
namespace  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