ai.grakn.graql.internal.reasoner.state

Class RuleState

java.lang.Object

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

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

ai.grakn.graql.internal.reasoner.state.RuleState

public class RuleState
extends QueryStateBase

Resolution state corresponding to a rule application.

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
RuleState(InferenceRule rule, ConceptMap sub, Unifier unifier, QueryStateBase parent, Set<ReasonerAtomicQuery> visitedSubGoals, SimpleQueryCache<ReasonerAtomicQuery> cache)

Method Summary

Modifier and Type	Method and Description
ResolutionState	generateSubGoal()
String	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

Constructor Detail

RuleState

public RuleState(InferenceRule rule,
                 ConceptMap sub,
                 Unifier unifier,
                 QueryStateBase parent,
                 Set<ReasonerAtomicQuery> visitedSubGoals,
                 SimpleQueryCache<ReasonerAtomicQuery> cache)

Method Detail

toString

public String toString()

Overrides:

toString in class ResolutionState

generateSubGoal

public ResolutionState generateSubGoal()

Specified by:

generateSubGoal in class ResolutionState

Returns:

new sub goal generated from this state