Class StaticUserDefinedPredicateFactory.ImplicationsIterator

java.lang.Object

org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ImplicationsIterator

All Implemented Interfaces:

Iterator<ClauseModel>

Enclosing class:

StaticUserDefinedPredicateFactory

private static final class StaticUserDefinedPredicateFactory.ImplicationsIterator
extends Object
implements Iterator<ClauseModel>

See Also:

• StaticUserDefinedPredicateFactory.getImplications()

Field Summary

Fields

Modifier and Type	Field	Description
private final Iterator<ClauseModel>	iterator

Constructor Summary

Constructors

Constructor	Description
ImplicationsIterator(List<ClauseModel> implications)

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
ClauseModel	next()	Returns a new copy to avoid the original being altered.

Methods inherited from class Object

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

Methods inherited from interface Iterator

forEachRemaining, remove

Field Details

iterator

private final Iterator<ClauseModel> iterator

Constructor Details

ImplicationsIterator

ImplicationsIterator(List<ClauseModel> implications)

Method Details

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<ClauseModel>

next

public ClauseModel next()

Returns a new copy to avoid the original being altered.

Specified by:

next in interface Iterator<ClauseModel>