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.32f --- 2024.12.22 --- c++ api documentaion by doxygen