Uses of Class
ai.grakn.graql.internal.reasoner.rule.InferenceRule

Packages that use InferenceRule

Package	Description
ai.grakn.graql.internal.reasoner.atom
ai.grakn.graql.internal.reasoner.atom.binary
ai.grakn.graql.internal.reasoner.cache
ai.grakn.graql.internal.reasoner.explanation
ai.grakn.graql.internal.reasoner.rule
ai.grakn.graql.internal.reasoner.state

Uses of InferenceRule in ai.grakn.graql.internal.reasoner.atom

Fields in ai.grakn.graql.internal.reasoner.atom with type parameters of type InferenceRule

Modifier and Type	Field and Description
protected Set<InferenceRule>	Atom.applicableRules

Methods in ai.grakn.graql.internal.reasoner.atom that return types with arguments of type InferenceRule

Modifier and Type	Method and Description
java.util.stream.Stream<InferenceRule>	Atom.getApplicableRules()

Uses of InferenceRule in ai.grakn.graql.internal.reasoner.atom.binary

Methods in ai.grakn.graql.internal.reasoner.atom.binary that return types with arguments of type InferenceRule

Modifier and Type	Method and Description
java.util.stream.Stream<InferenceRule>	OntologicalAtom.getApplicableRules()

Uses of InferenceRule in ai.grakn.graql.internal.reasoner.cache

Methods in ai.grakn.graql.internal.reasoner.cache that return types with arguments of type InferenceRule

Modifier and Type	Method and Description
java.util.stream.Stream<InferenceRule>	RuleCache.getApplicableRules(Atom atom)
java.util.stream.Stream<Pair<InferenceRule,Unifier>>	RuleCache.getRuleStream(Atom atom)

Uses of InferenceRule in ai.grakn.graql.internal.reasoner.explanation

Methods in ai.grakn.graql.internal.reasoner.explanation that return InferenceRule

Modifier and Type	Method and Description
InferenceRule	RuleExplanation.getRule()

Constructors in ai.grakn.graql.internal.reasoner.explanation with parameters of type InferenceRule

Constructor and Description
RuleExplanation(ReasonerQuery q, InferenceRule rl)

Uses of InferenceRule in ai.grakn.graql.internal.reasoner.rule

Methods in ai.grakn.graql.internal.reasoner.rule that return InferenceRule

Modifier and Type	Method and Description
InferenceRule	InferenceRule.rewrite(Atom parentAtom) rewrite the rule to a form with user defined variables

Methods in ai.grakn.graql.internal.reasoner.rule that return types with arguments of type InferenceRule

Modifier and Type	Method and Description
static Set<InferenceRule>	RuleUtils.getDependentRules(ReasonerQueryImpl query)

Method parameters in ai.grakn.graql.internal.reasoner.rule with type arguments of type InferenceRule

Modifier and Type	Method and Description
static boolean	RuleUtils.subGraphHasRulesWithHeadSatisfyingBody(Set<InferenceRule> rules)
static boolean	RuleUtils.subGraphIsCyclical(Set<InferenceRule> rules)

Uses of InferenceRule in ai.grakn.graql.internal.reasoner.state

Constructors in ai.grakn.graql.internal.reasoner.state with parameters of type InferenceRule

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