Interface PropagationAdapter
- All Superinterfaces:
ModelAdapter
-
Method Summary
Methods inherited from interface tools.refinery.store.adapter.ModelAdapter
getModel
-
Method Details
-
getStoreAdapter
PropagationStoreAdapter getStoreAdapter()- Specified by:
getStoreAdapter
in interfaceModelAdapter
-
propagate
PropagationResult propagate() -
concretizationRequested
boolean concretizationRequested() -
concretizationInProgress
boolean concretizationInProgress() -
concretize
PropagationResult concretize() -
checkConcretization
PropagationResult checkConcretization() -
builder
-