Package tools.refinery.store.statecoding.internal

Class StateCoderStoreAdapterImpl

java.lang.Object

tools.refinery.store.statecoding.internal.StateCoderStoreAdapterImpl

All Implemented Interfaces:

ModelStoreAdapter, StateCoderStoreAdapter

public class StateCoderStoreAdapterImpl
extends Object
implements StateCoderStoreAdapter

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getStore

public ModelStore getStore()

Specified by:

getStore in interface ModelStoreAdapter

checkEquivalence

public StateEquivalenceChecker.EquivalenceResult checkEquivalence(Version v1,
 Version v2)

Specified by:

checkEquivalence in interface StateCoderStoreAdapter

createModelAdapter

public StateCoderAdapter createModelAdapter(Model model)

Specified by:

createModelAdapter in interface ModelStoreAdapter

Specified by:

createModelAdapter in interface StateCoderStoreAdapter