Uses of Interface

Packages that use IFormulaFactory
rwth.i2.ltlrv.formula.base Abstract base classes for LTL term constructors. Holds classes for configuration management and formula creation. 

Uses of IFormulaFactory in rwth.i2.ltlrv.formula.base

Fields in rwth.i2.ltlrv.formula.base declared as IFormulaFactory
protected static IFormulaFactory AbstractFormula.factory
          Reference to the formula factory.

Uses of IFormulaFactory in

Classes in that implement IFormulaFactory
 class FormulaFactory
          FormulaFactory - Default implemetation of IFormulaFactory.

Fields in declared as IFormulaFactory
private  IFormulaFactory VerificationRuntime.FORMULA_FACTORY

Methods in that return IFormulaFactory
 IFormulaFactory VerificationRuntime.getFactory()
          Returns the term factory.