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

Packages that use IImplies

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 IImplies in rwth.i2.ltlrv.formula.impl

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

class

Implies Implies - Implements the Implies relation as subformula.

Uses of IImplies in rwth.i2.ltlrv.management

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

IImplies	IFormulaFactory.Impl(IFormula formula1, IFormula formula2) Generates an implication.
IImplies	FormulaFactory.Impl(IFormula formula1, IFormula formula2) Generates an implication.