JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Tree
Deprecated
Index
Search
Help
tools.refinery.store.statecoding
Contents
Description
Related Packages
Classes and Interfaces
Hide sidebar
Show sidebar
Package tools.refinery.store.statecoding
package
tools.refinery.store.statecoding
Related Packages
Package
Description
tools.refinery.store.statecoding.internal
tools.refinery.store.statecoding.neighborhood
tools.refinery.store.statecoding.stateequivalence
All Classes and Interfaces
Interfaces
Enum Classes
Record Classes
Class
Description
Morphism
ObjectCode
StateCodeCalculator
StateCodeCalculatorFactory
StateCoderAdapter
StateCoderBuilder
StateCoderResult
StateCoderStoreAdapter
StateEquivalenceChecker
StateEquivalenceChecker.EquivalenceResult