petrinet-output.cc File Reference

---

Detailed Description

Petri Net API: file output.

Author:

Niels Lohmann <nlohmann@informatik.hu-berlin.de>, Martin Znamirowski <znamirow@informatik.hu-berlin.de>, last changes of: $Author: znamirow $

Since:

created: 2006-03-16

Date:

$Date: 2007/09/12 11:42:04 $

Note:

This file is part of the tool GNU BPEL2oWFN and was created during the project Tools4BPEL at the Humboldt-Universität zu Berlin. See http://www.informatik.hu-berlin.de/top/tools4bpel for details.

Version:

$Revision: 1.113 $

Definition in file petrinet-output.cc.

#include <cassert>
#include <iomanip>
#include "helpers.h"
#include "options.h"
#include "pnapi.h"

Include dependency graph for petrinet-output.cc:

Go to the source code of this file.

Functions
ostream &	PNapi::operator<< (ostream &os, const PNapi::PetriNet &obj)
	outputs the Petri net

---