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.explanation
ai.grakn.graql.internal.reasoner.query
ai.grakn.graql.internal.reasoner.rule

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

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.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.query

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

Modifier and Type	Method and Description
Iterator<Pair<InferenceRule,Unifier>>	ReasonerAtomicQuery.getRuleIterator()

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.propagateConstraints(Atom parentAtom, Unifier unifier)
InferenceRule	InferenceRule.rewriteToUserDefined(Atom parentAtom) rewrite the rule to a form with user defined variables
InferenceRule	InferenceRule.withSubstitution(Answer sub)

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.subGraphHasLoops(Set<InferenceRule> rules, GraknTx graph)
static boolean	RuleUtils.subGraphHasLoopsWithNegativeFlux(Set<InferenceRule> rules, GraknTx graph)
static boolean	RuleUtils.subGraphHasRulesWithHeadSatisfyingBody(Set<InferenceRule> rules)

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

Constructor and Description
InferenceRule(InferenceRule r)