[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / DottyWriter
Printer-friendly
DottyWriter (LTL2BA4J)

rwth.i2.ltl2ba4j
Class DottyWriter

java.lang.Object
  extended by rwth.i2.ltl2ba4j.DottyWriter

public class DottyWriter
extends Object


Constructor Summary
DottyWriter()
           
 
Method Summary
static String automatonToDot(Collection<ITransition> automaton)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DottyWriter

public DottyWriter()
Method Detail

automatonToDot

public static String automatonToDot(Collection<ITransition> automaton)


Eric Bodden, RWTH Aachen University, 2005.
Valid HTML 4.01 Strict! Valid CSS!