de.uka.ilkd.key.strategy.quantifierHeuristics

Class LiteralsSmallerThanFeature.MonomialIterator

java.lang.Object

de.uka.ilkd.key.strategy.quantifierHeuristics.LiteralsSmallerThanFeature.MonomialIterator

All Implemented Interfaces:

java.util.Iterator<Term>

Enclosing class:

LiteralsSmallerThanFeature

private class LiteralsSmallerThanFeature.MonomialIterator
extends java.lang.Object
implements java.util.Iterator<Term>

Field Summary

Fields

Modifier and Type	Field and Description
private Term	nextMonomial
private Term	polynomial

Constructor Summary

Constructors

Modifier	Constructor and Description
private	MonomialIterator(Term polynomial)

Method Summary

Modifier and Type	Method and Description
private void	findNextMonomial()
boolean	hasNext()
Term	next()
void	remove() throw an unsupported operation exception

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

Field Detail

polynomial

private Term polynomial

nextMonomial

private Term nextMonomial

Constructor Detail

MonomialIterator

private MonomialIterator(Term polynomial)

Method Detail

findNextMonomial

private void findNextMonomial()

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Term>

next

public Term next()

Specified by:

next in interface java.util.Iterator<Term>

remove

public void remove()

throw an unsupported operation exception

Specified by:

remove in interface java.util.Iterator<Term>