ai.grakn.graql.internal.reasoner.state

Class NeqComplementState

java.lang.Object

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

ai.grakn.graql.internal.reasoner.state.QueryStateBase

ai.grakn.graql.internal.reasoner.state.QueryState<ReasonerAtomicQuery>

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

public class NeqComplementState
extends QueryState<ReasonerAtomicQuery>

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

Method Summary

Modifier and Type	Method and Description
ResolutionState	generateSubGoal()
ResolutionState	propagateAnswer(AnswerState state) propagates the answer state up the tree and acknowledges (caches) its substitution

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

toString

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

getUnifier

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, wait, wait, wait

Method Detail

propagateAnswer

public ResolutionState propagateAnswer(AnswerState state)

Description copied from class: QueryStateBase

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 QueryState<ReasonerAtomicQuery>

Returns:

new sub goal generated from this state