Uses of Interface
rwth.i2.ltlrv.management.IFormulaFactory

Packages that use IFormulaFactory

rwth.i2.ltlrv.formula.base	Abstract base classes for LTL term constructors.
rwth.i2.ltlrv.management	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 rwth.i2.ltlrv.management

Classes in rwth.i2.ltlrv.management that implement IFormulaFactory

class

FormulaFactory FormulaFactory - Default implemetation of IFormulaFactory.

Fields in rwth.i2.ltlrv.management declared as IFormulaFactory

private IFormulaFactory

VerificationRuntime.FORMULA_FACTORY

Methods in rwth.i2.ltlrv.management that return IFormulaFactory

IFormulaFactory

VerificationRuntime.getFactory() Returns the term factory.