| Overload | Description |
|---|---|
| AutomatonStateStatistics Constructor() | Initializes a new instance of the class, with default values. |
| AutomatonStateStatistics Constructor(AutomatonStateStatistics) | Initializes a new instance of the class, copying values from a given object. |