blob: 1c14112c5f62262dd38b1d6b37dada8aacb807b7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.store.query.valuation;
import tools.refinery.store.query.substitution.Substitution;
import tools.refinery.store.query.term.DataVariable;
public record SubstitutedValuation(Valuation originalValuation, Substitution substitution) implements Valuation {
@Override
public <T> T getValue(DataVariable<T> variable) {
return originalValuation.getValue(substitution.getTypeSafeSubstitute(variable));
}
}
|