ai.grakn.graql.internal.reasoner.atom

Class Predicate<T>

java.lang.Object

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

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

All Implemented Interfaces:

Atomic, Cloneable

Direct Known Subclasses:

IdPredicate, ValuePredicate

public abstract class Predicate<T>
extends AtomBase

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

Constructor and Description
Predicate(Predicate pred)
Predicate(VarAdmin pattern)
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)
abstract String	getPredicateValue()
Map<String,String>	getUnifiers(Atomic parentAtom)
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, getParentQuery, getPattern, getPredicates, getVarName, getVarNames, setParentQuery, toString, unify, 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

Field Detail

predicate

protected T predicate

Constructor Detail

Predicate

public Predicate(VarAdmin pattern)

Predicate

public Predicate(VarAdmin pattern,
                 Query par)

Predicate

public 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()

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<String,String> getUnifiers(Atomic parentAtom)

Specified by:

getUnifiers in interface Atomic

Specified by:

getUnifiers in class AtomBase

getPredicateValue

public abstract String getPredicateValue()

extractPredicate

protected abstract T extractPredicate(VarAdmin pattern)