[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Formula / Class-use / IEquivalent
Printer-friendly
Uses of Interface rwth.i2.ltl2ba4j.formula.IEquivalent (LTL2BA4J)

Uses of Interface
rwth.i2.ltl2ba4j.formula.IEquivalent

Packages that use IEquivalent
rwth.i2.ltl2ba4j.formula Interfaces defining Formulas in LTL. 
rwth.i2.ltl2ba4j.formula.impl Default implementation. 
 

Uses of IEquivalent in rwth.i2.ltl2ba4j.formula
 

Methods in rwth.i2.ltl2ba4j.formula that return IEquivalent
 IEquivalent IFormulaFactory.Eq(IFormula formula1, IFormula formula2)
           
 

Uses of IEquivalent in rwth.i2.ltl2ba4j.formula.impl
 

Classes in rwth.i2.ltl2ba4j.formula.impl that implement IEquivalent
 class Equivalent
           
 

Methods in rwth.i2.ltl2ba4j.formula.impl that return IEquivalent
 IEquivalent FormulaFactory.Eq(IFormula formula1, IFormula formula2)
          
 



Eric Bodden, RWTH Aachen University, 2005.
Valid HTML 4.01 Strict! Valid CSS!