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

Class NeqPredicate

java.lang.Object

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

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

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

All Implemented Interfaces:

Atomic

public abstract class NeqPredicate
extends Predicate<Var>

Predicate implementation specialising it to be an inequality predicate. Corresponds to graql NeqProperty.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
NeqPredicate()

Method Summary

Modifier and Type	Method and Description
int	alphaEquivalenceHashCode()
Atomic	copy(ReasonerQuery parent)
static NeqPredicate	create(NeqPredicate a, ReasonerQuery parent)
static NeqPredicate	create(Var varName, NeqProperty prop, ReasonerQuery parent)
static NeqPredicate	create(VarPattern pattern, ReasonerQuery parent)
abstract ReasonerQuery	getParentQuery()
abstract VarPattern	getPattern()
abstract Var	getPredicate()
String	getPredicateValue()
Set<Var>	getVarNames()
boolean	isAlphaEquivalent(Object obj)
boolean	isSatisfied(ConceptMap sub)
boolean	isStructurallyEquivalent(Object obj)
int	structuralEquivalenceHashCode()
String	toString()

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

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, isCompatibleWith, isRelation, isResource, isSelectable, isType, validateOntologically

Constructor Detail

NeqPredicate

public NeqPredicate()

Method Detail

getPattern

public abstract VarPattern getPattern()

getParentQuery

public abstract ReasonerQuery getParentQuery()

getPredicate

public abstract Var getPredicate()

Specified by:

getPredicate in class Predicate<Var>

create

public static NeqPredicate create(VarPattern pattern,
                                  ReasonerQuery parent)

create

public static NeqPredicate create(Var varName,
                                  NeqProperty prop,
                                  ReasonerQuery parent)

create

public static NeqPredicate create(NeqPredicate a,
                                  ReasonerQuery parent)

isAlphaEquivalent

public boolean isAlphaEquivalent(Object obj)

Specified by:

isAlphaEquivalent in interface Atomic

Overrides:

isAlphaEquivalent in class Predicate<Var>

alphaEquivalenceHashCode

public int alphaEquivalenceHashCode()

Specified by:

alphaEquivalenceHashCode in interface Atomic

Overrides:

alphaEquivalenceHashCode in class Predicate<Var>

isStructurallyEquivalent

public boolean isStructurallyEquivalent(Object obj)

Specified by:

isStructurallyEquivalent in interface Atomic

Overrides:

isStructurallyEquivalent in class Predicate<Var>

structuralEquivalenceHashCode

public int structuralEquivalenceHashCode()

Specified by:

structuralEquivalenceHashCode in interface Atomic

Overrides:

structuralEquivalenceHashCode in class Predicate<Var>

copy

public Atomic copy(ReasonerQuery parent)

toString

public String toString()

Overrides:

toString in class AtomicBase

getPredicateValue

public String getPredicateValue()

Specified by:

getPredicateValue in class Predicate<Var>

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase

isSatisfied

public boolean isSatisfied(ConceptMap sub)

Parameters:

sub - substitution to be checked against the predicate

Returns:

true if provided subsitution satisfies the predicate