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

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 AnyPartialInterpretationRefiner

afterCreate, afterInitialize, getAdapter

Method Details

getPartialSymbol

PartialSymbol<A,C> getPartialSymbol()

Specified by:

getPartialSymbol in interface AnyPartialInterpretationRefiner

merge

boolean merge(Tuple key,
 A value)