StaticUserDefinedPredicateFactory.ImplicationsIterator

java.lang.Object
- org.projog.core.predicate.udp.StaticUserDefinedPredicateFactory.ImplicationsIterator

All Implemented Interfaces:

java.util.Iterator<ClauseModel>

Enclosing class:

StaticUserDefinedPredicateFactory
```
private static final class StaticUserDefinedPredicateFactory.ImplicationsIterator
extends java.lang.Object
implements java.util.Iterator<ClauseModel>
```
See Also:

StaticUserDefinedPredicateFactory.getImplications()

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private java.util.Iterator<ClauseModel> iterator
- Constructor Summary
  
  Constructors
  Constructor Description
  
  ImplicationsIterator(java.util.List<ClauseModel> implications)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  boolean hasNext()
  
  ClauseModel next()
  Returns a new copy to avoid the original being altered.
  - 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, remove

- Field Detail
  - iterator
```
private final java.util.Iterator<ClauseModel> iterator
```
- Constructor Detail
  - ImplicationsIterator
```
ImplicationsIterator(java.util.List<ClauseModel> implications)
```
- Method Detail
  - hasNext
```
public boolean hasNext()
```
    Specified by:
    
    hasNext in interface java.util.Iterator<ClauseModel>
  - next
```
public ClauseModel next()
```
    Returns a new copy to avoid the original being altered.
    
    Specified by:
    
    next in interface java.util.Iterator<ClauseModel>