Interface AnyPartialInterpretationRefiner

All Known Subinterfaces:
PartialInterpretationRefiner<A,C>
All Known Implementing Classes:
AbstractPartialInterpretationRefiner, AbstractPartialInterpretationRefiner.ConcretizationAware, ConcreteRelationRefiner, ConcreteSymbolRefiner, EqualsRefiner, ExistsRefiner, OppositeRefiner

public sealed interface AnyPartialInterpretationRefiner permits PartialInterpretationRefiner<A,C>