jtp.frame
Class SlotValueAskingReasoner.LinkResolvingReasoningStepIterator

java.lang.Object
  |
  +--jtp.frame.SlotValueAskingReasoner.LinkResolvingReasoningStepIterator

All Implemented Interfaces:

ReasoningStepIterator

Enclosing class:

SlotValueAskingReasoner

public static class SlotValueAskingReasoner.LinkResolvingReasoningStepIterator

extends Object

implements ReasoningStepIterator

a reasoning step iterator based on the supplied collection of ValueLinks. For every ValueLink, it returns the value of getProof function provided it is not null.

Constructor Summary

SlotValueAskingReasoner.LinkResolvingReasoningStepIterator(Collection links, Object value)
creates a new LinkResolvingReasoningStepIterator based on the supplied collection of links and a value.

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

Constructor Detail

SlotValueAskingReasoner.LinkResolvingReasoningStepIterator

public SlotValueAskingReasoner.LinkResolvingReasoningStepIterator(Collection links,
                                                                  Object value)

creates a new LinkResolvingReasoningStepIterator based on the supplied collection of links and a value.

Parameters:

value - the value to look for in the links; can be a variable

links - a collection of ValueLinks

Method Detail

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.