| Package | Description |
|---|---|
| it.unibz.inf.ontop.substitution.impl |
| Modifier and Type | Class and Description |
|---|---|
class |
ImmutableSubstitutionImpl<T extends ImmutableTerm>
Wrapper above an
ImmutableMap<Variable, ImmutableTerm> map. |
class |
InjectiveVar2VarSubstitutionImpl |
class |
Var2VarSubstitutionImpl
Immutable
Variable --> Variable substitution. |
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.