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

Method Summary

Modifier and Type	Method and Description
void	checkValid()
Atomic	copy(ReasonerQuery parent)
static IdPredicate	create(Var varName, ConceptId id, ReasonerQuery parent)
static IdPredicate	create(Var varName, Concept con, ReasonerQuery parent)
static IdPredicate	create(Var varName, Label label, ReasonerQuery parent)
static IdPredicate	create(VarPattern pattern, ReasonerQuery parent)
abstract ReasonerQuery	getParentQuery()
abstract VarPattern	getPattern()
abstract ConceptId	getPredicate()
String	getPredicateValue()
boolean	isStructurallyEquivalent(Object obj)
int	structuralEquivalenceHashCode()
String	toString()

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

alphaEquivalenceHashCode, isAlphaEquivalent, validateAsRuleHead

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

createCombinedPattern, getCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, getVarNames, 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, isCompatibleWith, isRelation, isResource, isSelectable, isType, validateOntologically

Constructor Detail

IdPredicate

public IdPredicate()

Method Detail

getPattern

public abstract VarPattern getPattern()

getParentQuery

public abstract ReasonerQuery getParentQuery()

getPredicate

public abstract ConceptId getPredicate()

Specified by:

getPredicate in class Predicate<ConceptId>

create

public static IdPredicate create(VarPattern pattern,
                                 ReasonerQuery parent)

create

public static IdPredicate create(Var varName,
                                 Label label,
                                 ReasonerQuery parent)

create

public static IdPredicate create(Var varName,
                                 ConceptId id,
                                 ReasonerQuery parent)

create

public static IdPredicate create(Var varName,
                                 Concept con,
                                 ReasonerQuery parent)

isStructurallyEquivalent

public boolean isStructurallyEquivalent(Object obj)

Specified by:

isStructurallyEquivalent in interface Atomic

Overrides:

isStructurallyEquivalent in class Predicate<ConceptId>

structuralEquivalenceHashCode

public int structuralEquivalenceHashCode()

Specified by:

structuralEquivalenceHashCode in interface Atomic

Overrides:

structuralEquivalenceHashCode in class Predicate<ConceptId>

copy

public Atomic copy(ReasonerQuery parent)

checkValid

public void checkValid()

Specified by:

checkValid in interface Atomic

Overrides:

checkValid in class AtomicBase

toString

public String toString()

Overrides:

toString in class AtomicBase

getPredicateValue

public String getPredicateValue()

Specified by:

getPredicateValue in class Predicate<ConceptId>