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

libFAUDES 2.33k --- 2025.09.16 --- c++ api documentaion by doxygen

>>