pnml.writer
Class PNMLBuilder

java.lang.Object
  extended by pnml.writer.PNMLBuilder

public class PNMLBuilder
extends java.lang.Object


Constructor Summary
PNMLBuilder(PetriNet pn)
           
 
Method Summary
 void createPNML(java.io.OutputStream output)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PNMLBuilder

public PNMLBuilder(PetriNet pn)
Method Detail

createPNML

public void createPNML(java.io.OutputStream output)
                throws java.io.IOException
Throws:
java.io.IOException