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