public class CumulativeState extends QueryStateBase
Query state corresponding to a an intermediate state obtained from decomposing a conjunctive query (ReasonerQueryImpl) in the resolution tree.
| Constructor and Description |
|---|
CumulativeState(LinkedList<ReasonerQueryImpl> qs,
Answer sub,
Unifier u,
QueryStateBase parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
| Modifier and Type | Method and Description |
|---|---|
ResolutionState |
generateSubGoal() |
ResolutionState |
propagateAnswer(AnswerState state)
propagates the answer state up the tree and acknowledges (caches) its substitution
|
getUnifiergetSubstitution, isAnswerState, isTopStatepublic CumulativeState(LinkedList<ReasonerQueryImpl> qs, Answer sub, Unifier u, QueryStateBase parent, Set<ReasonerAtomicQuery> subGoals, QueryCache<ReasonerAtomicQuery> cache)
public ResolutionState propagateAnswer(AnswerState state)
QueryStateBasestate - to propagatepublic ResolutionState generateSubGoal()
generateSubGoal in class ResolutionStateCopyright © 2018 Grakn Labs Ltd. All rights reserved.