|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
Holds code for LTL term constructors,
which can occur in an AFA.
Classes for term constructors, which do not exist in
negation normal form are contained in
rwth.i2.ltlrv.formula.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||