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

Packages that use IFF

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

Fields in rwth.i2.ltlrv.management declared as IFF

private static IFF

FormulaFactory.ff The unique instance of IFF

Methods in rwth.i2.ltlrv.management that return IFF

IFF	IFormulaFactory.FF() Returns the negative positive sink state.
IFF	FormulaFactory.FF() Returns the negative positive sink state.