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