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

Packages that use IOr

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

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

IOr	IFormulaFactory.Or(IFormula formula1, IFormula formula2) Generates an disjunct.
IOr	FormulaFactory.Or(IFormula formula1, IFormula formula2) Generates an disjunct.