PartialInterpretationRefiner (refinery-store-reasoning 0.1.1-SNAPSHOT API)

All Superinterfaces:: AnyPartialInterpretationRefiner

All Known Implementing Classes:: AbstractPartialInterpretationRefiner, ConcreteSymbolRefiner, EqualsRefiner, ExistsRefiner, OppositeRefiner

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

Nested Class Summary

Nested Classes

Modifier and Type

Interface

Description

static interface

PartialInterpretationRefiner.Factory<A extends AbstractValue<A,C>,C>
Method Summary

Modifier and Type

Method

Description

PartialSymbol<A,C>

getPartialSymbol()

boolean

merge(Tuple key, A value)

Methods inherited from interface tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner
afterCreate, afterInitialize, getAdapter

Method Details
- getPartialSymbol
  
  PartialSymbol<A,C> getPartialSymbol()
  
  Specified by:
  
  getPartialSymbol in interface AnyPartialInterpretationRefiner
- merge
  
  boolean merge(Tuple key, A value)