Interface StateEquivalenceChecker

All Known Implementing Classes:
StateEquivalenceCheckerImpl

public interface StateEquivalenceChecker