Package tools.refinery.store.reasoning.refinement

Interface AnyPartialInterpretationRefiner

All Known Subinterfaces:

PartialInterpretationRefiner<A,C>

All Known Implementing Classes:

AbstractPartialInterpretationRefiner, ConcreteSymbolRefiner, EqualsRefiner, ExistsRefiner, OppositeRefiner

public sealed interface AnyPartialInterpretationRefiner
permits PartialInterpretationRefiner<A,C>

Method Summary

Modifier and Type	Method	Description
ReasoningAdapter	getAdapter()
AnyPartialSymbol	getPartialSymbol()

Method Details

getAdapter

ReasoningAdapter getAdapter()

getPartialSymbol

AnyPartialSymbol getPartialSymbol()