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

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

Methods in rwth.i2.ltlrv.management 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.