Interface AnyPartialInterpretationRefiner
- All Known Subinterfaces:
PartialInterpretationRefiner<A,
C>
- All Known Implementing Classes:
AbstractPartialInterpretationRefiner
,ConcreteSymbolRefiner
,EqualsRefiner
,ExistsRefiner
,OppositeRefiner
-
Method Summary
Modifier and TypeMethodDescription
-
Method Details
-
getAdapter
ReasoningAdapter getAdapter() -
getPartialSymbol
AnyPartialSymbol getPartialSymbol()
-