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

Macro Definition Documentation

#define GECODE_PUSH_EVENTS

(

E

)

Value:

assert(events_size < s.size()*8);     \
        events[events_size++] = E