com.declarativa.interprolog

Class SolutionIterator

java.lang.Object

com.declarativa.interprolog.SolutionIterator

All Implemented Interfaces:

Iterator<Object[]>

public class SolutionIterator
extends Object
implements Iterator<Object[]>

An Iterator object that actually evaluates a goal and collects its solutions incrementally. Performance could probably be improved by using wait/notify rather than plain Thread.yield()

Method Summary

Modifier and Type	Method and Description
void	cancel() terminates the non deterministic goal that returned this iterator, without finding more solutions
boolean	hasNext()
boolean	lastSolutionUndefined()
Object[]	next()
boolean	recordSolution(Object[] bindings, Object error, boolean undefined) This will messaged by Prolog.
void	remove()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Object[]>

recordSolution

public boolean recordSolution(Object[] bindings,
                              Object error,
                              boolean undefined)

This will messaged by Prolog. Returns false to it if we wish to cancel

next

public Object[] next()

Specified by:

next in interface Iterator<Object[]>

lastSolutionUndefined

public boolean lastSolutionUndefined()

remove

public void remove()

Specified by:

remove in interface Iterator<Object[]>

cancel

public void cancel()

terminates the non deterministic goal that returned this iterator, without finding more solutions