Files | |
file | tp_attributes.cpp [code] |
Attributes for timed automata. | |
file | tp_attributes.h [code] |
Attributes for timed automata. | |
file | tp_include.h [code] |
Include timed plugin headers. | |
file | tp_tgenerator.cpp [code] |
file | tp_tgenerator.h [code] |
Classes TtGenerator and tGenerator. | |
file | tp_timeconstraint.cpp [code] |
file | tp_timeconstraint.h [code] |
Classes ClockSet, ElemConstraint and TimeConstraint. | |
file | tp_timeinterval.cpp [code] |
file | tp_timeinterval.h [code] |
Class TimeInterval. | |
file | tp_tparallel.cpp [code] |
file | tp_tparallel.h [code] |
Parallel composition for timed automata. |