ai.grakn.graql.internal.reasoner.state

Class NeqComplementState

java.lang.Object

ai.grakn.graql.internal.reasoner.state.ResolutionState

ai.grakn.graql.internal.reasoner.state.QueryState

ai.grakn.graql.internal.reasoner.state.AtomicState

ai.grakn.graql.internal.reasoner.state.NeqComplementState

public class NeqComplementState
extends AtomicState

Query state corresponding to an atomic query (ReasonerAtomicQuery) with neq predicates (NeqPredicate). Defining the answer to the entry query Q as a set B: B = Ans{R(x1, x2, ..., xn), xj = ..., xi != xj} We find the answer to the query by finding the complement: B = A\C, where A = Ans{R(x1, x2, ..., xn), xj = ...} C = Ans{R(x1, x2, ..., xn), xj = ..., xi = xj}

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
NeqComplementState(ReasonerAtomicQuery q, Answer sub, Unifier u, QueryState parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)

Method Summary

Modifier and Type	Method and Description
ResolutionState	generateSubGoal()
ResolutionState	propagateAnswer(ai.grakn.graql.internal.reasoner.state.AnswerState state) propagates the answer state up the tree and acknowledges (caches) its substitution

Methods inherited from class ai.grakn.graql.internal.reasoner.state.ResolutionState

getSubstitution, isAnswerState, isTopState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NeqComplementState

public NeqComplementState(ReasonerAtomicQuery q,
                          Answer sub,
                          Unifier u,
                          QueryState parent,
                          Set<ReasonerAtomicQuery> subGoals,
                          QueryCache<ReasonerAtomicQuery> cache)

Method Detail

propagateAnswer

public ResolutionState propagateAnswer(ai.grakn.graql.internal.reasoner.state.AnswerState state)

Description copied from class: QueryState

propagates the answer state up the tree and acknowledges (caches) its substitution

Parameters:

state - to propagate

Returns:

new resolution state obtained by propagating the answer up the resolution tree

generateSubGoal

public ResolutionState generateSubGoal()

Overrides:

generateSubGoal in class AtomicState

Returns:

new sub goal generated from this state