This method implements part of the java.util.Enumeration interface. It is a wrapper for #hasMoreSolutions(). @return true if the Prolog query yields a (or another) solution, else false.
()
| 267 | * false. |
| 268 | */ |
| 269 | public final boolean hasMoreElements() { |
| 270 | return hasMoreSolutions(); |
| 271 | } |
| 272 | |
| 273 | /** |
| 274 | * This method implements part of the java.util.Enumeration interface. |
nothing calls this directly
no test coverage detected