ai.grakn.graql.internal.reasoner.atom

Interface Atomic

All Superinterfaces:

Cloneable

All Known Implementing Classes:

Atom, AtomBase, Binary, BinaryBase, DataTypeAtom, HasRole, IdPredicate, IsAbstractAtom, MultiPredicateBinary, NotEquals, Predicate, RegexAtom, Relation, Resource, TypeAtom, ValuePredicate

public interface Atomic
extends Cloneable

Interface for atoms.

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
Atomic	clone()
default boolean	containsVar(VarName name)
int	equivalenceHashCode()
PatternAdmin	getCombinedPattern()
Query	getParentQuery()
PatternAdmin	getPattern()
Map<VarName,VarName>	getUnifiers(Atomic parentAtom)
VarName	getVarName()
Set<VarName>	getVarNames()
default boolean	isAtom()
boolean	isEquivalent(Object obj)
default boolean	isPredicate()
default boolean	isRecursive()
default boolean	isRuleResolvable()
default boolean	isSelectable()
default boolean	isUserDefinedName()
void	setParentQuery(Query q)
void	unify(Map<VarName,VarName> unifiers) change each variable occurrence according to provided mappings (apply unifiers {[from, to]_i}) if capture occurs it is marked with a "capture->" name

Method Detail

clone

Atomic clone()

isAtom

default boolean isAtom()

isPredicate

default boolean isPredicate()

isEquivalent

boolean isEquivalent(Object obj)

Returns:

true if atom alpha-equivalent

equivalenceHashCode

int equivalenceHashCode()

Returns:

equivalence hash code

isUserDefinedName

default boolean isUserDefinedName()

Returns:

true if the variable name is user defined

isRuleResolvable

default boolean isRuleResolvable()

Returns:

true if the atom can be resolved by a rule (atom exists in one of the rule's head)

isSelectable

default boolean isSelectable()

Returns:

true if the atom can form an atomic query

isRecursive

default boolean isRecursive()

containsVar

default boolean containsVar(VarName name)

Parameters:

name - variable name

Returns:

true if atom contains an occurrence of the variable name

getPattern

PatternAdmin getPattern()

Returns:

the corresponding base pattern

getCombinedPattern

PatternAdmin getCombinedPattern()

Returns:

the base pattern combined with possible predicate patterns

getParentQuery

Query getParentQuery()

Returns:

the query this atom belongs to

setParentQuery

void setParentQuery(Query q)

Parameters:

q - query this atom is supposed to belong to

getUnifiers

Map<VarName,VarName> getUnifiers(Atomic parentAtom)

unify

void unify(Map<VarName,VarName> unifiers)

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

Parameters:

unifiers - contain variable mappings to be applied

getVarName

VarName getVarName()

getVarNames

Set<VarName> getVarNames()

Returns:

all addressable variable names in the atom