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.explanation
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
Set<InferenceRule>	Atom.getApplicableRules()

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

Modifier and Type	Method and Description
protected abstract boolean	Atom.isRuleApplicable(InferenceRule child)

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

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

Modifier and Type	Method and Description
protected boolean	Resource.isRuleApplicable(InferenceRule child)
protected boolean	Relation.isRuleApplicable(InferenceRule child)
protected boolean	BinaryBase.isRuleApplicable(InferenceRule child)

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(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.propagateConstraints(Atom parentAtom)
InferenceRule	InferenceRule.unify(Atom parentAtom) make rule consistent variable-wise with the parent atom by means of unification
InferenceRule	InferenceRule.unify(Unifier unifier)

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

Constructor and Description
InferenceRule(InferenceRule r)