Package tools.refinery.store.statecoding

Interface StateCoderStoreAdapter

All Superinterfaces:

ModelStoreAdapter

All Known Implementing Classes:

StateCoderStoreAdapterImpl

public interface StateCoderStoreAdapter
extends ModelStoreAdapter

Method Summary

Modifier and Type	Method	Description
StateEquivalenceChecker.EquivalenceResult	checkEquivalence(Version v1, Version v2)
StateCoderAdapter	createModelAdapter(Model model)

Methods inherited from interface tools.refinery.store.adapter.ModelStoreAdapter

getStore

Method Details

checkEquivalence

StateEquivalenceChecker.EquivalenceResult checkEquivalence(Version v1,
 Version v2)

createModelAdapter

StateCoderAdapter createModelAdapter(Model model)

Specified by:

createModelAdapter in interface ModelStoreAdapter