public class RuleTuple extends Object
Wrapper for (rule, unifier, unifier) tuple.
| Constructor and Description |
|---|
RuleTuple(InferenceRule rule,
Unifier u,
Unifier pu) |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
getPermutationUnifier() |
InferenceRule |
getRule() |
Unifier |
getRuleUnifier() |
public RuleTuple(InferenceRule rule, Unifier u, Unifier pu)
public InferenceRule getRule()
public Unifier getRuleUnifier()
public Unifier getPermutationUnifier()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.