|
||||||||||
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 |