rwth.i2.ltlrv.formula.interfaze
Interfaces 
IBinaryTerm
IEquivalent
IFinally
IFormula
IGlobally
IImplies
IUnaryTerm