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 Details
-
previous
-
-
Constructor Details
-
ImplicationsIterator
private ImplicationsIterator()
-
-
Method Details
-
hasNext
public boolean hasNext()- Specified by:
hasNextin interfaceIterator<ClauseModel>
-
next
Returns a new copy to avoid the original being altered.- Specified by:
nextin interfaceIterator<ClauseModel>
-
getNext
-
remove
public void remove()- Specified by:
removein interfaceIterator<ClauseModel>
-