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

Class ValuePredicate

java.lang.Object

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

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

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

All Implemented Interfaces:

Atomic

public class ValuePredicate
extends Predicate<ValuePredicateAdmin>

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

Author:

Kasper Piskorski

Field Summary

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

predicate

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

atomPattern, varName

Constructor Summary

Constructors

Constructor and Description
ValuePredicate(VarAdmin pattern, ReasonerQuery par)
ValuePredicate(VarName varName, ValuePredicateAdmin pred, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
static VarAdmin	createValueVar(VarName name, ValuePredicateAdmin pred)
boolean	equals(Object obj)
int	equivalenceHashCode()
protected ValuePredicateAdmin	extractPredicate(VarAdmin pattern)
String	getPredicateValue()
Set<VarName>	getVarNames()
int	hashCode()
boolean	isEquivalent(Object obj)
boolean	isValuePredicate()

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

getPredicate, getUnifiers, isIdPredicate, isPredicate, isRuleResolvable

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

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

Constructor Detail

ValuePredicate

public ValuePredicate(VarAdmin pattern,
                      ReasonerQuery par)

ValuePredicate

public ValuePredicate(VarName varName,
                      ValuePredicateAdmin pred,
                      ReasonerQuery par)

Method Detail

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomBase

createValueVar

public static VarAdmin createValueVar(VarName name,
                                      ValuePredicateAdmin pred)

equals

public boolean equals(Object obj)

Overrides:

equals in class Predicate<ValuePredicateAdmin>

hashCode

public int hashCode()

Overrides:

hashCode in class Predicate<ValuePredicateAdmin>

isEquivalent

public boolean isEquivalent(Object obj)

Specified by:

isEquivalent in interface Atomic

Overrides:

isEquivalent in class Predicate<ValuePredicateAdmin>

Returns:

true if atom alpha-equivalent

equivalenceHashCode

public int equivalenceHashCode()

Specified by:

equivalenceHashCode in interface Atomic

Overrides:

equivalenceHashCode in class Predicate<ValuePredicateAdmin>

Returns:

equivalence hash code

isValuePredicate

public boolean isValuePredicate()

Overrides:

isValuePredicate in class Predicate<ValuePredicateAdmin>

Returns:

true if the atom corresponds to a value atom

getPredicateValue

public String getPredicateValue()

Specified by:

getPredicateValue in class Predicate<ValuePredicateAdmin>

extractPredicate

protected ValuePredicateAdmin extractPredicate(VarAdmin pattern)

Specified by:

extractPredicate in class Predicate<ValuePredicateAdmin>

getVarNames

public Set<VarName> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomBase

Returns:

all addressable variable names in the atom