|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
And | And - Implements a conjunct. |
FF | FF - Implements the sink state / formula representing false . |
Next | Next - Implements the Next formula constructor of LTL. |
Not | Not - Implements the Not operator. |
Or | Or - Implements a disjunct. |
Proposition | Proposition - Implements a proposition. |
Release | Release - Implements the Release operator in LTL. |
TT | TT - Implements the sink state / formula representing true . |
Until | Until - Implements the Until operator in LTL. |
Implementing classes of AFA states.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |