Interface PartialInterpretationRefiner<A extends AbstractValue<A,C>,C>

All Superinterfaces:
AnyPartialInterpretationRefiner
All Known Implementing Classes:
AbstractPartialInterpretationRefiner, AbstractPartialInterpretationRefiner.ConcretizationAware, ConcreteRelationRefiner, ConcreteSymbolRefiner, EqualsRefiner, ExistsRefiner, OppositeRefiner

public non-sealed interface PartialInterpretationRefiner<A extends AbstractValue<A,C>,C> extends AnyPartialInterpretationRefiner