public class MultiUnifierImpl extends Object implements MultiUnifier
Implementation of the MultiUnifier interface.
| Constructor and Description |
|---|
MultiUnifierImpl()
identity multiunifier
|
MultiUnifierImpl(Set<Unifier> us) |
MultiUnifierImpl(Unifier u) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
contains(Unifier u2) |
boolean |
containsAll(MultiUnifier mu) |
Unifier |
getUnifier() |
MultiUnifier |
inverse() |
boolean |
isEmpty() |
Iterator<Unifier> |
iterator() |
MultiUnifier |
merge(Unifier u) |
int |
size() |
java.util.stream.Stream<Unifier> |
stream() |
com.google.common.collect.ImmutableSet<Unifier> |
unifiers() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitparallelStreamforEach, spliteratorpublic MultiUnifierImpl(Unifier u)
public MultiUnifierImpl()
public java.util.stream.Stream<Unifier> stream()
stream in interface Streamable<Unifier>public Unifier getUnifier()
getUnifier in interface MultiUnifierpublic com.google.common.collect.ImmutableSet<Unifier> unifiers()
unifiers in interface MultiUnifierpublic boolean isEmpty()
isEmpty in interface MultiUnifierpublic boolean contains(Unifier u2)
contains in interface MultiUnifierpublic boolean containsAll(MultiUnifier mu)
containsAll in interface MultiUnifierpublic MultiUnifier merge(Unifier u)
merge in interface MultiUnifierpublic MultiUnifier inverse()
inverse in interface MultiUnifierpublic int size()
size in interface MultiUnifierCopyright © 2017 Grakn Labs Ltd. All rights reserved.