Uses of Class
rwth.i2.ltlrv.formula.base.BinaryFormula

Packages that use BinaryFormula
rwth.i2.ltlrv.formula.base Abstract base classes for LTL term constructors. 
rwth.i2.ltlrv.formula.impl Implementing classes for LTL term constructors. 
 

Uses of BinaryFormula in rwth.i2.ltlrv.formula.base
 

Subclasses of BinaryFormula in rwth.i2.ltlrv.formula.base
 class CommutativeBinaryFormula
          CommutativeBinaryFormula - Abstract superclass of all binary formulae which are commutative.
 

Uses of BinaryFormula in rwth.i2.ltlrv.formula.impl
 

Subclasses of BinaryFormula in rwth.i2.ltlrv.formula.impl
 class Equivalent
          Equivalent - Implements the equivalent relation as subformula.
 class Implies
          Implies - Implements the Implies relation as subformula.