Uses of Interface

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

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

Classes in rwth.i2.ltlrv.afastate.impl that implement IOr
 class Or
          Or - Implements a disjunct.

Uses of IOr in

Methods in that return IOr
 IOr IFormulaFactory.Or(IFormula formula1, IFormula formula2)
          Generates an disjunct.
 IOr FormulaFactory.Or(IFormula formula1, IFormula formula2)
          Generates an disjunct.