| Package | Description |
|---|---|
| it.unibz.inf.ontop.substitution | |
| it.unibz.inf.ontop.substitution.impl |
| Modifier and Type | Interface and Description |
|---|---|
interface |
InjectiveVar2VarSubstitution
Var2VarSubstitution that is injective
(no value in the substitution map is shared by two keys)
|
| Modifier and Type | Method and Description |
|---|---|
Var2VarSubstitution |
SubstitutionFactory.getVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap) |
| Modifier and Type | Class and Description |
|---|---|
class |
InjectiveVar2VarSubstitutionImpl |
class |
Var2VarSubstitutionImpl
Immutable
Variable --> Variable substitution. |
| Modifier and Type | Method and Description |
|---|---|
Var2VarSubstitution |
SubstitutionFactoryImpl.getVar2VarSubstitution(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Variable,Variable> substitutionMap) |
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.