[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Model / Package-summary
Printer-friendly
rwth.i2.ltl2ba4j.model (LTL2BA4J)

Package rwth.i2.ltl2ba4j.model

Interfaces defining finite state machines.

See:
          Description

Interface Summary
IGraphFactory  
IGraphProposition  
IState  
ITransition  
 

Package rwth.i2.ltl2ba4j.model Description

Interfaces defining finite state machines. Override the default implementation to have a custom implementation returned.



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