Uses of Interface

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

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

Classes in rwth.i2.ltlrv.afastate.impl that implement INot
 class Not
          Not - Implements the Not operator.

Uses of INot in

Methods in that return INot
 INot IFormulaFactory.Not(IFormula formula)
          Generates a negation.
 INot FormulaFactory.Not(IFormula formula)
          Generates a negation.