Uses of Interface
rwth.i2.ltlrv.afastate.interfaze.INext

Packages that use INext

rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.management	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 rwth.i2.ltlrv.management

Methods in rwth.i2.ltlrv.management that return INext

INext	IFormulaFactory.X(IFormula formula) Generates a Next formula.
INext	FormulaFactory.X(IFormula formula) Generates a Next formula.