ai.grakn.graql.internal.reasoner.atom

Class AtomBase

java.lang.Object

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

All Implemented Interfaces:

Atomic, Cloneable

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, Query par)

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface ai.grakn.graql.internal.reasoner.atom.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,
                   Query par)

AtomBase

protected AtomBase(AtomBase a)

Method Detail

clone

public abstract Atomic clone()

Specified by:

clone in interface Atomic

Overrides:

clone in class Object

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

getSelectedNames

public Set<VarName> getSelectedNames()

resetNames

public void resetNames()

isValueUserDefinedName

public boolean isValueUserDefinedName()

Returns:

true if the value variable is user defined

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 Query getParentQuery()

Specified by:

getParentQuery in interface Atomic

Returns:

the query the atom is contained in

setParentQuery

public void setParentQuery(Query q)

Specified by:

setParentQuery in interface Atomic

Parameters:

q - query this atom is supposed to belong to

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