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

LTL2BA4J

Packages
rwth.i2.ltl2ba4j JNI bridge to ltl2ba.
rwth.i2.ltl2ba4j.formula Interfaces defining Formulas in LTL.
rwth.i2.ltl2ba4j.formula.impl Default implementation.
rwth.i2.ltl2ba4j.internal.jnibridge  
rwth.i2.ltl2ba4j.model Interfaces defining finite state machines.
rwth.i2.ltl2ba4j.model.impl Default implementation.

 



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