jtp.modelim
Class ModelEliminationReasoner.ProofCollector

java.lang.Object
  |
  +--jtp.modelim.ModelEliminationReasoner.ProofCollector

All Implemented Interfaces:

ReasoningStepIterator

Enclosing class:

ModelEliminationReasoner

protected class ModelEliminationReasoner.ProofCollector

extends Object

implements ReasoningStepIterator

Method Summary

jtp.modelim.Ring	backtrack(jtp.modelim.Ring r)
ReasoningStep	next() retrieves the next reasoning step in the sequence, or null if there are no more.
protected void	notifyOfExhaustion(Object goal, int exDepth)
protected void	notifyOfIntermediateResult(ReasoningStep rs)
protected void	notifyOfIntermediateResult(jtp.modelim.Ring r)

Methods inherited from class java.lang.Object

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

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

backtrack

public jtp.modelim.Ring backtrack(jtp.modelim.Ring r)

notifyOfExhaustion

protected void notifyOfExhaustion(Object goal,
                                  int exDepth)
                           throws ReasoningException

ReasoningException

notifyOfIntermediateResult

protected void notifyOfIntermediateResult(jtp.modelim.Ring r)
                                   throws ReasoningException

ReasoningException

notifyOfIntermediateResult

protected void notifyOfIntermediateResult(ReasoningStep rs)
                                   throws ReasoningException

ReasoningException