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:
-
Field Details
-
iterator
-
-
Constructor Details
-
ImplicationsIterator
ImplicationsIterator(List<ClauseModel> implications)
-
-
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>
-