| Interface | Description |
|---|---|
| ImmutableSubstitution<T extends ImmutableTerm> |
Declaration that the substitution is immutable and only refer to ImmutableTerms.
|
| InjectiveVar2VarSubstitution |
Var2VarSubstitution that is injective
(no value in the substitution map is shared by two keys)
|
| ProtoSubstitution<T extends ImmutableTerm> |
TODO: find a better name
Minimal interface for a substitution
May not depend on the AtomFactory and SubstitutionFactory
|
| SubstitutionFactory |
Accessible through Guice (recommended) or through CoreSingletons.
|
| Var2VarSubstitution |
Substitution where variables are only mapped to variables
|
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.