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(Collection<Map.Entry<Var,Var>> mappings)
UnifierImpl(com.google.common.collect.ImmutableMap<Var,Var> map)
UnifierImpl(com.google.common.collect.ImmutableMultimap<Var,Var> map)
UnifierImpl(Unifier u)

Method Summary

Modifier and Type	Method and Description
boolean	addMapping(Var key, Var value)
Unifier	combine(Unifier d)
boolean	containsAll(Unifier u)
boolean	containsKey(Var key)
boolean	containsValue(Var value)
boolean	equals(Object obj)
Collection<Var>	get(Var key)
int	hashCode()
Unifier	inverse()
boolean	isEmpty()
Set<Var>	keySet()
Set<Map.Entry<Var,Var>>	mappings()
Unifier	merge(Unifier d)
int	size()
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(Collection<Map.Entry<Var,Var>> mappings)

UnifierImpl

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

UnifierImpl

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

UnifierImpl

public UnifierImpl(Unifier u)

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 Set<Map.Entry<Var,Var>> mappings()

Specified by:

mappings in interface Unifier

addMapping

public boolean addMapping(Var key,
                          Var value)

Specified by:

addMapping 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

containsValue

public boolean containsValue(Var value)

Specified by:

containsValue 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

combine

public Unifier combine(Unifier d)

Specified by:

combine in interface Unifier

inverse

public Unifier inverse()

Specified by:

inverse in interface Unifier

size

public int size()

Specified by:

size in interface Unifier