/*
 * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
 *
 * SPDX-License-Identifier: EPL-2.0
 */
package tools.refinery.store.reasoning.translator.typehierarchy;

import tools.refinery.store.reasoning.representation.PartialRelation;
import tools.refinery.store.representation.Symbol;
import tools.refinery.store.tuple.Tuple;

class CandidateTypeView extends InferredTypeView {
	public CandidateTypeView(Symbol<InferredType> symbol, PartialRelation type) {
		super(symbol, "candidate", type);
	}

	@Override
	protected boolean doFilter(Tuple key, InferredType value) {
		return type.equals(value.candidateType());
	}
}