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.