public interface Substitution
The result of unification, either successful or not. If successful, contains a read-only collection
of Substitution.Binding instances.
| Nested Class Summary | |
|---|---|
static class |
Substitution.Binding
|
| Method Summary | |
|---|---|
java.util.Collection<Substitution.Binding> |
bindings()
|
boolean |
isSuccessful()
|
| Method Detail |
|---|
boolean isSuccessful()
java.util.Collection<Substitution.Binding> bindings()