Uses of Interface
rwth.i2.ltlrv.formula.interfaze.IGlobally

Packages that use IGlobally

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

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

Classes in rwth.i2.ltlrv.formula.impl that implement IGlobally

class

Globally Globally - Implements the Globally formula constructor of LTL.

Uses of IGlobally in rwth.i2.ltlrv.management

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

IGlobally	IFormulaFactory.G(IFormula formula) Generates a Globally formula.
IGlobally	FormulaFactory.G(IFormula formula) Generates a Globally formula.