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

Method Summary

Modifier and Type	Method and Description
int	alphaEquivalenceHashCode()
Atomic	copy(ReasonerQuery parent)
static ValuePredicate	create(VarPattern pattern, ReasonerQuery parent)
static ValuePredicate	create(Var varName, ValuePredicate pred, ReasonerQuery parent)
static VarPattern	createValueVar(Var name, ValuePredicate pred)
abstract ReasonerQuery	getParentQuery()
abstract VarPattern	getPattern()
abstract ValuePredicate	getPredicate()
String	getPredicateValue()
Set<Var>	getVarNames()
boolean	isAlphaEquivalent(Object obj)
boolean	isCompatibleWith(Object obj)
String	toString()
Set<ValuePredicate>	unify(Unifier u)

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

isStructurallyEquivalent, structuralEquivalenceHashCode, validateAsRuleHead

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

checkValid, createCombinedPattern, getCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, inferTypes, inferTypes, isUserDefined, tx

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.admin.Atomic

getVarName, isAtom, isRelation, isResource, isSelectable, isType, validateOntologically

Constructor Detail

ValuePredicate

public ValuePredicate()

Method Detail

getPattern

public abstract VarPattern getPattern()

getParentQuery

public abstract ReasonerQuery getParentQuery()

getPredicate

public abstract ValuePredicate getPredicate()

Specified by:

getPredicate in class Predicate<ValuePredicate>

create

public static ValuePredicate create(VarPattern pattern,
                                    ReasonerQuery parent)

create

public static ValuePredicate create(Var varName,
                                    ValuePredicate pred,
                                    ReasonerQuery parent)

createValueVar

public static VarPattern createValueVar(Var name,
                                        ValuePredicate pred)

copy

public Atomic copy(ReasonerQuery parent)

toString

public String toString()

Overrides:

toString in class AtomicBase

unify

public Set<ValuePredicate> unify(Unifier u)

isAlphaEquivalent

public boolean isAlphaEquivalent(Object obj)

Specified by:

isAlphaEquivalent in interface Atomic

Overrides:

isAlphaEquivalent in class Predicate<ValuePredicate>

alphaEquivalenceHashCode

public int alphaEquivalenceHashCode()

Specified by:

alphaEquivalenceHashCode in interface Atomic

Overrides:

alphaEquivalenceHashCode in class Predicate<ValuePredicate>

isCompatibleWith

public boolean isCompatibleWith(Object obj)

getPredicateValue

public String getPredicateValue()

Specified by:

getPredicateValue in class Predicate<ValuePredicate>

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase