Package rwth.i2.ltl2ba4j.model.impl

Default implementation.

See:
          Description

Class Summary
GraphFactory  
GraphProposition  
SigmaProposition  
State  
Transition  
 

Package rwth.i2.ltl2ba4j.model.impl Description

Default implementation.



Eric Bodden, RWTH Aachen University, 2005.