ai.grakn.graql.internal.reasoner.atom

Class AtomBase

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomBase

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

Atom, DataTypeAtom, IsAbstractAtom, NotEquals, Predicate, RegexAtom

public abstract class AtomBase
extends Object
implements Atomic

Base atom implementation providing basic functionalities.

Author:

Kasper Piskorski

Field Summary

Fields

Modifier and Type	Field and Description
protected PatternAdmin	atomPattern
protected VarName	varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AtomBase(AtomBase a)
protected	AtomBase(VarAdmin pattern, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
boolean	containsVar(VarName name)
abstract Atomic	copy()
PatternAdmin	getCombinedPattern()
ReasonerQuery	getParentQuery()
PatternAdmin	getPattern()
Map<VarName,VarName>	getUnifiers(Atomic parentAtom) get unifiers by comparing this atom with parent
VarName	getVarName()
Set<VarName>	getVarNames()
GraknGraph	graph()
boolean	isUserDefinedName()
void	setParentQuery(ReasonerQuery q)
String	toString()
void	unify(Map<VarName,VarName> unifiers) perform unification on the atom by applying unifiers

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.admin.Atomic

equivalenceHashCode, isAtom, isEquivalent, isPredicate, isRecursive, isRuleResolvable, isSelectable

Field Detail

varName

protected VarName varName

atomPattern

protected PatternAdmin atomPattern

Constructor Detail

AtomBase

protected AtomBase(VarAdmin pattern,
                   ReasonerQuery par)

AtomBase

protected AtomBase(AtomBase a)

Method Detail

copy

public abstract Atomic copy()

Specified by:

copy in interface Atomic

toString

public String toString()

Overrides:

toString in class Object

containsVar

public boolean containsVar(VarName name)

Specified by:

containsVar in interface Atomic

Parameters:

name - variable name

Returns:

true if atom contains an occurrence of the variable name

isUserDefinedName

public boolean isUserDefinedName()

Specified by:

isUserDefinedName in interface Atomic

Returns:

true if the variable name is user defined

getVarName

public VarName getVarName()

Specified by:

getVarName in interface Atomic

getVarNames

public Set<VarName> getVarNames()

Specified by:

getVarNames in interface Atomic

Returns:

all addressable variable names in the atom

getPattern

public PatternAdmin getPattern()

Specified by:

getPattern in interface Atomic

Returns:

pattern corresponding to this atom

getCombinedPattern

public PatternAdmin getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

Returns:

the base pattern combined with possible predicate patterns

getParentQuery

public ReasonerQuery getParentQuery()

Specified by:

getParentQuery in interface Atomic

Returns:

the query the atom is contained in

setParentQuery

public void setParentQuery(ReasonerQuery q)

Specified by:

setParentQuery in interface Atomic

Parameters:

q - query this atom is supposed to belong to

graph

public GraknGraph graph()

unify

public void unify(Map<VarName,VarName> unifiers)

perform unification on the atom by applying unifiers

Specified by:

unify in interface Atomic

Parameters:

unifiers - contain variable mappings to be applied

getUnifiers

public Map<VarName,VarName> getUnifiers(Atomic parentAtom)

get unifiers by comparing this atom with parent

Specified by:

getUnifiers in interface Atomic

Parameters:

parentAtom - atom defining variable names

Returns:

map of unifiers