Package com.uppaal.model.system.symbolic
-
Class Summary Class Description SymbolicState Class representing a state in a systemSymbolicTrace SymbolicTransition The class symbolic transition of the system
| Class | Description |
|---|---|
| SymbolicState |
Class representing a state in a system
|
| SymbolicTrace | |
| SymbolicTransition |
The class symbolic transition of the system
|