blob: f8064ca22d6d1590ea0c982a036a6ae1b42412ee (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
package tools.refinery.store.query.substitution;
import tools.refinery.store.query.term.Variable;
public record CompositeSubstitution(Substitution first, Substitution second) implements Substitution {
@Override
public Variable getSubstitute(Variable variable) {
return second.getSubstitute(first.getSubstitute(variable));
}
}
|