Uses of Interface

Packages that use IFinally
rwth.i2.ltlrv.formula.impl Implementing classes for LTL term constructors. Holds classes for configuration management and formula creation. 

Uses of IFinally in rwth.i2.ltlrv.formula.impl

Classes in rwth.i2.ltlrv.formula.impl that implement IFinally
 class Finally
          Finally - Implements the Finally formula constructor of LTL.

Uses of IFinally in

Methods in that return IFinally
 IFinally IFormulaFactory.F(IFormula formula)
          Generates a Finally formula.
 IFinally FormulaFactory.F(IFormula formula)
          Generates a Finally formula.