ai.grakn.graql.internal.reasoner

Class MultiUnifierImpl

java.lang.Object

ai.grakn.graql.internal.reasoner.MultiUnifierImpl

All Implemented Interfaces:

MultiUnifier, Iterable<Unifier>

public class MultiUnifierImpl
extends Object
implements MultiUnifier

Implementation of the MultiUnifier interface. Special cases: Identity unifier: contains a single trivial unifier. Unifier doesn't exist: unifier is an empty set.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
MultiUnifierImpl() identity multiunifier: single trivial unifier
MultiUnifierImpl(Set<Unifier> us)
MultiUnifierImpl(Unifier u)

Method Summary

Modifier and Type	Method and Description
boolean	contains(Unifier u2)
boolean	containsAll(MultiUnifier mu)
boolean	equals(Object obj)
Unifier	getAny()
Unifier	getUnifier()
int	hashCode()
MultiUnifier	inverse()
boolean	isEmpty()
Iterator<Unifier>	iterator()
static MultiUnifierImpl	nonExistent()
int	size()
java.util.stream.Stream<Unifier>	stream()
String	toString()
static MultiUnifierImpl	trivial()
com.google.common.collect.ImmutableSet<Unifier>	unifiers()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

MultiUnifierImpl

public MultiUnifierImpl(Set<Unifier> us)

MultiUnifierImpl

public MultiUnifierImpl(Unifier u)

MultiUnifierImpl

public MultiUnifierImpl()

identity multiunifier: single trivial unifier

Method Detail

trivial

public static MultiUnifierImpl trivial()

nonExistent

public static MultiUnifierImpl nonExistent()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

stream

public java.util.stream.Stream<Unifier> stream()

Specified by:

stream in interface MultiUnifier

iterator

@Nonnull
public Iterator<Unifier> iterator()

Specified by:

iterator in interface MultiUnifier

Specified by:

iterator in interface Iterable<Unifier>

getUnifier

public Unifier getUnifier()

Specified by:

getUnifier in interface MultiUnifier

getAny

public Unifier getAny()

Specified by:

getAny in interface MultiUnifier

unifiers

public com.google.common.collect.ImmutableSet<Unifier> unifiers()

Specified by:

unifiers in interface MultiUnifier

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface MultiUnifier

contains

public boolean contains(Unifier u2)

containsAll

public boolean containsAll(MultiUnifier mu)

Specified by:

containsAll in interface MultiUnifier

inverse

public MultiUnifier inverse()

Specified by:

inverse in interface MultiUnifier

size

public int size()

Specified by:

size in interface MultiUnifier