Gecode::SetTraceDelta::Lub Class Reference

Delta for the least upper bound. More...

#include <set.hh>

List of all members.

Protected Attributes
Iter::Ranges::RangeList	o
	Iterator over old lub.
Set::LubRanges< Set::SetView >	n
	Iterator over new lub.
Constructors and initialization
	Lub (RangeList *o, Set::SetView n)
	Initialize with old lub o and new lub n.

---

Detailed Description

Delta for the least upper bound.

Definition at line 1728 of file set.hh.

---

Constructor & Destructor Documentation

Gecode::SetTraceDelta::Lub::Lub	(	RangeList *	o,
		Set::SetView	n
	)			[inline]

Initialize with old lub o and new lub n.

Definition at line 42 of file delta.hpp.

---

Member Data Documentation

Iter::Ranges::RangeList Gecode::SetTraceDelta::Lub::o [protected]

Iterator over old lub.

Definition at line 1733 of file set.hh.

Set::LubRanges<Set::SetView> Gecode::SetTraceDelta::Lub::n [protected]

Iterator over new lub.

Definition at line 1735 of file set.hh.

---

The documentation for this class was generated from the following files:

• gecode/set.hh
• gecode/set/trace/delta.hpp