val.hpp File Reference

#include <algorithm>

Define Documentation

#define GECODE_PUSH_EVENTS ( E )

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


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
Defines
#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...