Package astra.reasoner

Class BeliefIterator

java.lang.Object

astra.reasoner.BeliefIterator

All Implemented Interfaces:

Iterator<Formula>

public class BeliefIterator
extends Object
implements Iterator<Formula>

Constructor Summary

Constructors

Constructor	Description
BeliefIterator(List<Queryable> sources, Predicate target)

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
Formula	next()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Details

BeliefIterator

public BeliefIterator(List<Queryable> sources, Predicate target)

Method Details

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Formula>

next

public Formula next()

Specified by:

next in interface Iterator<Formula>