Constants | |
expression_t | |
frame_t | |
std | |
symbol_t | |
type_t | |
UTAP | Class IOInterface is for analysing UPPAAL specifications and extracting the timed automata input/output "interface" information which can be treated as a data flow or entity-relationship map of the system |
UTAP::Constants |