| Class | Description |
|---|---|
| And |
This class represents a CTL formula that is a conjunction (and) of two formulas.
|
| AtomicProposition |
This class represents the CTL state formula consisting of an atomic proposition.
|
| ExistsNext |
This class represents a CTL formula that is the exists next of a formula.
|
| Formula |
This class represents the CTL formula.
|
| Not |
This class represents a CTL formula that is the negation (not) of a formula.
|
| True |
This class represents the CTL formula true.
|