tp_tgenerator.cpp
Go to the documentation of this file.
1 /* tp_tgenerator.cpp -- timed automata */
2 
3 
4 /* Timeplugin for FAU Discrete Event Systems Library (libfaudes)
5 
6  Copyright (C) 2007 Thomas Moor
7  Exclusive copyright is granted to Klaus Schmidt
8 
9 */
10 
11 #include "tp_tgenerator.h"
12 
13 
14 
tp_tgenerator.h
Timed generator class TtGenerator.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen

>>