Class DynamicUserDefinedPredicateFactory.ImplicationsIterator

java.lang.Object

org.projog.core.predicate.udp.DynamicUserDefinedPredicateFactory.ImplicationsIterator

All Implemented Interfaces:

Iterator<ClauseModel>

Enclosing class:

DynamicUserDefinedPredicateFactory

private class DynamicUserDefinedPredicateFactory.ImplicationsIterator
extends Object
implements Iterator<ClauseModel>

Field Summary

Fields

Modifier and Type	Field	Description
private DynamicUserDefinedPredicateFactory.ClauseActionMetaData	previous

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ImplicationsIterator()

Method Summary

Modifier and Type	Method	Description
private DynamicUserDefinedPredicateFactory.ClauseActionMetaData	getNext()
boolean	hasNext()
ClauseModel	next()	Returns a new copy to avoid the original being altered.
void	remove()

Methods inherited from class Object

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

Methods inherited from interface Iterator

forEachRemaining

Field Details

previous

private DynamicUserDefinedPredicateFactory.ClauseActionMetaData previous

Constructor Details

ImplicationsIterator

private ImplicationsIterator()

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>

getNext

private DynamicUserDefinedPredicateFactory.ClauseActionMetaData getNext()

remove

public void remove()

Specified by:

remove in interface Iterator<ClauseModel>