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
default void	afterCreate()	Called after all PartialInterpretationRefiner instances have been created for symbols registered to the ReasoningStoreAdapter.
default void	afterInitialize(ModelSeed modelSeed)	Execute propagations based on the contents of the modelSeed that would by executed if the modelSeed were written to the model as a sequence of PartialInterpretationRefiner.merge(Tuple, AbstractValue) calls.
ReasoningAdapter	getAdapter()
AnyPartialSymbol	getPartialSymbol()

Method Details

getAdapter

ReasoningAdapter getAdapter()

getPartialSymbol

AnyPartialSymbol getPartialSymbol()

afterCreate

default void afterCreate()

Called after all PartialInterpretationRefiner instances have been created for symbols registered to the ReasoningStoreAdapter.

Override this method to access other PartialInterpretationRefiner instances associated to the ReasoningAdapter that are required for propagations executed by this PartialInterpretationRefiner.

afterInitialize

default void afterInitialize(ModelSeed modelSeed)

Execute propagations based on the contents of the modelSeed that would by executed if the modelSeed were written to the model as a sequence of PartialInterpretationRefiner.merge(Tuple, AbstractValue) calls.

This method is called only after PartialModelInitializer.initialize(Model, ModelSeed) was called on all PartialModelInitializer instances registered to the ReasoningStoreAdapter.

The default implementation of this method performs no actions. Override it make the behavior consistent with your PartialInterpretationRefiner.merge(Tuple, AbstractValue) implementation.

Parameters:

modelSeed - The model seed which was written by a previous call of PartialModelInitializer.initialize(Model, ModelSeed).