ReasoningStoreAdapter (refinery-store-reasoning 0.2.1-SNAPSHOT API)

All Superinterfaces:: ModelStoreAdapter

public interface ReasoningStoreAdapter extends ModelStoreAdapter

Method Summary

Modifier and Type

Method

Description

default Model

createInitialModel(ModelSeed modelSeed)

ReasoningAdapter

createModelAdapter(Model model)

Collection<AnyPartialSymbol>

getPartialSymbols()

Collection<AnyPartialSymbol>

getRefinablePartialSymbols()

Set<Concreteness>

getSupportedInterpretations()

PropagatedModel

tryCreateInitialModel(ModelSeed modelSeed)

PropagatedModel

tryResetInitialModel(Model model, 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
  
  default Model createInitialModel(ModelSeed modelSeed)
- tryCreateInitialModel
  
  PropagatedModel tryCreateInitialModel(ModelSeed modelSeed)
- tryResetInitialModel
  
  PropagatedModel tryResetInitialModel(Model model, ModelSeed modelSeed)
- createModelAdapter
  
  ReasoningAdapter createModelAdapter(Model model)
  
  Specified by:
  
  createModelAdapter in interface ModelStoreAdapter