ai.grakn.graql.internal.reasoner.atom.predicate

Class Predicate<T>

java.lang.Object

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

ai.grakn.graql.internal.reasoner.atom.predicate.Predicate<T>

All Implemented Interfaces:

Atomic, Cloneable

Direct Known Subclasses:

IdPredicate, ValuePredicate

public abstract class Predicate<T>
extends AtomBase

Atom implementation serving as base class for predicate implementations.

Author:

Kasper Piskorski

Field Summary

Fields

Modifier and Type	Field and Description
protected T	predicate

Fields inherited from class ai.grakn.graql.internal.reasoner.atom.AtomBase

atomPattern, varName

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Predicate(Predicate pred)
protected	Predicate(VarAdmin pattern)
protected	Predicate(VarAdmin pattern, Query par)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	equivalenceHashCode()
protected abstract T	extractPredicate(VarAdmin pattern)
T	getPredicate()
abstract String	getPredicateValue()
Map<VarName,VarName>	getUnifiers(Atomic parentAtom) get unifiers by comparing this atom with parent
int	hashCode()
boolean	isEquivalent(Object obj)
boolean	isIdPredicate()
boolean	isPredicate()
boolean	isRuleResolvable()
boolean	isValuePredicate()

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.AtomBase

clone, containsVar, getCombinedPattern, getParentQuery, getPattern, getSelectedNames, getVarName, getVarNames, isUserDefinedName, isValueUserDefinedName, resetNames, setParentQuery, toString, unify

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.internal.reasoner.atom.Atomic

isAtom, isRecursive, isSelectable

Field Detail

predicate

protected T predicate

Constructor Detail

Predicate

protected Predicate(VarAdmin pattern)

Predicate

protected Predicate(VarAdmin pattern,
                    Query par)

Predicate

protected Predicate(Predicate pred)

Method Detail

isIdPredicate

public boolean isIdPredicate()

Returns:

true if the atom corresponds to a unifier (id atom)

isValuePredicate

public boolean isValuePredicate()

Returns:

true if the atom corresponds to a value atom

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isEquivalent

public boolean isEquivalent(Object obj)

Returns:

true if atom alpha-equivalent

equivalenceHashCode

public int equivalenceHashCode()

Returns:

equivalence hash code

isPredicate

public boolean isPredicate()

isRuleResolvable

public boolean isRuleResolvable()

Returns:

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

getUnifiers

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

Description copied from class: AtomBase

get unifiers by comparing this atom with parent

Specified by:

getUnifiers in interface Atomic

Overrides:

getUnifiers in class AtomBase

Parameters:

parentAtom - atom defining variable names

Returns:

map of unifiers

getPredicate

public T getPredicate()

getPredicateValue

public abstract String getPredicateValue()

extractPredicate

protected abstract T extractPredicate(VarAdmin pattern)