| Package | Description |
|---|---|
| it.unibz.inf.ontop.substitution | |
| it.unibz.inf.ontop.substitution.impl |
| Modifier and Type | Method and Description |
|---|---|
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> |
ImmutableSubstitution.applyToArgumentMap(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap)
Only guaranteed for T extends VariableOrGroundTerm.
|
<P extends AtomPredicate> |
ImmutableSubstitution.applyToDataAtom(DataAtom<P> atom)
Only guaranteed for T extends VariableOrGroundTerm.
|
DistinctVariableOnlyDataAtom |
InjectiveVar2VarSubstitution.applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom projectionAtom) |
| Modifier and Type | Method and Description |
|---|---|
it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> |
AbstractImmutableSubstitutionImpl.applyToArgumentMap(it.unibz.inf.ontop.com.google.common.collect.ImmutableMap<Integer,? extends VariableOrGroundTerm> argumentMap) |
<P extends AtomPredicate> |
AbstractImmutableSubstitutionImpl.applyToDataAtom(DataAtom<P> atom) |
DistinctVariableOnlyDataAtom |
InjectiveVar2VarSubstitutionImpl.applyToDistinctVariableOnlyDataAtom(DistinctVariableOnlyDataAtom dataAtom) |
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.