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

Packages that use IEquivalent

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

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

class

Equivalent Equivalent - Implements the equivalent relation as subformula.

Uses of IEquivalent in rwth.i2.ltlrv.management

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

IEquivalent	IFormulaFactory.Eq(IFormula formula1, IFormula formula2) Generates an equivalence relation.
IEquivalent	FormulaFactory.Eq(IFormula formula1, IFormula formula2) Generates an equivalence relation.