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

Packages that use IAnd

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

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

IAnd	IFormulaFactory.And(IFormula formula1, IFormula formula2) Generates an conjunct.
IAnd	FormulaFactory.And(IFormula formula1, IFormula formula2) Generates an conjunct.