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.