Class StateEquivalenceCheckerImpl

java.lang.Object
tools.refinery.store.statecoding.stateequivalence.StateEquivalenceCheckerImpl
All Implemented Interfaces:
StateEquivalenceChecker

public class StateEquivalenceCheckerImpl extends Object implements StateEquivalenceChecker