public class ImmutableHomomorphismIterator<P extends AtomPredicate> extends Object implements Iterator<ImmutableHomomorphism>
| Constructor and Description |
|---|
ImmutableHomomorphismIterator(ImmutableHomomorphism baseHomomorphism,
com.google.common.collect.ImmutableList<DataAtom<P>> from,
com.google.common.collect.ImmutableCollection<DataAtom<P>> to) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
hasNext() |
ImmutableHomomorphism |
next() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitforEachRemaining, removepublic ImmutableHomomorphismIterator(ImmutableHomomorphism baseHomomorphism, com.google.common.collect.ImmutableList<DataAtom<P>> from, com.google.common.collect.ImmutableCollection<DataAtom<P>> to)
public boolean hasNext()
hasNext in interface Iterator<ImmutableHomomorphism>public ImmutableHomomorphism next()
next in interface Iterator<ImmutableHomomorphism>Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.