Uses of Class
rwth.i2.ltlrv.afastate.base.BinaryAFAState

Packages that use BinaryAFAState
rwth.i2.ltlrv.afastate.base Abstract base classes for all AFA states. 
rwth.i2.ltlrv.afastate.impl Implementing classes of AFA states. 
 

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

Subclasses of BinaryAFAState in rwth.i2.ltlrv.afastate.base
 class CommutativeBinaryAFAState
          Represents a binary formula, which is commutative.
 

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

Subclasses of BinaryAFAState in rwth.i2.ltlrv.afastate.impl
 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.