Interface AnyPartialInterpretationRefiner
- All Known Subinterfaces:
PartialInterpretationRefiner<A,
C>
- All Known Implementing Classes:
AbstractPartialInterpretationRefiner
,AbstractPartialInterpretationRefiner.ConcretizationAware
,ConcreteRelationRefiner
,ConcreteSymbolRefiner
,EqualsRefiner
,ExistsRefiner
,OppositeRefiner
-
Method Summary
Modifier and TypeMethodDescriptiondefault void
Called after allPartialInterpretationRefiner
instances have been created for symbols registered to theReasoningStoreAdapter
.default void
afterInitialize
(ModelSeed modelSeed) Execute propagations based on the contents of themodelSeed
that would by executed if themodelSeed
were written to the model as a sequence ofPartialInterpretationRefiner.merge(Tuple, AbstractValue)
calls.
-
Method Details
-
getAdapter
ReasoningAdapter getAdapter() -
getPartialSymbol
AnyPartialSymbol getPartialSymbol() -
afterCreate
default void afterCreate()Called after allPartialInterpretationRefiner
instances have been created for symbols registered to theReasoningStoreAdapter
.Override this method to access other
PartialInterpretationRefiner
instances associated to theReasoningAdapter
that are required for propagations executed by thisPartialInterpretationRefiner
. -
afterInitialize
Execute propagations based on the contents of themodelSeed
that would by executed if themodelSeed
were written to the model as a sequence ofPartialInterpretationRefiner.merge(Tuple, AbstractValue)
calls.This method is called only after
PartialModelInitializer.initialize(Model, ModelSeed)
was called on allPartialModelInitializer
instances registered to theReasoningStoreAdapter
.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 ofPartialModelInitializer.initialize(Model, ModelSeed)
.
-