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
-
Nested Class Summary
Modifier and TypeInterfaceDescriptionstatic interface
PartialInterpretationRefiner.Factory<A extends AbstractValue<A,
C>, C> -
Method Summary
Modifier and TypeMethodDescriptionboolean
Methods inherited from interface tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner
afterCreate, afterInitialize, getAdapter
-
Method Details
-
getPartialSymbol
PartialSymbol<A,C> getPartialSymbol()- Specified by:
getPartialSymbol
in interfaceAnyPartialInterpretationRefiner
-
merge
-