Spectra
|
Go to the source code of this file.
Classes | |
class | formula |
Enumerations | |
enum | OpType { LAST, PREVIOUSLY, GLOBALLY, S_SINCE, W_SINCE, UP, DOWN, S_INTERVAL, W_INTERVAL, AND, OR, XOR, NOT, IMPLY, ATOM } |
enum | State { CREATED, INITIALIZED, FIRST_OP, READY } |
enum OpType |
enum State |
An enum used by formulaAnalyser for decisions in formulae processing.
Enumerator | |
---|---|
CREATED | |
INITIALIZED | |
FIRST_OP | |
READY |