Value iterators with virtual member functions
[Value iterators]
A value iterator provides incremental access to a sequence of increasing values. Iterators with virtual member functions have to be used when they are combined dynamically, and the actual types hence cannot be specified as template arguments.
Requires
#include <gecode/iter.hh>