This method is required by Iterator interface It is a wrapper for #hasMoreSolutions() @see java.util.Iterator#hasNext()
()
| 237 | * @see java.util.Iterator#hasNext() |
| 238 | */ |
| 239 | public boolean hasNext() { |
| 240 | return hasMoreSolutions(); |
| 241 | } |
| 242 | |
| 243 | /** |
| 244 | * This method is required by Iterator interface |
no test coverage detected