/*
* SPDX-FileCopyrightText: 2023 The Refinery Authors
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.store.reasoning.refinement;
import tools.refinery.store.reasoning.ReasoningAdapter;
import tools.refinery.store.reasoning.representation.PartialSymbol;
public abstract class AbstractPartialInterpretationRefiner implements PartialInterpretationRefiner {
private final ReasoningAdapter adapter;
private final PartialSymbol partialSymbol;
protected AbstractPartialInterpretationRefiner(ReasoningAdapter adapter, PartialSymbol partialSymbol) {
this.adapter = adapter;
this.partialSymbol = partialSymbol;
}
@Override
public ReasoningAdapter getAdapter() {
return adapter;
}
@Override
public PartialSymbol getPartialSymbol() {
return partialSymbol;
}
}