org.sosy_lab.solver.basicimpl

Class TermExtractionModelIterator<E>

java.lang.Object

com.google.common.collect.UnmodifiableIterator<Model.ValueAssignment>

org.sosy_lab.solver.basicimpl.TermExtractionModelIterator<E>

All Implemented Interfaces:

Iterator<Model.ValueAssignment>

public class TermExtractionModelIterator<E>
extends UnmodifiableIterator<Model.ValueAssignment>

Helper class for writing model iterators.

Constructor Summary

Constructors

Constructor and Description
TermExtractionModelIterator(FormulaCreator<E,?,?,?> creator, Function<E,Object> evaluator, Iterable<E> assertedTerms)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	hasNext()
Model.ValueAssignment	next()

Methods inherited from class com.google.common.collect.UnmodifiableIterator

remove

Methods inherited from class java.lang.Object

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

Constructor Detail

TermExtractionModelIterator

public TermExtractionModelIterator(FormulaCreator<E,?,?,?> creator,
                           Function<E,Object> evaluator,
                           Iterable<E> assertedTerms)

Method Detail

hasNext

public boolean hasNext()

next

public Model.ValueAssignment next()