Uses of Interface

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

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

Classes in rwth.i2.ltlrv.afastate.impl that implement IFF
 class FF
          FF - Implements the sink state / formula representing false.

Uses of IFF in

Fields in declared as IFF
private static IFF FormulaFactory.ff
          The unique instance of IFF

Methods in that return IFF
 IFF IFormulaFactory.FF()
          Returns the negative positive sink state.
 IFF FormulaFactory.FF()
          Returns the negative positive sink state.