00001 /*-------------------------------------------------------------------- 00002 * 00003 * (C) Copyright Koninklijke Philips Electronics NV 2006. 00004 * All rights reserved. This software is licensed under the terms of 00005 * version 2.1 of the GNU Lesser General Public License as published 00006 * by the Free Software Foundation. For licensing and warranty 00007 * information, see the file COPYING in the main directory. 00008 * 00009 *------------------------------------------------------------------*/ 00010 00011 #ifndef PRINTDOTTY_H 00012 #define PRINTDOTTY_H 00013 00014 #include <iostream> 00015 00016 class ProcessNetwork; 00017 00018 void printDotty(const ProcessNetwork& n, std::ostream& o = std::cout, 00019 std::ostream& e = std::cerr); 00020 00021 #endif
1.3.2