Uses of Interface

Packages that use INext
rwth.i2.ltlrv.afastate.impl Implementing classes of AFA states. Holds classes for configuration management and formula creation. 

Uses of INext in rwth.i2.ltlrv.afastate.impl

Classes in rwth.i2.ltlrv.afastate.impl that implement INext
 class Next
          Next - Implements the Next formula constructor of LTL.

Uses of INext in

Methods in that return INext
 INext IFormulaFactory.X(IFormula formula)
          Generates a Next formula.
 INext FormulaFactory.X(IFormula formula)
          Generates a Next formula.