Package rwth.i2.ltl2ba4j

JNI bridge to ltl2ba.

See:
          Description

Class Summary
DottyWriter  
LTL2BA4J  
 

Package rwth.i2.ltl2ba4j Description

JNI bridge to ltl2ba. See class rwth.i2.ltl2ba4j.LTL2BA4J for details.



Eric Bodden, RWTH Aachen University, 2005.