uscxml::PromelaCodeAnalyzer::PromelaTypedef Class Reference
Public Member Functions | |
| bool | operator== (const PromelaTypedef &other) const |
Public Attributes | |
| size_t | arraySize = 0 |
| int | maxValue = 0 |
| int | minValue = 0 |
| std::string | name |
| std::set< ChartToPromela * > | occurrences |
| std::string | type |
| std::map< std::string, PromelaTypedef > | types |
The documentation for this class was generated from the following file:
- transform/promela/PromelaCodeAnalyzer.h