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) add a new mapping
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

Returns:

true if the set of mappings is empty

map

public Map<VarName,VarName> map()

Specified by:

map in interface Unifier

keySet

public Set<VarName> keySet()

Specified by:

keySet in interface Unifier

Returns:

variables present in this unifier

values

public Collection<VarName> values()

Specified by:

values in interface Unifier

Returns:

terms present in this unifier

getMappings

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

Specified by:

getMappings in interface Unifier

Returns:

set of mappings constituting this unifier

addMapping

public VarName addMapping(VarName key,
                          VarName value)

Description copied from interface: Unifier

add a new mapping

Specified by:

addMapping in interface Unifier

Parameters:

key - variable

value - term

Returns:

previous value associated with key, or null if there was no mapping for key

get

public VarName get(VarName key)

Specified by:

get in interface Unifier

Parameters:

key - specific variable

Returns:

corresponding term

containsKey

public boolean containsKey(VarName key)

Specified by:

containsKey in interface Unifier

Parameters:

key - variable to be inspected for presence

Returns:

true if specified key is part of a mapping

containsValue

public boolean containsValue(VarName value)

Specified by:

containsValue in interface Unifier

Parameters:

value - term to be checked for presence

Returns:

true if specified value is part of a mapping

merge

public Unifier merge(Unifier d)

Specified by:

merge in interface Unifier

Parameters:

d - unifier to be merged with this unifier

Returns:

merged unifier

removeTrivialMappings

public Unifier removeTrivialMappings()

Specified by:

removeTrivialMappings in interface Unifier

size

public int size()

Specified by:

size in interface Unifier

Returns:

number of mappings that consittute this unifier