src Directory Reference

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]
 Timed generator class TtGenerator.
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.

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen