Uses of Interface

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

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

Classes in rwth.i2.ltlrv.afastate.impl that implement IUntil
 class Until
          Until - Implements the Until operator in LTL.

Uses of IUntil in

Methods in that return IUntil
 IUntil IFormulaFactory.Until(IFormula formula1, IFormula formula2)
          Generates an Until formula.
 IUntil FormulaFactory.Until(IFormula formula1, IFormula formula2)
          Generates an Until formula.