public Iterator < Set < Variable > > iterator ( ) { return new SequenceIterator < Set < Variable > > ( ) { public Set < Variable > nextInSequence ( ) { return resolve ( ) ; } } ; }
Provides an iterator that generates all solutions on demand as a sequence of variable bindings .