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

Class IdPredicate

java.lang.Object

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

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 graql IdProperty.

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
IdPredicate(VarAdmin pattern, ReasonerQuery par)
IdPredicate(VarName varName, Concept con, ReasonerQuery par)
IdPredicate(VarName varName, IdProperty prop, ReasonerQuery par)
IdPredicate(VarName varName, LabelProperty prop, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
static VarAdmin	createIdVar(VarName varName, ConceptId typeId)
protected ConceptId	extractPredicate(VarAdmin var)
String	getPredicateValue()
boolean	isIdPredicate()

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

equals, equivalenceHashCode, getPredicate, getUnifier, hashCode, isEquivalent, isPredicate, isRuleResolvable, isValuePredicate

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

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

IdPredicate

public IdPredicate(VarAdmin pattern,
                   ReasonerQuery par)

IdPredicate

public IdPredicate(VarName varName,
                   IdProperty prop,
                   ReasonerQuery par)

IdPredicate

public IdPredicate(VarName varName,
                   LabelProperty prop,
                   ReasonerQuery par)

IdPredicate

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

Method Detail

createIdVar

public static VarAdmin createIdVar(VarName varName,
                                   ConceptId typeId)

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomBase

isIdPredicate

public boolean isIdPredicate()

Overrides:

isIdPredicate in class Predicate<ConceptId>

Returns:

true if the atom corresponds to a unifier (id atom)

getPredicateValue

public String getPredicateValue()

Specified by:

getPredicateValue in class Predicate<ConceptId>

extractPredicate

protected ConceptId extractPredicate(VarAdmin var)

Specified by:

extractPredicate in class Predicate<ConceptId>