|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
IAnd | |
IBinaryFormula | |
IEquivalent | |
IFinally | |
IFormula | |
IFormulaFactory | |
IGlobally | |
IImplies | |
INext | |
INot | |
IOr | |
IProposition | |
IRelease | |
IUnaryFormula | |
IUntil |
Interfaces defining Formulas in LTL. Have your objects implement those marker interfaces to be recognized as the appropriate formulas.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |