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 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(NeqPredicate a)
NeqPredicate(Var varName, NeqProperty prop, ReasonerQuery parent)

Method Summary

Modifier and Type	Method and Description
Atomic	copy()
protected Var	extractPredicate(VarPattern pattern)
String	getPredicateValue()
Set<Var>	getVarNames()
boolean	isSatisfied(Answer sub)
static boolean	notEqualsOperator(Answer answer, NeqPredicate atom)
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

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

NeqPredicate

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

NeqPredicate

public NeqPredicate(NeqPredicate a)

Method Detail

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<Var>

extractPredicate

protected Var extractPredicate(VarPattern pattern)

Specified by:

extractPredicate in class Predicate<Var>

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class AtomicBase

isSatisfied

public boolean isSatisfied(Answer sub)

Parameters:

sub - substitution to be checked against the predicate

Returns:

true if provided subsitution satisfies the predicate

notEqualsOperator

public static boolean notEqualsOperator(Answer answer,
                                        NeqPredicate atom)