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

Class IdPredicate

java.lang.Object

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

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

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

All Implemented Interfaces:

Atomic

public class IdPredicate
extends Predicate<ConceptId>

Predicate implementation specialising it to be an id predicate. Corresponds to IdProperty.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
IdPredicate(Var varName, ConceptId id, ReasonerQuery par)
IdPredicate(Var varName, Concept con, ReasonerQuery par)
IdPredicate(Var varName, Label label, ReasonerQuery par)
IdPredicate(VarPattern pattern, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
void	checkValid()
Atomic	copy()
protected ConceptId	extractPredicate(VarPattern var)
String	getPredicateValue()
String	toString()

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

alphaEquivalenceHashCode, equals, getPredicate, hashCode, isAlphaEquivalent, isStructurallyEquivalent, structuralEquivalenceHashCode, validateAsRuleHead

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

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

isAtom, isCompatibleWith, isRelation, isResource, isSelectable, isType, validateOntologically

Constructor Detail

IdPredicate

public IdPredicate(VarPattern pattern,
                   ReasonerQuery par)

IdPredicate

public IdPredicate(Var varName,
                   Label label,
                   ReasonerQuery par)

IdPredicate

public IdPredicate(Var varName,
                   ConceptId id,
                   ReasonerQuery par)

IdPredicate

public IdPredicate(Var varName,
                   Concept con,
                   ReasonerQuery par)

Method Detail

checkValid

public void checkValid()

Specified by:

checkValid in interface Atomic

Overrides:

checkValid in class AtomicBase

toString

public String toString()

Overrides:

toString in class AtomicBase

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomicBase

getPredicateValue

public String getPredicateValue()

Specified by:

getPredicateValue in class Predicate<ConceptId>

extractPredicate

protected ConceptId extractPredicate(VarPattern var)

Specified by:

extractPredicate in class Predicate<ConceptId>