AtomicState(ReasonerAtomicQuery q,
Answer sub,
Unifier u,
QueryStateBase parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
AtomicStateProducer(ReasonerAtomicQuery query,
Answer sub,
Unifier u,
QueryStateBase parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
ConjunctiveState(ReasonerQueryImpl q,
Answer sub,
Unifier u,
QueryStateBase parent,
Set<ReasonerAtomicQuery> visitedSubGoals,
QueryCache<ReasonerAtomicQuery> cache) |
CumulativeState(LinkedList<ReasonerQueryImpl> qs,
Answer sub,
Unifier u,
QueryStateBase parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
NeqComplementState(ReasonerAtomicQuery q,
Answer sub,
Unifier u,
QueryStateBase parent,
Set<ReasonerAtomicQuery> subGoals,
QueryCache<ReasonerAtomicQuery> cache) |
RuleState(InferenceRule rule,
Answer sub,
Unifier unifier,
QueryStateBase parent,
Set<ReasonerAtomicQuery> visitedSubGoals,
QueryCache<ReasonerAtomicQuery> cache) |