Package tools.refinery.store.reasoning
Interface ReasoningStoreAdapter
- All Superinterfaces:
ModelStoreAdapter
-
Method Summary
Modifier and TypeMethodDescriptiondefault Model
createInitialModel
(ModelSeed modelSeed) createModelAdapter
(Model model) tryCreateInitialModel
(ModelSeed modelSeed) Methods inherited from interface tools.refinery.store.adapter.ModelStoreAdapter
getStore
-
Method Details
-
getPartialSymbols
Collection<AnyPartialSymbol> getPartialSymbols() -
getRefinablePartialSymbols
Collection<AnyPartialSymbol> getRefinablePartialSymbols() -
getSupportedInterpretations
Set<Concreteness> getSupportedInterpretations() -
createInitialModel
-
tryCreateInitialModel
-
createModelAdapter
- Specified by:
createModelAdapter
in interfaceModelStoreAdapter
-