Gecode::Int::ViewValGraph Namespace Reference

Support classes for propagators using a view-value graph. More...

Classes
class	CombPtrFlag
	Class for combining two pointers with a flag. More...
class	BiLink
	Bidirectional links for edges and anchors in nodes of view-value graph. More...
class	Node
	Base-class for nodes (both view and value nodes). More...
class	ValNode
	Value nodes in view-value graph. More...
class	ViewNode
	View nodes in view-value graph. More...
class	Edge
	Edges in view-value graph. More...
class	IterPruneVal
	Iterates the values to be pruned from a view node. More...
class	Graph
	View-value graph base class. More...

---

Detailed Description

Support classes for propagators using a view-value graph.