Uses of Interface

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

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

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

Uses of IRelease in

Methods in that return IRelease
 IRelease IFormulaFactory.Release(IFormula formula1, IFormula formula2)
          Generates a Release formula.
 IRelease FormulaFactory.Release(IFormula formula1, IFormula formula2)
          Generates a Release formula.