rwth.i2.ltl2ba4j.model
Interfaces 
IGraphFactory
IGraphProposition
IState
ITransition