ai.grakn.graql.internal.reasoner.query

Class UnifierImpl

java.lang.Object

ai.grakn.graql.internal.reasoner.query.UnifierImpl

All Implemented Interfaces:

Unifier

public class UnifierImpl
extends Object
implements Unifier

Implementation of Unifier interface.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
UnifierImpl()
UnifierImpl(Map<VarName,VarName> map)
UnifierImpl(Unifier u)

Method Summary

Modifier and Type	Method and Description
VarName	addMapping(VarName key, VarName value)
boolean	containsKey(VarName key)
boolean	containsValue(VarName value)
boolean	equals(Object obj)
VarName	get(VarName key)
Set<Map.Entry<VarName,VarName>>	getMappings()
int	hashCode()
boolean	isEmpty()
Set<VarName>	keySet()
Map<VarName,VarName>	map()
Unifier	merge(Unifier d)
Unifier	removeTrivialMappings()
int	size()
Collection<VarName>	values()

Methods inherited from class java.lang.Object

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

Constructor Detail

UnifierImpl

public UnifierImpl()

UnifierImpl

public UnifierImpl(Map<VarName,VarName> map)

UnifierImpl

public UnifierImpl(Unifier u)

Method Detail

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

map

public Map<VarName,VarName> map()

Specified by:

map in interface Unifier

keySet

public Set<VarName> keySet()

Specified by:

keySet in interface Unifier

values

public Collection<VarName> values()

Specified by:

values in interface Unifier

getMappings

public Set<Map.Entry<VarName,VarName>> getMappings()

Specified by:

getMappings in interface Unifier

addMapping

public VarName addMapping(VarName key,
                          VarName value)

Specified by:

addMapping in interface Unifier

get

public VarName get(VarName key)

Specified by:

get in interface Unifier

containsKey

public boolean containsKey(VarName key)

Specified by:

containsKey in interface Unifier

containsValue

public boolean containsValue(VarName value)

Specified by:

containsValue in interface Unifier

merge

public Unifier merge(Unifier d)

Specified by:

merge in interface Unifier

removeTrivialMappings

public Unifier removeTrivialMappings()

Specified by:

removeTrivialMappings in interface Unifier

size

public int size()

Specified by:

size in interface Unifier