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

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

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

Uses of INext in rwth.i2.ltl2ba4j.formula
 

Methods in rwth.i2.ltl2ba4j.formula that return INext
 INext IFormulaFactory.X(IFormula formula)
           
 

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

Classes in rwth.i2.ltl2ba4j.formula.impl that implement INext
 class Next
           
 

Methods in rwth.i2.ltl2ba4j.formula.impl that return INext
 INext FormulaFactory.X(IFormula formula)
          
 



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