This method is required by Iterator interface It is a wrapper for #nextSolution() @see java.util.Iterator#next()
()
| 247 | * @see java.util.Iterator#next() |
| 248 | */ |
| 249 | public Map<String, Term> next() { |
| 250 | return nextSolution(); |
| 251 | } |
| 252 | |
| 253 | /** |
| 254 | * This method (required by Iterator interface) is a no-op |
no test coverage detected