|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
AbstractStateSpaceValidator | Abstract implementation of the StateSpaceValidator interface. |
BasicStateSpaceManager | Basic StateSpaceManager implementation. |
EObjectIntegerMapEntryImpl | A map entry implementation that associates an EObject with an Integer . |
EObjectIntegerMapImpl | Default implementation of a map that associates EObject s with Integer s. |
EqualityHelperImpl | Default implementation of EqualityHelper . |
ModelImpl | Default implementation of Model . |
OCLStateValidator | OCL state validator. |
ParallelStateSpaceManager | Parallelized StateSpaceManager implementation. |
ProfilingStateSpaceManager | StateSpaceManager implementation for gathering profiling statistics. |
ShortestPathStateSpaceValidator | StateSpaceValidator that computes the shortest path to some target states. |
StateExplorer | Helper class for exploring states. |
StateImpl | Default implementation of the State interface. |
StateSpaceFactoryImpl | Default implementation of StateSpaceFactory . |
StateSpaceImpl | Default implementation of the StateSpace interface. |
StateSpaceIndexImpl | Default implementation of StateSpaceIndex . |
StateSpacePackageImpl | Default implementation of StateSpacePackage . |
StorageImpl | Default implementation of the Storage interface. |
TransitionImpl | Default implementation of the Transition interface. |
Implementations for the Henshin state space tools.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |