ai.grakn.graql.internal.reasoner

Class UnifierImpl

java.lang.Object

ai.grakn.graql.internal.reasoner.UnifierImpl

All Implemented Interfaces:

Unifier

public class UnifierImpl
extends Object
implements Unifier

Implementation of the Unifier interface.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
UnifierImpl() Identity unifier.
UnifierImpl(com.google.common.collect.ImmutableMultimap<Var,Var> map)
UnifierImpl(Map<Var,Var> map)
UnifierImpl(com.google.common.collect.Multimap<Var,Var> map)

Method Summary

Modifier and Type	Method and Description
boolean	containsAll(Unifier u)
boolean	containsKey(Var key)
boolean	equals(Object obj)
Collection<Var>	get(Var key)
int	hashCode()
Unifier	inverse()
boolean	isEmpty()
Set<Var>	keySet()
com.google.common.collect.ImmutableSet<Map.Entry<Var,Var>>	mappings()
Unifier	merge(Unifier d)
String	toString()
Collection<Var>	values()

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifierImpl

public UnifierImpl()

Identity unifier.

UnifierImpl

public UnifierImpl(com.google.common.collect.ImmutableMultimap<Var,Var> map)

UnifierImpl

public UnifierImpl(com.google.common.collect.Multimap<Var,Var> map)

UnifierImpl

public UnifierImpl(Map<Var,Var> map)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Unifier

keySet

public Set<Var> keySet()

Specified by:

keySet in interface Unifier

values

public Collection<Var> values()

Specified by:

values in interface Unifier

mappings

public com.google.common.collect.ImmutableSet<Map.Entry<Var,Var>> mappings()

Specified by:

mappings in interface Unifier

get

public Collection<Var> get(Var key)

Specified by:

get in interface Unifier

containsKey

public boolean containsKey(Var key)

Specified by:

containsKey in interface Unifier

containsAll

public boolean containsAll(Unifier u)

Specified by:

containsAll in interface Unifier

merge

public Unifier merge(Unifier d)

Specified by:

merge in interface Unifier

inverse

public Unifier inverse()

Specified by:

inverse in interface Unifier