Uses of Interface

Packages that use IEquivalent
rwth.i2.ltlrv.formula.impl Implementing classes for LTL term constructors. 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

Methods in 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.