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

Class ValuePredicate

java.lang.Object

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

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

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

All Implemented Interfaces:

Atomic

public class ValuePredicate
extends Predicate<ValuePredicate>

Predicate implementation specialising it to be an value predicate. Corresponds to ValueProperty.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
ValuePredicate(VarPatternAdmin pattern, ReasonerQuery par)
ValuePredicate(Var varName, ValuePredicate pred, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
static VarPatternAdmin	createValueVar(Var name, ValuePredicate pred)
boolean	equals(Object obj)
int	equivalenceHashCode()
protected ValuePredicate	extractPredicate(VarPatternAdmin pattern)
String	getPredicateValue()
Set<Var>	getVarNames()
int	hashCode()
boolean	isCompatibleWith(Object obj)
boolean	isEquivalent(Object obj)
String	toString()
Set<ValuePredicate>	unify(Unifier u)

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.predicate.Predicate

getPredicate, isPredicate, isRuleResolvable

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

containsVar, getCombinedPattern, getParentQuery, getPattern, getVarName, inferTypes, isUserDefined, setParentQuery, 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

isAllowedToFormRuleHead, isAtom, isRecursive, isRelation, isResource, isSelectable, isType, validateOntologically

Constructor Detail

ValuePredicate

public ValuePredicate(VarPatternAdmin pattern,
                      ReasonerQuery par)

ValuePredicate

public ValuePredicate(Var varName,
                      ValuePredicate pred,
                      ReasonerQuery par)

Method Detail

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomicBase

toString

public String toString()

Overrides:

toString in class AtomicBase

unify

public Set<ValuePredicate> unify(Unifier u)

createValueVar

public static VarPatternAdmin createValueVar(Var name,
                                             ValuePredicate pred)

equals

public boolean equals(Object obj)

Overrides:

equals in class Predicate<ValuePredicate>

hashCode

public int hashCode()

Overrides:

hashCode in class Predicate<ValuePredicate>

isEquivalent

public boolean isEquivalent(Object obj)

Specified by:

isEquivalent in interface Atomic

Overrides:

isEquivalent in class Predicate<ValuePredicate>

isCompatibleWith

public boolean isCompatibleWith(Object obj)

Overrides:

isCompatibleWith in class Predicate<ValuePredicate>

equivalenceHashCode

public int equivalenceHashCode()

Specified by:

equivalenceHashCode in interface Atomic

Overrides:

equivalenceHashCode in class Predicate<ValuePredicate>

getPredicateValue

public String getPredicateValue()

Specified by:

getPredicateValue in class Predicate<ValuePredicate>

extractPredicate

protected ValuePredicate extractPredicate(VarPatternAdmin pattern)

Specified by:

extractPredicate in class Predicate<ValuePredicate>

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase