#include "corefaudes.h"
#include "tp_timeconstraint.h"
Go to the source code of this file.
Attributes for timed automata
Definition in file tp_attributes.h.
libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen