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