cz::muni::stanse::lockchecker::StateRepository Class Reference
List of all members.
Public Member Functions
|State ||get (State state)|
Repository for unmodifiable states. Used to save memory and insure the immutability of the states used in summaries.
- Radim Cebis
Member Function Documentation
Get unmodifiable state from this repository for specified state
- unmodifiable state from this repository
The documentation for this class was generated from the following file: