jtp.gmp
Class ModusPonensRecycler

java.lang.Object
  |
  +--jtp.gmp.ModusPonensRecycler

All Implemented Interfaces:

ReasoningStepIterator

public class ModusPonensRecycler

extends Object

implements ReasoningStepIterator

An iterator over partial proofs for a particular goal.

Field Summary

protected Map	bindings
protected Iterator	clauseIter
protected Literal	goal
protected ModusPonensProofStep	ps

Method Summary

ReasoningStep

next() retrieves the next reasoning step in the sequence, or null if there are no more.

Methods inherited from class java.lang.Object

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

Field Detail

clauseIter

protected Iterator clauseIter

ps

protected ModusPonensProofStep ps

goal

protected Literal goal

bindings

protected Map bindings

Method Detail

next

public ReasoningStep next()
                   throws ReasoningException

Description copied from interface: ReasoningStepIterator

retrieves the next reasoning step in the sequence, or null if there are no more. Note that some reasoners reuse reasoning steps, so you might want to make a clone if you want to keep one.

Specified by:

next in interface ReasoningStepIterator

Returns:

the next reasoning step in the sequence, or null if there are no more.

ReasoningException