|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
IBinaryTerm | IBinaryTerm - Common interface for a binary term. |
IEquivalent | IEquivalent represents the equivalence operator |
IFinally | IFinally represents the finally operator |
IFormula | |
IGlobally | IGlobally represents the globally operator |
IImplies | IImplies represents the Implication operator |
IUnaryTerm | IUnaryTerm - Common interface for a unary term. |
Common interfaces for LTL term constructors. This holds only term constructors, which are reduced to others when changing to negation normal form. Classes for term constructors, which exist also in negation normal form are contained in rwth.i2.ltlrv.afastate.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |