Hierarchy For Package tools.refinery.store.statecoding.stateequivalence
Class Hierarchy
- java.lang.Object
- tools.refinery.store.statecoding.stateequivalence.CombinationNodePairing (implements tools.refinery.store.statecoding.stateequivalence.NodePairing)
- tools.refinery.store.statecoding.stateequivalence.PermutationMorphism (implements tools.refinery.store.statecoding.Morphism)
- tools.refinery.store.statecoding.stateequivalence.StateEquivalenceCheckerImpl (implements tools.refinery.store.statecoding.StateEquivalenceChecker)
- tools.refinery.store.statecoding.stateequivalence.TrivialNodePairing (implements tools.refinery.store.statecoding.stateequivalence.NodePairing)
Interface Hierarchy
- tools.refinery.store.statecoding.stateequivalence.NodePairing