jtp.rs
Class DefaultReasoningStepCollector

java.lang.Object
  |
  +--jtp.rs.DefaultReasoningStepCollector

All Implemented Interfaces:

ReasoningStepCollector, ReasoningStepIterator

public class DefaultReasoningStepCollector

extends Object

implements ReasoningStepCollector, ReasoningStepIterator

Constructor Summary

DefaultReasoningStepCollector()

Method Summary

void	addReasoningStep(ReasoningStep rs)
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

Constructor Detail

DefaultReasoningStepCollector

public DefaultReasoningStepCollector()

Method Detail

addReasoningStep

public void addReasoningStep(ReasoningStep rs)

Specified by:

addReasoningStep in interface ReasoningStepCollector

next

public ReasoningStep next()

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.