|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |