Uses of Interface

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

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

Classes in rwth.i2.ltlrv.afastate.impl that implement IAnd
 class And
          And - Implements a conjunct.

Uses of IAnd in

Methods in that return IAnd
 IAnd IFormulaFactory.And(IFormula formula1, IFormula formula2)
          Generates an conjunct.
 IAnd FormulaFactory.And(IFormula formula1, IFormula formula2)
          Generates an conjunct.