About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Index

tp_tgenerator.cpp

Go 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.20s --- 2011.10.12 --- c++ source docu by doxygen