|
libFAUDES
Sections
Index
|
tp_tgenerator.cppGo to the documentation of this file.00001 /* tp_tgenerator.cpp -- timed automata */ 00002 00003 00004 /* Timeplugin for FAU Discrete Event Systems Library (libfaudes) 00005 00006 Copyright (C) 2007 Thomas Moor 00007 Exclusive copyright is granted to Klaus Schmidt 00008 00009 */ 00010 00011 #include "tp_tgenerator.h" 00012 00013 00014 |
libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3