|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractFormula | |
---|---|
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.formula.base | Abstract base classes for LTL term constructors. |
rwth.i2.ltlrv.formula.impl | Implementing classes for LTL term constructors. |
Uses of AbstractFormula in rwth.i2.ltlrv.afastate.base |
---|
Subclasses of AbstractFormula in rwth.i2.ltlrv.afastate.base | |
---|---|
class |
AbstractAFAState
Abstract superclass of all formulae. |
class |
BinaryAFAState
BinaryAFAState - Abstract superclass of all binary formulae. |
class |
CommutativeBinaryAFAState
Represents a binary formula, which is commutative. |
class |
NullaryAFAState
NullaryAFAState - Abstract base class of all nullary AFA states. |
class |
UnaryAFAState
UnaryAFAState - Abstract superclass of all unary formulae. |
Uses of AbstractFormula in rwth.i2.ltlrv.afastate.impl |
---|
Subclasses of AbstractFormula in rwth.i2.ltlrv.afastate.impl | |
---|---|
class |
And
And - Implements a conjunct. |
class |
FF
FF - Implements the sink state / formula representing false . |
class |
Next
Next - Implements the Next formula constructor of LTL. |
class |
Not
Not - Implements the Not operator. |
class |
Or
Or - Implements a disjunct. |
class |
Proposition
Proposition - Implements a proposition. |
class |
Release
Release - Implements the Release operator in LTL. |
class |
TT
TT - Implements the sink state / formula representing true . |
class |
Until
Until - Implements the Until operator in LTL. |
Uses of AbstractFormula in rwth.i2.ltlrv.formula.base |
---|
Subclasses of AbstractFormula in rwth.i2.ltlrv.formula.base | |
---|---|
class |
BinaryFormula
BinaryFormula - Abstract superclass of all binary formulae. |
class |
CommutativeBinaryFormula
CommutativeBinaryFormula - Abstract superclass of all binary formulae which are commutative. |
class |
UnaryFormula
BinaryFormula - Abstract superclass of all unary formulae. |
Uses of AbstractFormula in rwth.i2.ltlrv.formula.impl |
---|
Subclasses of AbstractFormula in rwth.i2.ltlrv.formula.impl | |
---|---|
class |
Equivalent
Equivalent - Implements the equivalent relation as subformula. |
class |
Finally
Finally - Implements the Finally formula constructor of LTL. |
class |
Globally
Globally - Implements the Globally formula constructor of LTL. |
class |
Implies
Implies - Implements the Implies relation as subformula. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |