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

Packages that use IUntil

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

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