Enum Class StateEquivalenceChecker.EquivalenceResult

java.lang.Object
java.lang.Enum<StateEquivalenceChecker.EquivalenceResult>
tools.refinery.store.statecoding.StateEquivalenceChecker.EquivalenceResult
All Implemented Interfaces:
Serializable, Comparable<StateEquivalenceChecker.EquivalenceResult>, Constable
Enclosing interface:
StateEquivalenceChecker

public static enum StateEquivalenceChecker.EquivalenceResult extends Enum<StateEquivalenceChecker.EquivalenceResult>