Package net.sf.tweety.arg.adf.reasoner

Class Pipeline.PipelineIterator

java.lang.Object

net.sf.tweety.arg.adf.reasoner.Pipeline.PipelineIterator

All Implemented Interfaces:

java.util.Iterator<Interpretation>

Enclosing class:

Pipeline<S>

private class Pipeline.PipelineIterator
extends java.lang.Object
implements java.util.Iterator<Interpretation>

Field Summary

Fields

Modifier and Type	Field	Description
private AbstractDialecticalFramework	adf
private boolean	end
private Interpretation	next
private S	state

Constructor Summary

Constructors

Modifier	Constructor	Description
private	PipelineIterator(S state, AbstractDialecticalFramework adf)

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
Interpretation	next()
private Interpretation	nextModel()
private boolean	verify(java.util.Queue<Verifier<S>> verifiers, Interpretation candidate)

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

Field Detail

state

private S state

next

private Interpretation next

end

private boolean end

adf

private AbstractDialecticalFramework adf

Constructor Detail

PipelineIterator

private PipelineIterator(S state,
                         AbstractDialecticalFramework adf)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Interpretation>

next

public Interpretation next()

Specified by:

next in interface java.util.Iterator<Interpretation>

nextModel

private Interpretation nextModel()

verify

private boolean verify(java.util.Queue<Verifier<S>> verifiers,
                       Interpretation candidate)