#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.33c --- 2025.05.15 --- c++ api documentaion by doxygen