Heap-memory management
[Memory management]

Classes
class	Gecode::Heap
	Heap memory management class. More...