Uses of Interface
rwth.i2.ltlrv.formula.interfaze.IBinaryTerm

Packages that use IBinaryTerm
rwth.i2.ltlrv.afastate.base Abstract base classes for all AFA states. 
rwth.i2.ltlrv.afastate.impl Implementing classes of AFA states. 
rwth.i2.ltlrv.afastate.interfaze Common interfaces for all AFA states. 
rwth.i2.ltlrv.formula.base Abstract base classes for LTL term constructors. 
rwth.i2.ltlrv.formula.impl Implementing classes for LTL term constructors. 
rwth.i2.ltlrv.formula.interfaze Common interfaces for LTL term constructors. 
 

Uses of IBinaryTerm in rwth.i2.ltlrv.afastate.base
 

Classes in rwth.i2.ltlrv.afastate.base that implement IBinaryTerm
 class BinaryAFAState
          BinaryAFAState - Abstract superclass of all binary formulae.
 class CommutativeBinaryAFAState
          Represents a binary formula, which is commutative.
 

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

Classes in rwth.i2.ltlrv.afastate.impl that implement IBinaryTerm
 class And
          And - Implements a conjunct.
 class Or
          Or - Implements a disjunct.
 class Release
          Release - Implements the Release operator in LTL.
 class Until
          Until - Implements the Until operator in LTL.
 

Uses of IBinaryTerm in rwth.i2.ltlrv.afastate.interfaze
 

Subinterfaces of IBinaryTerm in rwth.i2.ltlrv.afastate.interfaze
 interface IAnd
          IAnd represents a conjunct.
 interface IBinaryAFAState
          IBinaryAFAState - Common interface for all binary AFA states.
 interface IOr
          IOr represents a disjunct
 interface IRelease
          IRelease - Interface representing the binary Release operator in LTL.
 interface IUntil
          IUntil - Interface representing the binary Until operator in LTL.
 

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

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

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

Classes in rwth.i2.ltlrv.formula.impl that implement IBinaryTerm
 class Equivalent
          Equivalent - Implements the equivalent relation as subformula.
 class Implies
          Implies - Implements the Implies relation as subformula.
 

Uses of IBinaryTerm in rwth.i2.ltlrv.formula.interfaze
 

Subinterfaces of IBinaryTerm in rwth.i2.ltlrv.formula.interfaze
 interface IEquivalent
          IEquivalent represents the equivalence operator
 interface IImplies
          IImplies represents the Implication operator