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