org.processmining.exporting.transitionsystem
Class TSWriter

java.lang.Object
  extended by org.processmining.exporting.transitionsystem.TSWriter

public class TSWriter
extends java.lang.Object


Constructor Summary
TSWriter()
           
 
Method Summary
static java.lang.String replaceBadSymbols(java.lang.String st)
           
static void writeToPetrify(TransitionSystem ts, java.io.Writer bw)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TSWriter

public TSWriter()
Method Detail

writeToPetrify

public static void writeToPetrify(TransitionSystem ts,
                                  java.io.Writer bw)
                           throws java.io.IOException
Throws:
java.io.IOException

replaceBadSymbols

public static java.lang.String replaceBadSymbols(java.lang.String st)