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.23h --- 2014.04.03 --- c++ api documentaion by doxygen