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, Cloneable

public class ValuePredicate
extends Predicate<ValuePredicateAdmin>

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(String varName, ValueProperty prop, Query par)
ValuePredicate(VarAdmin pattern)
ValuePredicate(VarAdmin pattern, Query par)

Method Summary

Modifier and Type	Method and Description
Atomic	clone()
static VarAdmin	createValueVar(String name, ValuePredicateAdmin pred)
boolean	equals(Object obj)
int	equivalenceHashCode()
protected ValuePredicateAdmin	extractPredicate(VarAdmin pattern)
String	getPredicateValue()
Set<String>	getSelectedNames()
Set<String>	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, getParentQuery, getPattern, getPredicates, getVarName, isUserDefinedName, isValueUserDefinedName, 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, isSelectable

Constructor Detail

ValuePredicate

public ValuePredicate(VarAdmin pattern)

ValuePredicate

public ValuePredicate(VarAdmin pattern,
                      Query par)

ValuePredicate

public ValuePredicate(String varName,
                      ValueProperty prop,
                      Query par)

Method Detail

createValueVar

public static VarAdmin createValueVar(String name,
                                      ValuePredicateAdmin pred)

clone

public Atomic clone()

Specified by:

clone in interface Atomic

Specified by:

clone in class AtomBase

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>

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<String> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomBase

Returns:

all addressable variable names in the atom

getSelectedNames

public Set<String> getSelectedNames()

Overrides:

getSelectedNames in class AtomBase