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

Field Summary

Fields

Modifier and Type	Field and Description
protected PatternAdmin	atomPattern
protected String	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(String name)
Query	getParentQuery()
PatternAdmin	getPattern()
Set<Predicate>	getPredicates()
Set<String>	getSelectedNames()
Map<String,String>	getUnifiers(Atomic parentAtom)
String	getVarName()
Set<String>	getVarNames()
boolean	isUserDefinedName()
boolean	isValueUserDefinedName()
void	setParentQuery(Query q)
String	toString()
void	unify(Map<String,String> unifiers) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name
void	unify(String from, String to) change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name

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 String 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(String 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

getVarName

public String getVarName()

Specified by:

getVarName in interface Atomic

getVarNames

public Set<String> getVarNames()

Specified by:

getVarNames in interface Atomic

Returns:

all addressable variable names in the atom

getSelectedNames

public Set<String> getSelectedNames()

isValueUserDefinedName

public boolean isValueUserDefinedName()

getPattern

public PatternAdmin getPattern()

Specified by:

getPattern in interface Atomic

Returns:

the corresponding pattern

getParentQuery

public Query getParentQuery()

Specified by:

getParentQuery in interface Atomic

Returns:

the query this atom belongs to

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(String from,
                  String to)

Description copied from interface: Atomic

change each variable occurrence in the atom (apply unifier [from/to]) if capture occurs it is marked with a "capture->" name

Specified by:

unify in interface Atomic

Parameters:

from - variable name to be changed

to - new variable name

unify

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

Description copied from interface: Atomic

change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name

Specified by:

unify in interface Atomic

Parameters:

unifiers - contain variable mappings to be applied

getUnifiers

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

Specified by:

getUnifiers in interface Atomic

getPredicates

public Set<Predicate> getPredicates()