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>

Type Parameters:

T - the type of the predicate on a concept

All Implemented Interfaces:

Atomic

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, ReasonerQuery 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()
Unifier	getUnifier(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

containsVar, copy, getCombinedPattern, getParentQuery, getPattern, getVarName, getVarNames, graph, isUserDefinedName, setParentQuery, toString, unify

Methods inherited from class java.lang.Object

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

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

isAtom, isRecursive, isSelectable

Field Detail

predicate

protected T predicate

Constructor Detail

Predicate

protected Predicate(VarAdmin pattern,
                    ReasonerQuery 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)

getUnifier

public Unifier getUnifier(Atomic parentAtom)

Description copied from class: AtomBase

get unifiers by comparing this atom with parent

Specified by:

getUnifier in interface Atomic

Overrides:

getUnifier in class AtomBase

Parameters:

parentAtom - atom defining variable names

Returns:

unifier

getPredicate

public T getPredicate()

getPredicateValue

public abstract String getPredicateValue()

extractPredicate

protected abstract T extractPredicate(VarAdmin pattern)