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

Class Predicate<T>

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomicBase

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, NeqPredicate, ValuePredicate

public abstract class Predicate<T>
extends AtomicBase

AtomicBase extension serving as base class for predicate implementations.

Author:

Kasper Piskorski

Method Summary

Modifier and Type	Method and Description
int	alphaEquivalenceHashCode()
boolean	equals(Object obj)
protected abstract T	extractPredicate(VarPattern pattern)
T	getPredicate()
abstract String	getPredicateValue()
int	hashCode()
boolean	isAlphaEquivalent(Object obj)
boolean	isStructurallyEquivalent(Object obj)
int	structuralEquivalenceHashCode()
Set<String>	validateAsRuleHead(Rule rule)

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

checkValid, containsVar, copy, createCombinedPattern, getCombinedPattern, getParentQuery, getPattern, getVarName, getVarNames, inferTypes, inferTypes, isUserDefined, setParentQuery, toString, tx

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, isCompatibleWith, isRelation, isResource, isSelectable, isType, validateOntologically

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

validateAsRuleHead

public Set<String> validateAsRuleHead(Rule rule)

Specified by:

validateAsRuleHead in interface Atomic

Overrides:

validateAsRuleHead in class AtomicBase

isAlphaEquivalent

public boolean isAlphaEquivalent(Object obj)

alphaEquivalenceHashCode

public int alphaEquivalenceHashCode()

isStructurallyEquivalent

public boolean isStructurallyEquivalent(Object obj)

structuralEquivalenceHashCode

public int structuralEquivalenceHashCode()

getPredicate

public T getPredicate()

getPredicateValue

public abstract String getPredicateValue()

extractPredicate

protected abstract T extractPredicate(VarPattern pattern)