[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 / IImplies
Printer-friendly
Uses of Interface rwth.i2.ltl2ba4j.formula.IImplies (LTL2BA4J)

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

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

Uses of IImplies in rwth.i2.ltl2ba4j.formula
 

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

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

Classes in rwth.i2.ltl2ba4j.formula.impl that implement IImplies
 class Implies
           
 

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



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